|
Size: 3687
Comment:
|
Size: 8220
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 11: | Line 11: |
| It is intended to be a small workshop (10 to 15 people) focusing on coding sprints. | The workshop will start wednesday 04 morning and ends saturday 07 after lunch. It will take place at [[http://www.pmc.gob.mx/|Punto Mexico Conectado @ Oaxaca]] in [[https://www.google.com.mx/maps/place/Punto+M%C3%A9xico+Conectado+Oaxaca/@17.0630565,-96.7325754,19z/data=!4m2!3m1!1s0x85c722148d9070eb:0x431c6d96d211d5b5|calzada Madero numero 101]]. |
| Line 16: | Line 16: |
| ||<#FFFFAA> morning ||<#AFEFEF:> Participant presentation<<BR>>and<<BR>>Sage introduction || ? || ? || ? || ||<#FFFFAA> 13:00 - 14:30 || lunch break || lunch break || lunch break || lunch break || ||<#FFFFAA> afternoon || ? || ? || ? || ? || |
||<#FFFFAA> 09:00 - 10:00 || registro y instalación || coding sprint || ? || ? || ||<#FFFFAA> 10:00 - 11:00 || presentación de Sage || coding sprint || ? || ? || ||<#F8F8FF> 11:00 - 11:30 ||<#F8F8FF> té y café ||<#F8F8FF> coffe break ||<#F8F8FF> coffe break ||<#F8F8FF> coffe break || ||<#FFFFAA> 11:30 - 13:00 || actividades practicas || coding sprint || ? || ? || ||<#CCCCFF> 13:00 - 14:30 ||<#CCCCFF> lunch break ||<#CCCCFF> lunch break ||<#CCCCFF> lunch break ||<#CCCCFF> lunch break || ||<#FFFFAA> 14:30 - 15:30 || presentation / discussion || coding sprint || ? || FREE || ||<#FFFFAA> 15:30 - 17:00 || tutorial: symbolic vs numeric || coding sprint || ? || FREE || ||<#F8F8FF> 17:00 - 17:30 ||<#F8F8FF> coffe break ||<#F8F8FF> coffe break ||<#F8F8FF> coffe break || FREE || ||<#FFFFAA> 17:30 - 18:00 || Pat Hooper's demo || Vincent's demo || Vincent's demo || FREE || ||<#FFFFAA> 18:00 - 19:00 || coding spring || status report || ? || FREE || |
| Line 22: | Line 29: |
| * (tutorial) number types in Sage: integers, rationals, number fields, symbolic, floating point, intervals, balls | * Presentación de Sage, (jupyter notebook [[attachment:Sage presentation.ipynb]]) |
| Line 24: | Line 31: |
| * (tutorial) SL2Z and triangle group code in Sage | * '''symbolic vs numerics in Sage''' (tutorial, wednesday 15:30 - 17:00, Vincent Delecroix) There are many ways to deal with numbers within Sage (algebraic numbers, floating points, intervals, ...). We will present and illustrate pros and cons of all of them on some concrete problems: root finding, integration, solving ordinary differential equations. [[attachment:symbolic_vs_numeric.rst]] |
| Line 26: | Line 34: |
| * (tutorial) [[http://www.labri.fr/perso/vdelecro/flatsurf.html|flatsurf package]] | * [[https://github.com/videlec/sage-flatsurf|Flatsurf]] (demo, ¿when?, Pat Hooper) * [[http://www.labri.fr/perso/vdelecro/flatsurf.html|the flatsurf package]] (demo, ¿when?, Vincent Delecroix) * '''computing Lyapunov exponents of the Teichmueller flow''' (demo, ¿when?, Charles Fougeron) * '''developing tools''' (tutorial, ¿when?, ¿who?) [[https://en.wikipedia.org/wiki/Git_%28software%29|git]], the [[http://trac.sagemath.org/|Sage trac server]], mailing lists ([[https://groups.google.com/forum/#!forum/sage-devel|sage-devel]], [[https://groups.google.com/forum/#!forum/sage-support|sage-support]], [[http://pari.math.u-bordeaux.fr/lists-index.html|pari-users]], etc) and forums ([[http://ask.sagemath.org/|ask sagemath]]). * ? class howto ? * ? (tutorial) SL2Z and triangle group code in Sage * ? (tutorial) graphs and digraphs in Sage ([[http://doc.sagemath.org/html/en/reference/graphs/index.html|Sage graph stuff]] and possibly [[http://www.tcs.hut.fi/Software/bliss/|bliss software]], [[http://pallini.di.uniroma1.it/|nauty and Traces]], [[http://igraph.org/redirect.html|igraph]], ...) |
| Line 30: | Line 51: |
| * infinite index subgroups of SL2Z | * Teichmûller polynomials: need train-tracks automata with decorations. Then compute effectively dilatations in a given fibered face, Thurston norm, etc (Ferrán) |
| Line 32: | Line 53: |
| * arbitrary subgroups of SL2R, SL2C | * Compute properties of Coxeter or Artin groups (normal forms, ...) |
| Line 34: | Line 55: |
| * construct SL2Z subgroups (SL2R?, SL2C?) from a set of generators | * Explore Thierry's Coulbois [[https://github.com/coulbois/sage-train-track|train-track code]] |
| Line 36: | Line 57: |
| * Lyapunov exponents, volume, Siegel Veech constants | * Incidence relations for vector space over Z/2Z (done!) |
| Line 38: | Line 59: |
| * Delaunay triangulations | * More for infinite translation surfaces (Pat) * (easy) add Thurston-Veech construction into the flatsurf package * visualize Teichmueller spaces: geodesics, balls, triangles, ... Needs computing Teichmueller maps, i.e. solving PDE (Maxime) * merge the two flatsurf projects [[https://github.com/videlec/sage-flatsurf]] and [[http://www.labri.fr/perso/vdelecro/flatsurf.html]] (Pat, Vincent) * nice 3d plots to make animations of geodesic in Teichmueller space * visualize the translation structure induced by a not so nice differential (Anja) * Subgroups of SL(2,R) given from generators. Design an algorithm that given a finite set of matrices in SL(2,R) answers whether the group generated by these is 1. not discrete 2. has finite covolume 3. has infinite covolume In case 2. and 3. the algorithm should also output a fundamental domain and generators in canonical forms. (Charles, Vincent) * Generating saddle connections in a given surface and study their statistics *efficiently* (Grace) * add Lyapunov exponents computation in the flatsurf package (Charles, Vincent) * Affine interval exchange transformations: rotation number for affine circle homeos, generalized Rauzy induction, hyperbolicity, periodic points, ... (Charles) * Teichmueller flow for genus 1 quadratic differentials with Riemann theta functions (Charles) |
| Line 56: | Line 103: |
| * [[http://www.math.udel.edu/~driscoll/SC/|Schwarz-Christoffel Toolbox in Matlab]] |
|
| Line 64: | Line 113: |
| * Maxime Fortier-Bourque * Charles Fougeron |
* [[https://www.math.toronto.edu/cms/fortier-bourque-maxime/|Maxime Fortier-Bourque]] * [[https://webusers.imj-prg.fr/~charles.fougeron/|Charles Fougeron]] |
| Line 78: | Line 127: |
| This workshop is supported by the ERC H2020 project [[http://opendreamkit.org/|OpenDreamKit]]. | This workshop is supported by the ERC H2020 project [[http://opendreamkit.org/|OpenDreamKit]] and [[http://www.pmc.gob.mx/|Punto Mexico Conectado @ Oaxaca]]. |
Sage Days 73 in Oaxaca, Mexico May 04-07 2016
Sage is an open source software for mathematics. This is the webpage for the Sage workshop prior to the conference Flat Surfaces and Dynamics of Moduli Space to be held in Oaxaca May 08-13. The aim is to:
- introduce Sage to people from Oaxaca or assisting to the conference
- have program and code presentations about geometry and dynamics of surfaces
- help people to implement their own projects
The workshop will start wednesday 04 morning and ends saturday 07 after lunch. It will take place at Punto Mexico Conectado @ Oaxaca in calzada Madero numero 101.
Previsional schedule
|
Wednesday 4 May |
Thursday 5 May |
Friday 6 May |
Saturday 7 May |
09:00 - 10:00 |
registro y instalación |
coding sprint |
? |
? |
10:00 - 11:00 |
presentación de Sage |
coding sprint |
? |
? |
11:00 - 11:30 |
té y café |
coffe break |
coffe break |
coffe break |
11:30 - 13:00 |
actividades practicas |
coding sprint |
? |
? |
13:00 - 14:30 |
lunch break |
lunch break |
lunch break |
lunch break |
14:30 - 15:30 |
presentation / discussion |
coding sprint |
? |
FREE |
15:30 - 17:00 |
tutorial: symbolic vs numeric |
coding sprint |
? |
FREE |
17:00 - 17:30 |
coffe break |
coffe break |
coffe break |
FREE |
17:30 - 18:00 |
Pat Hooper's demo |
Vincent's demo |
Vincent's demo |
FREE |
18:00 - 19:00 |
coding spring |
status report |
? |
FREE |
Talks
Presentación de Sage, (jupyter notebook Sage presentation.ipynb)
symbolic vs numerics in Sage (tutorial, wednesday 15:30 - 17:00, Vincent Delecroix)
There are many ways to deal with numbers within Sage (algebraic numbers, floating points, intervals, ...). We will present and illustrate pros and cons of all of them on some concrete problems: root finding, integration, solving ordinary differential equations. symbolic_vs_numeric.rst
Flatsurf (demo, ¿when?, Pat Hooper)
the flatsurf package (demo, ¿when?, Vincent Delecroix)
computing Lyapunov exponents of the Teichmueller flow (demo, ¿when?, Charles Fougeron)
developing tools (tutorial, ¿when?, ¿who?)
git, the Sage trac server, mailing lists (sage-devel, sage-support, pari-users, etc) and forums (ask sagemath).
- ? class howto ?
- ? (tutorial) SL2Z and triangle group code in Sage
? (tutorial) graphs and digraphs in Sage (Sage graph stuff and possibly bliss software, nauty and Traces, igraph, ...)
Projects
- Teichmûller polynomials: need train-tracks automata with decorations. Then compute effectively dilatations in a given fibered face, Thurston norm, etc (Ferrán)
- Compute properties of Coxeter or Artin groups (normal forms, ...)
Explore Thierry's Coulbois train-track code
- Incidence relations for vector space over Z/2Z (done!)
- More for infinite translation surfaces (Pat)
- (easy) add Thurston-Veech construction into the flatsurf package
- visualize Teichmueller spaces: geodesics, balls, triangles, ... Needs computing Teichmueller maps, i.e. solving PDE (Maxime)
merge the two flatsurf projects https://github.com/videlec/sage-flatsurf and http://www.labri.fr/perso/vdelecro/flatsurf.html (Pat, Vincent)
- nice 3d plots to make animations of geodesic in Teichmueller space
- visualize the translation structure induced by a not so nice differential (Anja)
- Subgroups of SL(2,R) given from generators. Design an algorithm that given a finite set of matrices in SL(2,R) answers whether the group generated by these is
- not discrete
- has finite covolume
- has infinite covolume
- Generating saddle connections in a given surface and study their statistics *efficiently* (Grace)
- add Lyapunov exponents computation in the flatsurf package (Charles, Vincent)
- Affine interval exchange transformations: rotation number for affine circle homeos, generalized Rauzy induction, hyperbolicity, periodic points, ... (Charles)
- Teichmueller flow for genus 1 quadratic differentials with Riemann theta functions (Charles)
... add your own project ...
Existing programs about translation surfaces
- Alex Eskin code (saddle connection exploration + decomposition in cylinders)
various programs by Ronen Mukamel (Delaunay triangulations, Teichmueller curves especially in genus 2)
Vincent Delecroix flatsurf package (mostly interval exchanges and square tiled surfaces, but a bit of topology)
Vincent Delecroix and Pat Hooper drawing program
Charles Fougeron code for Lyapunov exponents of strata coverings (see trac ticket #16102)
Chris Swierczewski Riemann surfaces package
Organizers
Preliminary list of participants (to be confirmed)
Thierry Monteil (might attend remotely)
Chris Swierczewski (might attend remotely)
Support
This workshop is supported by the ERC H2020 project OpenDreamKit and Punto Mexico Conectado @ Oaxaca.