Sage days 94 -- Sage development days

The Sage days 94 will take place in Zaragoza (Spain), from June 28th to July 4th, 2018, as a satellite activity of the meeting of the Spanish computer algebra network.

It will be a series of short courses on subjects related to Sage development. It is mostly oriented to young researchers that want to make the step from writing some code for their own use, to contributing that code to the Sage codebase.

Collaborative pad

Use this pad.

Subjects to cover (provisional)

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

Besides mini-courses on those subjects, there might be some space for short talks contributed by the participants (they can be quite informal). Please contact the organizers if you are interested in giving such a talk.

For the moment, the proposed talks include

• 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?).
• Vit Tucek: - " 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"

This Sage Days will be a satellite activity of the XVI EACA encounter.

Speakers (provisional)

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

Program (tentative)

Thursday 28th:

• 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 and Thierry)
• 13:30-15:00 Lunch break
• 15:00-16h30 Basics of git (clone/remote/push/pull/branch/checkout - Samuel and Thierry)
• 16h30-17:30 Trac bureaucracy (account/ssh-keygen/git-trac/develop - Samuel and Thierry)
• 15:00-16:00 Contributed talks
• 16:00-16:30 Coffee break
• 16:30-18:30 Coding sprints

Friday 29th:

• 09:00 - 11:00 Category (Travis Scrimshaw ipynb categories_Zaragoza_Days94.ipynb)

• 11:00 - 11:30 Coffee break

• 11:30 - 13:00 Parent, element, coercion from the user's perspective (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 Contributed talk: Symbolic discrete random variables (Peleg)
• 17:00 - 19:00 Coding sprints

Saturday 30th:

• 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 1st:

• Excursion

Monday 2nd:

• 09:00 - 11:00 Category/Parents/Coercion Example parent .sage file

• 11:00 - 11:30 Coffee break
• 11:30 - 13:00 Cython
• 13:00 - 15:00 Lunch break
• 15:00 - 16:00 Parents and elements (practice)
• 16:00 - 16:30 Coffee break
• 16:30 - 17:00 Contributed talks
• 17:00 - 19:00 coding sprints

Tuesday 3th:

• 09:00 - 11:00 Third-party components
• 11:00 - 11:30 Coffee break
• 11:30 - 13:00 Third party components (practice)
• 13:00 - 15:00 Lunch break

• 15:00 - 16:00 Contributed talks - Miller & West

• 16:00 - 16:30 Coffee break
• 16:30 - 18:30 Coding sprints

Wednsday 4th:

• 09:00 - 10:00 Final report and wrapup
• 10:30 - EACA talks

Organizers

• Miguel Marco
• Enrique Artal
• Adrien Boussicault

Participants

• Antonio Rojas

• Bianca Thompson

• Elisa Palezzato
• Francisco Castro
• Friedrich Wiemer
• Mckenzie West
• Pablo Angulo
• Peleg Michaeli
• Rebecca Miller
• Samuel Lelièvre
• Sebastian Oehms
• Tomer Bauer
• Vít Tuček
• Luis Felipe Tabera
• Akshar Nair
• Simón Isaza

developments

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

You can tag the corresponding tickets with days94 keyword to that it is easy to list them.

Instructions for participants

Since this workshop is focusing in Sage development, it would be better if the participants come with their own laptop, including a Sage install that is well suited for development (don't worry if you can't manage to do so, we can dedicate the first activities of the workshop to help you with that, but it would save time if you do that in advance). Also, please ask in advance for an account in the trac server.

Lodging

We have reserved several appartments in Apartamentos Los Sitios. They are located in the city centre. The reception is open until 22:30.

Location

Talks will take place in the main campus of the Universidad de Zaragoza, in the mathematics building. It is about 25 minutes by walk from the appartments (maybe 15 minutes by public transportation).

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

Financial support

The school will be partially funded by the OpenDreamKit project. The LaBRI (University of Bordeaux) and the CNRS co-organize the project via the OpenDreamKit Project. We expect to be able to cover the travel and lodging expenses of the 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

There will be a visit to Palacio de la Aljaferia on Sunday morning.