Sage Days 114

Following the 34th FPSAC 2022.

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

• July 25–27, 2022, 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:) Martin Rubey, Combinatorial Species, Eric Marberg, Shifted combinatorial Hopf algebras for K-theory, Julian Rüth, Interactive Widgets in SageMath, Alba Málaga, 3D printing mathematical surfaces, 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

Day 2: 26th July 2022

Day 3: 27th July 2022

Talk Details

Ajit Kumar: An introduction to SageMath Slides

Eric Marberg: Shifted combinatorial Hopf algebras for K-theory 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 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 ipymuvue package which is a reimplementation of 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 ''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.