|
Size: 7039
Comment:
|
Size: 9058
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 27: | Line 27: |
| Line 30: | Line 29: |
| * [[https://hackmd.io/C11DpDKwTaaB5RkoyuosUw|Euler challenge organization pad]] | |
| Line 33: | Line 33: |
| * [[https://gitlab.com/videlec/python_module_sample|demo about packaging (git repo on gitlab)]] | |
| Line 39: | Line 40: |
| * 10:30 - 11:30 Participant presentations and schedule organization | * 10:30 - 12:30 Participant presentations + schedule organization + get started with Sage |
| Line 43: | Line 44: |
| ||<#AADAFF> 9:00 - 10:30 ||<#F0F0AA> 10:30 - 11:00 ||<#FACACA> 11:00 - 12:30 ||<#F0F0AA> 12:30 - 14:00 ||<#DAAAFF> 14:00 - 15:30 ||<#F0F0AA> 15:30 - 16:00 ||<#FACACA> 16:00 - 17:30 ||<#AAFFAA> 17:30 - 18:00 || | ||<#AADAFF> 9:00 - 10:30 ||<#F0F0AA> 10:30 - 11:00 ||<#FACACA> 11:00 - 12:30 ||<#F0F0AA> 12:30 - 14:00 ||<#DAAAFF> 14:00 - 15:30 ||<#F0F0AA> 15:30 - 16:00 ||<#FACACA> 16:00 - 17:00 ||<#AAFFAA> 17:00 - 17:30 || |
| Line 48: | Line 49: |
| ||<#EEEEEE> Monday ||<#AADAFF> welcome ||<#DAAAFF> get started with SageMath || ||<#EEEEEE> Tuesday ||<#AADAFF> package presentations ||<#DAAAFF> ? || ||<#EEEEEE> Wednesday ||<#AADAFF> ? ||<#DAAAFF> (optional) [[https://www.mpim-bonn.mpg.de/de/node/9501|Max-Planck afternoon]] || ||<#EEEEEE> Thursday ||<#AADAFF> ? ||<#DAAAFF> ? || |
||<#EEEEEE> Monday ||<#AADAFF> welcome ||<#DAAAFF> get started + packaging || ||<#EEEEEE> Tuesday ||<#AADAFF> package presentations (M.,V.,S.,J.) ||<#DAAAFF> git (Samuel) || ||<#EEEEEE> Wednesday ||<#AADAFF> debugging/profiling ||<#DAAAFF> (optional) [[https://www.mpim-bonn.mpg.de/de/node/9501|Max-Planck afternoon]] || ||<#EEEEEE> Thursday ||<#AADAFF> Cython ||<#DAAAFF> SageMath development || |
| Line 55: | Line 56: |
| * git + create a SageMath/Python module + automated testing * debugging and profiling * SageMath development |
|
| Line 59: | Line 57: |
| * Cython | |
| Line 61: | Line 58: |
| == Broad mathematical thematics == Combinatorics, geometry and dynamics on real surfaces (complex curves). Here is a non-exhaustive list * moduli space of curves, differentials, spin structures * enumerative geometry, integral points in polytopes and (quasi-)modular forms * geometry and dynamics of flat and hyperbolic surfaces * braid groups, mapping class groups == Relevant Sage packages == |
== Sage packages == |
| Line 88: | Line 76: |
| * [[attachment:Computing modular group cohomology.ipynb]]: Computation of modular cohomology rings of finite groups with Sage * [[attachment:How_to_implement_new_algebraic_structures.ipynb]]: A tutorial on parents, elements, categories and coercion |
* [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=intro.en.ipynb|introduction to Sage]] * step-by-step programming (more Pythonic) * [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=chap1-first_steps.ipynb|chap1-first_steps.ipynb]] * [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=chap2-list_and_for.ipynb|chap2-list_and_for.ipynb]] * [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=chap3-if.ipynb|chap3-if.ipynb]] * [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=chap4-functions.ipynb|chap4-functions.ipynb]] * [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=chap5-while.ipynb|chap5-while.ipynb]] * [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=chap6-advanced_exercises.ipynb|chap6-advanced_exercises.ipynb]] * Some math oriented worksheets * [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=CollatzConjecture.ipynb|Collatz conjecture]] * [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=Dictionaries-GraphTheory.ipynb|Graph theory and Python dictionaries]] (don't forget to also downloads [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=euler.png|euler.png]] and [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=graph0.png|graph0.png]] * [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=Strings-BWT.ipynb|Strings and the Burrows-Wheeler-Transformation]] * [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=introduction_polytopes.ipynb|Introduction to Polytopes in Sage]] * [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=Computing+modular+group+cohomology.ipynb|Computing modular group cohomology.ipynb]]: Computation of modular cohomology rings of finite groups with Sage * [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=How_to_implement_new_algebraic_structures.ipynb|How_to_implement_new_algebraic_structures.ipynb]]: A tutorial on parents, elements, categories and coercion |
| Line 121: | Line 122: |
| == Broad mathematical thematics == Combinatorics, geometry and dynamics on real surfaces (complex curves). Here is a non-exhaustive list * moduli space of curves, differentials, spin structures * enumerative geometry, integral points in polytopes and (quasi-)modular forms * geometry and dynamics of flat and hyperbolic surfaces * braid groups, mapping class groups |
Contents
Following a long tradition of similar workshops, the Sage days 100 workshop will take place in Bonn Germany, July 22nd - July 27th. It welcomes anyone who wishes to work with SageMath, from complete beginners to advanced developers. It will consist of tutorials, participant presentations and mostly free time to let participants work on their mathematical programming projects and get helped from more advanced users. The precise schedule of the workshop will be decided at the begining of the workshop and adapted according to the participant needs.
The afternoon of Wednesday 24th will be dedicated to a SageMath presentation at Max-Planck Institut (for students, PhD students, postdocs and professors). If you wish to be involved in this presentation, contact the organizer.
Practical information
Location
All week
Room 0.016 (ground floor, left of the main entrance) Institut für Informatik Endenicher Allee 19A Bonn
Special Wednesday afternoon event
Lecture Hall (third floor) Max-Planck Institut Vivatsgasse 7 Bonn
Links
Schedule
Begining of the workshop Monday 22nd
- 9:30 - 10:00 welcome coffee
10:00 - 10:30 A SageMath and sage days panorama (by V. Delecroix)
- 10:30 - 12:30 Participant presentations + schedule organization + get started with Sage
- lunch and afternoon: as all other days
For all other days (Tuesday 22nd afternoon - Friday 26th afternoon)
9:00 - 10:30 |
10:30 - 11:00 |
11:00 - 12:30 |
12:30 - 14:00 |
14:00 - 15:30 |
15:30 - 16:00 |
16:00 - 17:00 |
17:00 - 17:30 |
morning session |
coffe break |
hacking |
lunch break |
afternoon session |
coffe break |
hacking |
status report |
The hacking session are here to let people work on their own projects while having SageMath experts helping/answering. The tutorial sessions will consist of
Monday |
welcome |
get started + packaging |
Tuesday |
package presentations (M.,V.,S.,J.) |
git (Samuel) |
Wednesday |
debugging/profiling |
(optional) Max-Planck afternoon |
Thursday |
Cython |
SageMath development |
Friday |
? |
? |
Remaining tutorial sessions to be organized:
- databases
Sage packages
admcycles: tautological ring on M_{g,n} (Aaron Pixton, Johannes Schmitt, Jason van Zelm)
snappy: 3-dim hyperbolic manifolds (Marc Culler, Nathan Dunfield, and Matthias Goerner)
veerer: train-tracks and veering triangulations (Vincent Delecroix)
surface_dynamics: translation surfaces (Vincent Delecroix)
flipper: mapping class group (via flips in triangulation) (Mark Bell)
curver: mapping class group (via curve complex) (Mark Bell)
sage-train-track: free group automorphisms (Thierry Coulbois)
We will have 20 min presentations of each package emphasizing:
- What the package is useful for?
- What should I do if I want to use the package? ie, installation and first steps tutorials
- What is currently under active development?
- Wishlist features / possible research experimentations (with the hope that more people get involved)
Worksheets
- step-by-step programming (more Pythonic)
- Some math oriented worksheets
Graph theory and Python dictionaries (don't forget to also downloads euler.png and graph0.png
Computing modular group cohomology.ipynb: Computation of modular cohomology rings of finite groups with Sage
How_to_implement_new_algebraic_structures.ipynb: A tutorial on parents, elements, categories and coercion
Organization
Participants
- Vincent Delecroix (CNRS, LaBRI Bordeaux, France - MPIM Bonn, Germany)
Jonathan Zachhuber (Frankfurt, Deutschland)
Simon King (Jena, Germany)
- Mark Bell (UK)
- Luke Jeffreys (Glasgow, UK)
Johannes Schmitt (Zurich, Switzerland)
Samuel Lelièvre (Paris, France)
Frédéric Chapoton (Strasbourg, France)
Thierry Coulbois (Marseille, France)
Jean-Philippe Labbé (Berlin, Deutschland)
Sophia Elia (Berlin, Deutschland)
- Sebastian Oehms (Stuttgart, Germany)
Laith Rastanawi (Berlin, Deutschland)
- Vanessa Paluch (Bonn University)
- Shreya Kapoor (Bonn University)
- Julian Ritter (LIX Paris)
- Ingrid Irmer (MPIM, Bonn)
- Hankyung Ko (MPIM, Bonn)
- Saul Schleimer (Warwick, UK)
- Brian Winn (Loughborough University, UK)
- Hisatoshi Kodani (MPIM, Bonn)
Tam Nguyen-Phan (MPIM, Bonn)
Stavros Garoufalidis (MPIM, Bonn)
Christoph Lüders (Bonn University)
- Sophia Krix (Bonn University)
Broad mathematical thematics
Combinatorics, geometry and dynamics on real surfaces (complex curves). Here is a non-exhaustive list
- moduli space of curves, differentials, spin structures
- enumerative geometry, integral points in polytopes and (quasi-)modular forms
- geometry and dynamics of flat and hyperbolic surfaces
- braid groups, mapping class groups
Funding
The workshop is funded by OpenDreamKit 
With material help from the Laboratoire Bordelais de Recherche en Informatique (France) and the Computer Science Department at Bonn University (Germany).
Organizer
Vincent Delecroix (CNRS, LaBRI Bordeaux, France - MPIM Bonn, Germany)