Size: 4169
Comment:
|
Size: 7553
Comment:
|
Deletions are marked like this. | Additions are marked like this. |
Line 1: | Line 1: |
= Sage days 94. Sage development. = 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 network of computer algebra. 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. == Subjects to cover (provisional) == * The sage development workflow (Trac, git, doctests...) |
= 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 [[https://annuel.framapad.org/p/sagedays94|this pad]]. == Subjects to cover == * The Sage development workflow (Trac, Git, doctests...) |
Line 11: | Line 20: |
* Implementation of Parents and elements | * Implementation of parents and elements |
Line 17: | Line 26: |
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 ingiving one such talk. | 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. |
Line 22: | Line 33: |
This Sage Days will be a satellite activity of the [[https://eventos.unizar.es/15634/detail/xvi-eaca-encuentro-de-algebra-computacional-y-aplicaciones.html|XVI EACA encounter]] == Speakers (provisional) == |
* 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 [[https://eventos.unizar.es/15634/detail/xvi-eaca-encuentro-de-algebra-computacional-y-aplicaciones.html|XVI EACA encounter]]. == Speakers == |
Line 31: | Line 50: |
== Program (temptative) == |
* Thierry Monteil == Program == |
Line 37: | Line 56: |
* 10:00-11:00 registration * 11:30-13:30 The Sage development workflow * 13:30-15:00 lunch break * 15:00-16:00 contributed talks * 16:00-16:30 coffe break * 16:30-18:30 coding sprints |
* 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 |
Line 46: | 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 48: | Line 70: |
* 11:30 - 13:30 The coercion model * 13:30 - 15:00 Lunch break * 15:00 - 16:00 The sage development workflow (practice) |
* 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 * 15:00 - 16:00 The Sage development workflow (practice) |
Line 52: | Line 74: |
* 16:30 - 17:00 Contributed talks * 17:00 - 19:00 coding sprints |
* 16:30 - 17:00 Contributed talk: Symbolic discrete random variables (Peleg) * 17:00 - 19:00 Coding sprints |
Line 67: | 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 69: | 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 73: | Line 95: |
* 16:30 - 17:00 Contributed talks | * 16:30 - 17:00 Contributed talk - Tucek [[attachment:tucek.pdf]] |
Line 78: | Line 100: |
* 09:00 - 11:00 Third party components | * 09:00 - 11:00 Third-party components |
Line 80: | 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 ---- /!\ '''Edit conflict - other version:''' ---- * 15:00 - 16:00 Contributed talk - Miller ([[http://lifebynumber.org/sagemath-gsoc-info | Sage GSOC info]]) & West ---- /!\ '''Edit conflict - your version:''' ---- * 15:00 - 16:00 Contributed talk - Miller & West [[attachment:MWest_Presentation.pdf|MWest slides]] ---- /!\ '''End of edit conflict''' ---- |
Line 84: | Line 113: |
* 16:30 - 18:30 coding sprints | * 16:30 - 18:30 Coding sprints |
Line 88: | Line 117: |
* 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 101: | Line 128: |
* Antonio Rojas * [[https://biancasmath.wordpress.com/|Bianca Thompson]] * Elisa Palezzato * Francisco Castro * Friedrich Wiemer * Mckenzie West * Pablo Angulo * Peleg Michaeli * [[http://www.lifebynumber.org/|Rebecca Lauren Miller]] * Samuel Lelièvre * Sebastian Oehms |
|
Line 102: | Line 140: |
* Rebecca Miller * Vincent Neiger |
|
Line 105: | Line 141: |
* Sebastian Oehms * Friedrich Wiemer * Bianca Thompson * Rusydi H. Makarim * Peleg Michaeli * Pablo Angulo * Antonio Rojas * Mckenzie West * Elisa Palezzato |
* 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 [[https://trac.sagemath.org/ticket/25471|#25471]] * Try to progress in the inclusion of train-tracks in Sage [[https://trac.sagemath.org/ticket/20154|#20154]] * 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]] 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 117: | Line 167: |
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 [[https://trac.sagemath.org/|trac server]] | 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 [[https://trac.sagemath.org/|trac server]]. |
Line 119: | Line 175: |
== 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 122: | Line 187: |
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. | 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. |
Line 126: | Line 194: |
If you are interested in participating, or have any questions, please send an email to `mmarco <at> unizar <dot> es` | 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 [[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
Edit conflict - other version:
15:00 - 16:00 Contributed talk - Miller (Sage GSOC info) & West
Edit conflict - your version:
15:00 - 16:00 Contributed talk - Miller & West MWest slides
End of edit conflict
- 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.