Sage Days 65 in Chicago

When and where?

June 8-12, 2015, at Loyola University Chicago, in Chicago, Ill., USA.

Specifically, IES Building (#38), Rooms 123 & 124.

Tentative Schedule

 

Mon

Tue

Wed

Thu

Fri

9:30

Coffee

Coffee

Coffee

Coffee

Coffee

9:45

10:00

Saliola

Schilling

Salisbury

King

open

10:15

10:30

10:45

11:00

Project Intros

Tutorial: Thiruvathukal+Albert

Tutorial: Tingley

Tutorial: Lauve

Tutorial: open

11:15

11:30

Tutorial: Doty

11:45

12:00

Lunch

Lunch / Free Afternoon

Lunch

Final Progress Reports

12:15

Lunch

12:30

12:45

13:00

13:15

13:30

13:45

14:00

Muthiah

Zabrocki

Seelinger

14:15

14:30

Judge

14:45

Bergeron

15:00

Coffee

Coffee

15:15

15:30

Coffee

Small groups (coding/tutorials)

Small groups (coding/tutorials)

15:45

16:00

Small groups (coding/tutorials)

16:15

16:30

16:45

17:00

Progress Reports

Progress Reports

17:15

17:30

Progress Reports

17:45

18:00

18:15

18:30

18:45

19:00

Goose Island Brew Pub

Main Focci

(Personal) Goals for the Week

Participants should feel free to add to this list in advance of the meeting. Anonymous contributions are okay.

Participants

Abstracts

Monday

Franco Saliola

Let's Start Using Sage!

A whirlwind tour of what Sage can and cannot do (and why you should care).
 

Stephen Doty

Getting Started with the Sagemath Cloud

Sagemath Cloud is a recent project to make Sage (and much more: e.g., Python, R, LaTeX, Terminal) available in any modern browser, without the need to install anything on the computer. This will be an introduction, with no prerequisites.
 

Dinakar Muthiah

TBA

...
 

Nantel Bergeron

Homogeneous, Non-commutative Gröbner Bases

Computing a non-commutative Gröbner basis takes an extremely long time. I will present the algorithm and indicate where it could be parallelized...
 

Tuesday

Anne Schilling

Algebraic Combinatorics in Sage: How to use it, make it, and get it into Sage

We will very briefly discuss the history of combinatorics in Sage and give some examples on how to use some features like crystals, permutations and words. We will then implement some new missing features together and see how to get them into Sage.
 

Mark A. & George T.

Code collaboration in SAGE and other open source projects

We will have a brief introduction to the typical organizational structures and technologies used by large-scale open source projects and how one can contribute at various levels in each. This will be followed by a tutorial for working collaboratively on code to contribute directly to the SAGE environment.
 

Mike Zabrocki

How to program a combinatorial Hopf algebra (with bases)

I will review the structure of the code for combinatorial Hopf algebras (symmetric functions/partitions, quasi-symmetric functions/compositions, non-commutative symmetric functions/compositions, symmetric functions in non-commuting variables/set partitions) that are already in Sage and explain how to create a new combinatorial Hopf algebra on another set of combinatorial objects. I will also point out the ongoing work on open tickets to implement other combinatorial Hopf algebras (packed words #15611, FQSym, WQSym, PQSym #13793, PBT/Loday-Ronco #13855)
 

Wednesday

Ben Salisbury

TBA

...
 

Peter Tingley

TBA

...
 

Thursday

Simon King

An F5 algorithm for modules over path algebra quotients and the computation of Loewy layers

The F5 algorithm is a signature based algorithm to compute Gröbner bases for modules over polynomial rings. The F5 signature allows to exploit commutativity relations in order to avoid redundant computations. When considering modules over path algebra quotients, one can instead exploit the quotient relations to avoid redundancies.
 
For my applications, it is important that Gröbner bases are actually not more than a by-product of the F5 algorithm. Indeed, the F5 signature provides additional information: If the quotient algebra is a basic algebra and if a negative degree monomial ordering is used, then the F5 signature allows to read off the Loewy layers of the module.
 

Aaron Lauve

Convolution Powers: step by step

I share my personal story (I want to say "natural progression" but I'm sure it's nothing of the kind) from perceived gap in the Sage code for Hopf algebras to sage-trac ticket submission.
 

George Seelinger

TBA

...
 

Jonathan Judge

Root Multiplicities for Kac-Moody Algebras in Sage

Root multiplicities are fundamental data in the structure theory of Kac-Moody algebras. We will give a brief survey on root multiplicities that highlights the differences between finite, affine, and indefinite types. Then we will describe the two main ways that these multiplicities are computed, namely Berman-Moody's formula and Peterson's recurrent formula. Lastly, we demonstrate an implementation of Peterson's recurrent formula in Sage.
 

Friday

open

...

Organizers

Web page

http://math.luc.edu/sagedays/ (with information about housing)