Sage Days 114

Following the 34th FPSAC 2022.

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

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

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

High Tea

1200-1300

"Bring Your Own Problem" Session

1300-1430

Lunch

1430-1530

Julian Rüth

SageMath Installation

1530-1630

Projects for Coding Sprints

1630-1730

Coding Sprints

Day 2: 26th July 2022

Time

Speaker

Title

0900-1000

Alba Málaga

3D printing mathematical surfaces

1000-1030

Coffee Break

1030-1145

The Organizers (mostly)

Tutorials Upon Request

1145-1245

Julian Rüth

Interactive Visualization in SageMath

1245-1415

Lunch

1415-1730

Coding Sprints

Day 3: 27th July 2022

Time

Speaker

Title

0900-1000

Eric Marberg

Shifted combinatorial Hopf algebras for K-theory

1000-1030

Coffee Break

1030-1130

Martin Rubey

Combinatorial Species

1145-1245

Kanak Dhotre

Visualizing Julia Sets

1245-1415

Lunch

1415-1730

Coding Sprints

Talk Details

Ajit Kumar: An introduction to SageMath Slides

Eric Marberg: Shifted combinatorial Hopf algebras for K-theory

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/graph-editor.

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.