Sage days 94 -- Sage development days

Sage days 94 took place in Zaragoza (Spain), from Thursday 28 June 2018 to Wednesday 04 July 2018, as a satellite activity of the 16th meeting of the Spanish computer algebra network (XVI EACA).

They featured a series of short courses on subjects related to Sage development. The main target audience was young researchers who want to take the step from writing code for their own use to contributing their code to the Sage codebase.

Collaborative pad

We used this pad to take notes during the workshop.

For tickets worked on during Sage days 94, we used the keyword "days94":

• days94 tickets by status

• days94 tickets by ticket number

Mini-course speakers and contributed talks

Topics to cover

• The Sage development workflow (Trac, Git, doctests...)
• The coercion model
• Parents and elements, and their implementation
• The category framework
• Cython
• Using external C/C++ libraries
• Communication with external packages using pexpect

Mini-course speakers

• Samuel Lelièvre
• Travis Scrimshaw
• Jeroen Demeyer
• Thierry Monteil

Besides mini-courses on those subjects, there was some space for short talks contributed by the participants (which could be quite informal); interested participants could just contact the organizers to offer such a talk.

Proposed talks included:

• Rebecca Miller: Applying and Participating in Google Summer of Code

• Pablo Angulo: PyTorch, a machine learning framework, and Pyro, a universal probabilistic programming language on top of PyTorch (subtitle: do they fit in Sage?)

• Vít Tuček: How Sage is helping me with my research
• Sebastian Oehms: Cubic braid groups
• Peleg Michaeli: Symbolic discrete random variables
• Thierry Monteil: The various representations of real and complex numbers
• Mckenzie West: Solving the S-unit equation in Sage

Program

Thursday 28 June 2018

• 10:00-11:00 Registration

• 11:00-12:00 The Sage development workflow (Samuel)

• 12:00-13:00 Basics of git: init, add, commit, status (Samuel, Thierry)

• 13:30-15:00 Lunch break

• 15:00-16:30 Basics of git: clone, remote, push, pull, branch, checkout (Samuel, Thierry)

• 16:30-17:30 Trac bureaucracy (account, ssh-keygen, git-trac, develop (Samuel, Thierry)
• 15:00-16:00 Coding sprint
• 16:00-16:30 Coffee break
• 16:30-18:30 Coding sprint

Friday 29 June 2018

• 09:00 - 11:00 Categories (Travis) - ipynb, categories_Zaragoza_Days94.ipynb

• 11:00 - 11:30 Coffee break

• 11:30 - 13:00 Parents, elements, coercion, for the user (Thierry) - ipynb

• 13:00 - 15:00 Lunch break

• 15:00 - 16:00 The Sage development workflow (practice)

• 16:00 - 16:30 Coffee break
• 16:30 - 17:00 Peleg Michaeli: Symbolic discrete random variables
• 17:00 - 19:00 Coding sprints

Saturday 30 June 2018

• 10:00 - 11:30 The category framework in Sage (practice)

• 11:30 - 12:00 Coffee break

• 12:00 - 13:30 The coercion model (practice)

Sunday 01 July 2018

• Excursion

Monday 02 July 2018

• 09:00 - 11:00 Categories, parents, coercion (Travis) - Example parent .sage file

• 11:00 - 11:30 Coffee break

• 11:30 - 13:00 Cython (Jeroen) - ipynb

• 13:00 - 15:00 Lunch break

• 15:00 - 16:00 Parents and elements (practice)

• 16:00 - 16:30 Coffee break

• 16:30 - 17:00 Vít Tuček: How Sage is helping me with my research - tucek.pdf

• 17:00 - 19:00 Coding sprint

Tuesday 03 July 2018

• 09:00 - 11:00 Third-party components

• 11:00 - 11:30 Coffee break

• 11:30 - 13:00 Sebastian Oehms: Cubic braid groups - shared folder on CoCalc

• 13:00 - 15:00 Lunch break

• 15:00 - 15:30 Rebecca Miller: Applying and Participating in Google Summer of Code - Sage GSOC info

• 15:30 - 16:00 Mckenzie West: Solving the S-unit equation in Sage - slides

• 16:00 - 16:30 Demo: run a patchbot! (Thierry)

• 16:30 - 18:30 Coding sprint

Wednesday 04 July 2018

• 09:00 - 10:00 Final report and wrap-up (Thierry's personal report)

• 10:30 - EACA talks

Organizers

• Miguel Marco
• Enrique Artal
• Adrien Boussicault

Participants

• Akshar Nair
• Antonio Rojas

• Bianca Thompson

• Elisa Palezzato
• Enrique Artal
• Francisco Castro
• Friedrich Wiemer
• Jeroen Demeyer
• Luis Felipe Tabera
• Mckenzie West
• Miguel Marco
• Pablo Angulo
• Peleg Michaeli

• Rebecca Lauren Miller

• Samuel Lelièvre

• Sebastian Oehms
• Simón Isaza

• ThierryMonteil

• Tomer Bauer
• Vít Tuček

Development

Add here the things you plan to work on during the week:

• (Thierry) Fix oeis internet doctest issues #25471

• Try to progress in the inclusion of train-tracks in Sage #20154

• Polynomial division #17638

• Sage packaging
• Crypto module
• Linear algebra

• CoCoa integration?

  • package cocoalib #25707

• #8558

• Ticket #25745

Please tag any tickets you work on during this week with the days94 keyword. This makes it easy to list all tickets worked on during this week.

Instructions for participants

Given the focus on Sage development, we recommend participants come with their own laptop, including a Sage installation that is well suited for development (don't worry if you have trouble installing, we can help with installation during the workshop, but it would save time if it is done in advance). Also, please ask in advance for an account for Sage's Trac server.

Lodging

Several apartments were booked in Apartamentos Los Sitios. They are located in the city centre. The reception is open until 22:30.

Location

Talks took place in the main campus of the Universidad de Zaragoza, in the mathematics building. It is about 25 minutes by walk from the apartments (maybe 15 minutes by public transport).

You can see the train station, the apartments and the event location in this map.

Financial support

The school was partly funded by the OpenDreamKit project. The LaBRI (University of Bordeaux) and the CNRS co-organized the project via the OpenDreamKit project. We expect to be able to cover the travel and lodging expenses of most participants and speakers.

Contact

If you are interested in participating, or have any questions, please send an email to mmarco <at> unizar <dot> es

Excursion

Here is a picture from the visit to Palacio de la Aljaferia on Sunday morning.