= Sage Days 114 =

Following the [[http://math.iisc.ac.in/fpsac2022/|34th FPSAC 2022]].

The Sage days will consist in an intense three-day meeting at IMSc:

 * July 25–27, 2022, [[https://www.imsc.res.in|The Institute of Mathematical Sciences (IMSc)]], Chennai, India
 * Zoom link: https://zoom.us/j/96302249436, Meeting ID: 963 0224 9436, Passcode: 932291
 * Recordings on youtube (unfortunately, some are missing the first few minutes:) [[https://www.youtube.com/watch?v=_-6fFfiiCGY|Martin Rubey, Combinatorial Species]], [[https://www.youtube.com/watch?v=T6fQG1GeRtQ|Eric Marberg, Shifted combinatorial Hopf algebras for K-theory]], [[https://www.youtube.com/watch?v=kTYgZSRxpEE|Julian Rüth, Interactive Widgets in SageMath]], [[https://www.youtube.com/watch?v=fz5EbgORClc|Alba Málaga, 3D printing mathematical surfaces]], [[https://www.youtube.com/watch?v=JWU8YV37t7c|Ajit Kumar, An introduction to SageMath; Samuel Lelièvre, SageMath for the educator (starting around 1:04:00)]]


Following this intense period, a working group on
software for mathematics and their illustration
will meet twice a week for a few weeks, mostly at
the Chennai Mathematical Institute (CMI), led
by Julian Rüth and Samuel Lelièvre.

=== Organizing Committee ===

 * Arvind Ayyer (Indian Institute of Science)
 * Manoj Kummini (Chennai Mathematical Institute)
 * Samuel Lelièvre (Laboratoire de mathématique d'Orsay, Université Paris-Saclay)
 * Julian Rüth
 * Amritanshu Prasad (The Institute of Mathematical Sciences, Chennai)
 * Travis Scrimshaw (Hokkaido University)
 * S. Viswanath (The Institute of Mathematical Sciences, Chennai)
 * Pascal Weil (CNRS, Chennai/Bordeaux)

=== Tentative Schedule ===

==== Day 1: 25th July 2022 ====

|| '''Time''' || '''Speaker''' ||'''Title'''||
|| 0930-1030 || Ajit Kumar || Introduction to SageMath ||
|| 1030-1130 || Samuel Lelièvre || SageMath for Educators ||
|| 1130-1200 ||<-2> High Tea ||
|| 1200-1300 ||<-2> "Bring Your Own Problem" Session ||
|| 1300-1430 ||<-2> Lunch ||
|| 1430-1530 ||Julian Rüth|| SageMath Installation ||
|| 1530-1630 ||<-2>Projects for Coding Sprints ||
|| 1630-1730 ||<-2> Coding Sprints ||

==== Day 2: 26th July 2022 ====

|| '''Time''' || '''Speaker''' ||'''Title'''||
|| 0900-1000 || Alba Málaga || 3D printing mathematical surfaces ||
|| 1000-1030 ||<-2> Coffee Break ||
|| 1030-1145 ||The Organizers (mostly)||Tutorials Upon Request||
|| 1145-1245 ||Julian Rüth|| Interactive Visualization in SageMath||
|| 1245-1415 ||<-2> Lunch ||
|| 1415-1730 ||<-2> Coding Sprints||

==== Day 3: 27th July 2022 ====

|| '''Time''' || '''Speaker''' ||'''Title'''||
|| 0900-1000 || Eric Marberg || Shifted combinatorial Hopf algebras for K-theory ||
|| 1000-1030 ||<-2> Coffee Break ||
|| 1030-1130 ||Martin Rubey||Combinatorial Species||
|| 1145-1245 ||Kanak Dhotre||Visualizing Julia Sets||
|| 1245-1415 ||<-2> Lunch ||
|| 1415-1730 ||<-2> Coding Sprints||


==== Talk Details ====

Ajit Kumar: An introduction to SageMath
[[https://www.imsc.res.in/~amri/SageDays114_Ajit.html|Slides]]

Eric Marberg: Shifted combinatorial Hopf algebras for K-theory [[attachment:EricMarberg_SageDays114_Slides.pdf|slides]]

The self-dual Hopf algebra of symmetric functions Sym embeds into the quasisymmetric functions QSym. The dual of QSym is the Hopf algebra of noncommutative symmetric functions NSym, which itself embeds into the self-dual Malvenuto-Reutenaurer Hopf algebra of permutations. These embeddings and their adjoint projections can be conveniently drawn as a diagram of six Hopf algebras. This talk will discuss "K-theoretic" and "shifted" generalizations of this diagram, along with some algorithmic problems related to computing products, coproducts, and antipodes in the relevant Hopf algebras. The new results in this talk are joint work with Joel Lewis.

Alba Málaga: 3D printing mathematical surfaces
[[https://cocalc.com/share/download/4d2794d3703605f4aa2890e17bab0073e381b918/Talk.pdf|Slides]]

As a mathematician, you don't need to touch a surface to feel how
beautiful it is. But what if you want to talk about it to your grandpa
or your least mathematical friend? There is somethng deeply satisfying
about being able to hand them an object which represents the concept
you want to talk about pretty well and which they can touch.
The methods and challenges will vary according to which mathematical
object you try to represent. In this talk, I will present cookbook
methods and discuss challenges for 3D-printing three very classical
kinds of mathematical surfaces: constant-negative curvature surfaces,
minimal surfaces, algebraic surfaces.
The software used will be Sagemath, MathMod, Surface Evolver, Blender and Cura.

Julian Rüth: Interactive Visualization in SageMath

We look at existing visualization in SageMath and that it's mostly lacking real interactivity.
Interactive widgets are, however, not so hard to build with SageMath. We showcase the
[[https://github.com/flatsurf/ipymuvue|ipymuvue]] package which is a reimplementation  of
[[https://github.com/mariobuikhuizen/ipyvue/releases|ipyvue]] in Vue3.

The graph editor developed during the talk is at https://github.com/flatsurf/ipymuvue/tree/master/examples/.

The slides from the talk are at https://gist.github.com/saraedum/2cd063e97f555c13816439ffdcb87af8

== Sage Club at CMI ==

Following the Sage Days, a [[days114/club|''Sage Club'']] will meet twice a week at CMI. The ''Sage Club'' is going to be an open forum, led by Samuel Lelièvre and Julian Rüth, where we will learn more about SageMath, focusing on the interests of the participants. Just as with the Sage Days, beginners and students are very welcome at any session.