|
Size: 1254
Comment:
|
Size: 5239
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 5: | Line 5: |
== Import the old Sage-Combinat patches as git branch == * Nicolas == Review all tickets waiting on trac :-) == There are around [[http://trac.sagemath.org/report/75|250 tickets waiting on trac for a reviewer]] ... solution: a ticket a day! (18 dev, 5 days we should get 90 tickets) == Documentation == * Brainstorm about the refactoring of the index of the combinatorics section of the reference manual [[http://trac.sagemath.org/ticket/13605|#13605]] Sam, Florent, Nicolas, Sébastien, Charles * Splitting the reference/combinat document in subdocuments Florent, * Finish migrating the collection of Sage-Combinat thematic tutorials as git branches Nicolas, Vincent, Tomer * Proofread and merge more thematic tutorials Sam, Vincent, Nicolas, Thierry |
|
| Line 6: | Line 26: |
Jean-Philippe and Vivien implemented a framework for working with infinite coxeter groups, in particular to explore the geometric representation, limit roots, ... The goal is to start merging this with the existing root system stuff in Sage. TODO: create ticket |
|
| Line 11: | Line 36: |
| * ... | * Tomer == Automata and rational languages == * Design discussion Thierry, Vincent, Nicolas, Sébastien, Florent, Jean-Baptiste, Adrien, Matthieu * Improving the situation :-) Thierry, Vincent, Sébastien, Matthieu |
| Line 14: | Line 48: |
By language we simply mean a set of finite words (rational language, D0L-system, ...). The scope ranges from combinatorics and algebra to discrete dynamical systems. Sage capabilities is currently restricted to combinatorics on single word and do not focus on structure of certain subset. We aim to implement an abstract and easy to reuse infrastructure for languages. |
|
| Line 18: | Line 54: |
| * Sébastien | |
| Line 20: | Line 57: |
| * implement the category of languages (from previous work of me and Stepan, [[http://trac.sagemath.org/ticket/12224|#12224]], [[http://trac.sagemath.org/ticket/12225|#12225]], [[http://trac.sagemath.org/ticket/12227|#12227]]) | * implement the category of languages (from previous work of Vincent and Stepan, [[http://trac.sagemath.org/ticket/12224|#12224]], [[http://trac.sagemath.org/ticket/12225|#12225]], [[http://trac.sagemath.org/ticket/12227|#12227]]) |
| Line 23: | Line 60: |
| Might be too big a task for this week. But we could discuss the strategy. |
|
| Line 24: | Line 63: |
A translation surface is a geometric and dynamical objects that can be defined from gluing polygons by translation. It is interesting from geometric and dynamical point of vue. Many computations are possible ! |
|
| Line 29: | Line 70: |
| * Charles | |
| Line 32: | Line 74: |
| * include Charles's code into Sage | * include Charles Fougeron's code into Sage (computation of Lyapunov exponents, decomposition of the Hodge bundle) |
| Line 37: | Line 79: |
| Finish [[http://trac.sagemath.org/ticket/10963|#10963]], brainstorm the follow ups. |
|
| Line 39: | Line 83: |
| * Eric |
* Volker * Florent |
| Line 46: | Line 90: |
| * Vincent * Jean-Philippe |
|
| Line 54: | Line 100: |
== Refactor continued fractions == * interested * Thierry * Vincent * Luca * todo: see [[http://trac.sagemath.org/ticket/14567|#14567]] == Dynamical systems simulation (statistics of orbits) == * interested * Thierry * Sébastien * Vincent * Jean-Philippe == on-line db for Sage worksheets and other ressources == * Thierry * Vincent * Luca Monday Afternoon == Checkout Mike's and ... patches about lazy power series == [[http://trac.sagemath.org/ticket/15673|#15673]] [[http://trac.sagemath.org/ticket/10519|#10519]] * Florent, Matthieu, Nicolas, Vincent, == Lazy Multivariate Power Series == TODO: create ticket * Matthieu Dien * Vincent * Nicolas == Species, Ore algebras, Boltzman == Get a picture of the == Real numbers == There are many ways to represent real numbers: * rational numbers * algebraic numbers * expansions in a given basis * continued fractions (and generalizations) * symbolic expressions (involving transcendental functions like cos, exp, pi, ...) * ... But Sage currently has no bridge between them... == Refactor Elliptic curves and morphisms == See [[http://trac.sagemath.org/ticket/12880|#12880|]] (and also problem with scheme morphisms [[http://trac.sagemath.org/ticket/15378|#15378]], maybe also that !SchemeMorphism currently does not inherit from !Morphisn, see the description of #14711) * Interested: * Luca * Vincent == Introduction to categories == * Nicolas, ... == Introduction to git == * by Volker Braun * interested * Samuel * Eric * Thierry * Sébastien * Jean-Philippe * Nicolas * Everybody! Done Monday Morning! Thanks Volker! |
Tentative list of themes
A list of topics for Sage days 57. Participants, please edit!
Import the old Sage-Combinat patches as git branch
- Nicolas
Review all tickets waiting on trac :-)
There are around 250 tickets waiting on trac for a reviewer ... solution: a ticket a day! (18 dev, 5 days we should get 90 tickets)
Documentation
Brainstorm about the refactoring of the index of the combinatorics section of the reference manual #13605
- Sam, Florent, Nicolas, Sébastien, Charles
- Splitting the reference/combinat document in subdocuments
- Florent,
- Finish migrating the collection of Sage-Combinat thematic tutorials as git branches
- Nicolas, Vincent, Tomer
- Proofread and merge more thematic tutorials
- Sam, Vincent, Nicolas, Thierry
Coxeter groups
Jean-Philippe and Vivien implemented a framework for working with infinite coxeter groups, in particular to explore the geometric representation, limit roots, ... The goal is to start merging this with the existing root system stuff in Sage.
TODO: create ticket
- interested
- Jean-Philippe Labbé
- Nicolas M. Thiéry
- Vivien Ripoll
- Tomer
Automata and rational languages
- Design discussion
- Thierry, Vincent, Nicolas, Sébastien, Florent, Jean-Baptiste, Adrien, Matthieu
Improving the situation
- Thierry, Vincent, Sébastien, Matthieu
Languages
By language we simply mean a set of finite words (rational language, D0L-system, ...). The scope ranges from combinatorics and algebra to discrete dynamical systems. Sage capabilities is currently restricted to combinatorics on single word and do not focus on structure of certain subset. We aim to implement an abstract and easy to reuse infrastructure for languages.
- interested
- Vincent
- Thierry
- Sébastien
- todo
Might be too big a task for this week. But we could discuss the strategy.
Translation surfaces
A translation surface is a geometric and dynamical objects that can be defined from gluing polygons by translation. It is interesting from geometric and dynamical point of vue. Many computations are possible !
- interested
- Vincent
- Samuel
- Thierry
- Charles
- todo
- better datastructure for permutations
- include Charles Fougeron's code into Sage (computation of Lyapunov exponents, decomposition of the Hodge bundle)
- datastructure for translation surfaces
Categories
Finish #10963, brainstorm the follow ups.
- interested
- Nicolas
- Volker
- Florent
Polyhedra over number fields
- interested
- Volker
- Vincent
- Jean-Philippe
Tensors on free modules
- interested
- Eric
- todo
implement tensor products of generic free modules and the associated tensor algebra (by generic it is meant without any privileged basis)
Refactor continued fractions
- interested
- Thierry
- Vincent
- Luca
todo: see #14567
Dynamical systems simulation (statistics of orbits)
- interested
- Thierry
- Sébastien
- Vincent
- Jean-Philippe
on-line db for Sage worksheets and other ressources
- Thierry
- Vincent
- Luca
Monday Afternoon
Checkout Mike's and ... patches about lazy power series
Lazy Multivariate Power Series
TODO: create ticket
- Matthieu Dien
- Vincent
- Nicolas
Species, Ore algebras, Boltzman
Get a picture of the
Real numbers
There are many ways to represent real numbers:
- rational numbers
- algebraic numbers
- expansions in a given basis
- continued fractions (and generalizations)
- symbolic expressions (involving transcendental functions like cos, exp, pi, ...)
- ...
But Sage currently has no bridge between them...
Refactor Elliptic curves and morphisms
See #12880 (and also problem with scheme morphisms #15378, maybe also that SchemeMorphism currently does not inherit from !Morphisn, see the description of #14711)
- Interested:
- Luca
- Vincent
Introduction to categories
- Nicolas, ...
Introduction to git
- by Volker Braun
- interested
- Samuel
- Eric
- Thierry
- Sébastien
- Jean-Philippe
- Nicolas
- Everybody!
Done Monday Morning! Thanks Volker!