Size: 4740
Comment:
|
Size: 7234
Comment: Add link to Sebastian Oehms's "Cubic braid groups" shared folder on CoCalc
|
Deletions are marked like this. | Additions are marked like this. |
Line 2: | Line 2: |
Line 11: | Line 12: |
== Subjects to cover (provisional) == | == Collaborative pad == Use [[https://annuel.framapad.org/p/sagedays94|this pad]]. == Subjects to cover == |
Line 28: | Line 33: |
* 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" |
|
Line 32: | Line 45: |
== Speakers (provisional) == | == Speakers == |
Line 39: | Line 52: |
== Program (tentative) == | == Program == |
Line 44: | Line 57: |
* 11:30-13:30 The Sage development workflow | * 11:00-12:00 The Sage development workflow (Samuel) * 12:00-13:00 Basics of git (init/add/commit/status/ - Samuel and Thierry) |
Line 46: | Line 60: |
* 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) |
|
Line 52: | Line 68: |
* 09:00 - 11:00 The category framework in Sage | * 09:00 - 11:00 Category (Travis Scrimshaw [[https://drive.google.com/open?id=1TDd6Ph2RG2WBOA09z8hR0x-v62TOWsJb|ipynb]] [[attachment:categories_Zaragoza_Days94.ipynb]]) |
Line 54: | Line 70: |
* 11:30 - 13:30 The coercion model * 13:30 - 15:00 Lunch break |
* 11:30 - 13:00 Parent, element, coercion from the user's perspective (Thierry, [[https://tmpsage.metelu.net/days94/parent_element_coercion_user.ipynb|ipynb]]) * 13:00 - 15:00 Lunch break |
Line 58: | Line 74: |
* 16:30 - 17:00 Contributed talks | * 16:30 - 17:00 Contributed talk: Symbolic discrete random variables (Peleg) |
Line 73: | Line 89: |
* 09:00 - 11:00 Parents and elements | * 09:00 - 11:00 Category/Parents/Coercion [[attachment:parent_examples_travis.sage|Example parent .sage file]] |
Line 75: | Line 91: |
* 11:30 - 13:30 Cython * 13:30 - 15:00 Lunch break |
* 11:30 - 13:00 Cython ([[http://sage.ugent.be/www/jdemeyer/Cython.ipynb|ipynb]]) * 13:00 - 15:00 Lunch break |
Line 79: | Line 95: |
* 16:30 - 17:00 Contributed talks | * 16:30 - 17:00 Contributed talk - Tucek [[attachment:tucek.pdf]] |
Line 86: | Line 102: |
* 11:30 - 13:30 Third party components (practice) * 13:30 - 15:00 Lunch break * 15:00 - 16:00 Contributed talks |
* 11:30 - 13:00 Contributed talk - Sebastian Oehms: Cubic braid groups - [[https://cocalc.com/share/a3c9835337b41b0c1c7808ac5d793f5dbbef7064/CubicBraidGroup/?viewer=share|shared folder on CoCalc]] * 13:00 - 15:00 Lunch break * 15:00 - 16:00 Contributed talk - Miller & West |
Line 94: | Line 110: |
* 09:00 - 11:00 Contributed talks * 11:00 - 11:30 Coffee break * 11:30 - 13:00 Final report and wrapup |
* 09:00 - 10:00 Final report and wrap-up * 10:30 - EACA talks |
Line 107: | Line 122: |
* Bianca Thompson | * [[https://biancasmath.wordpress.com/|Bianca Thompson]] |
Line 114: | Line 129: |
* Rebecca Miller | * [[http://www.lifebynumber.org/|Rebecca Lauren Miller]] |
Line 121: | Line 136: |
* Simón Isaza | |
Line 128: | Line 144: |
* Polynomial division [[https://trac.sagemath.org/ticket/17638|#17638]] * Sage packaging. * Crypto module. * Linear algebra * !CoCoa integration? * package cocoalib [[https://trac.sagemath.org/ticket/25707|#25707]] * #8558 * Ticket [[https://trac.sagemath.org/ticket/25745|#25745]] |
|
Line 130: | Line 154: |
You can tag the corresponding tickets with [[https://trac.sagemath.org/query?keywords=days94&group=status&col=id&col=summary&col=status&order=priority|days94 keyword]] to that it is easy to list them. | You can tag the corresponding tickets with [[https://trac.sagemath.org/query?keywords=~days94&group=status&col=id&col=summary&col=status&order=priority|days94 keyword]] to that it is easy to list them. |
Line 143: | Line 168: |
== Lodging == We have reserved several appartments in [[www.apartamentoslossitios.com|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 [[https://drive.google.com/open?id=1jEMgFXLy7lM-Fenxs8MxKOUnwIklZdkf&usp=sharing|this map]] |
|
Line 154: | Line 189: |
== Excursion == There will be a visit to [[https://zaragoza.es/ciudad/turismo/en/que-visitar/detalle_Monumento?id=7|Palacio de la Aljaferia]] on Sunday morning. {{attachment:SageDays94.jpg}} |
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
- 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
- Samuel Lelièvre
- Travis Scrimshaw
- Jeroen Demeyer
- Thierry Monteil
Program
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 (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 Contributed talk - Tucek tucek.pdf
- 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 Contributed talk - Sebastian Oehms: Cubic braid groups - shared folder on CoCalc
- 13:00 - 15:00 Lunch break
15:00 - 16:00 Contributed talk - Miller & West
- 16:00 - 16:30 Coffee break
- 16:30 - 18:30 Coding sprints
Wednsday 4th:
- 09:00 - 10:00 Final report and wrap-up
- 10:30 - EACA talks
Organizers
- Miguel Marco
- Enrique Artal
- Adrien Boussicault
Participants
- Antonio Rojas
- Elisa Palezzato
- Francisco Castro
- Friedrich Wiemer
- Mckenzie West
- Pablo Angulo
- Peleg Michaeli
- 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
Ticket #25745
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.