Differences between revisions 17 and 40 (spanning 23 versions)
Revision 17 as of 2011-12-24 14:56:00
Size: 3305
Editor: vdelecroix
Comment:
Revision 40 as of 2012-03-13 16:11:34
Size: 7326
Editor: nthiery
Comment:
Deletions are marked like this. Additions are marked like this.
Line 2: Line 2:
Sage-Combinat days in Orsay, January/February 2012
==================================================
Sage-Combinat days in Orsay
===========================
Line 5: Line 5:
FlorentHivert: I'm thinking about organizing a small one-week Sage-Combinat coding
sprint around January-February in the south-west of Paris.
The third Sage-Combinat days in Cernay will hold at Cernay-la-Ville,
France, February 6-10 2012, near Orsay, in the south-west of Paris.
Line 8: Line 8:
Following the \*-Combinat tradition I plan to reserve the `guest house the tower <http://www.cernayvacances.com/CEngels.html>`_  at Cernay-la-Ville.
It is very nice and cosy, 35 minutes train + 15 minutes bus away from
downtown Paris. It can accommodate 8-10 people, and if needed there is
another adjacent guest house.
Following the \*-Combinat tradition I reserved the `guest house the
tower <http://www.cernayvacances.com/CEngels.html>`_ at
Cernay-la-Ville.  It is very nice and cosy, 35 minutes train + 15
minutes bus away from downtown Paris. For practical information, see
below.
Line 13: Line 14:
Here is a tentative list of themes: `Project page on Trac <http://trac.sagemath.org/sage_trac/wiki/combinat/DaysCernay2012>`_
=================================================================================================
Line 15: Line 17:
 * Refactoring of the combinatorics infrastructure (factories, Cythonizing partitions, compositions...) Tentative list of themes
========================
Line 17: Line 20:
 * Cythonization of many iterators The main goal of this meeting is to gather Sage/Sage-Combinat
developers for coding sprints on the following themes:
Line 19: Line 23:
 * Categories (Morphisms, functorial constructions, optimization, coercion ?) * Refactoring of the combinatorics infrastructure (factories, Cythonizing partitions, compositions...)
Line 21: Line 25:
 * Integration of more Sage-Combinat thematic tutorials into Sage * Refactoring of sage.combinat.words and creation of a tiling class (`LanguagesAndTilings <http://wiki.sagemath.org/LanguagesAndTilings>`_)
Line 23: Line 27:
 * Please expand! * Cythonization of many iterators
Line 25: Line 29:
We haven't yet secured a funding, but if it is likely that we will be
able to cover the local expenses (lodging + food).
* Categories (Morphisms, functorial constructions, optimization, coercion ?)
Line 28: Line 31:
So my questions are the following: * Integration of more Sage-Combinat thematic tutorials into Sage
Line 30: Line 33:
 * who is interested ?
 * what is the preferred week ?
* Correct some of the `Weirdness <http://wiki.sagemath.org/combinat/Weirdness>`_
Line 33: Line 35:
Please fill in `this poll <http://nuages.domainepublic.net/cd7d/vote/>`_. * Please expand!
Line 35: Line 37:
Martin Albrecht : I am interested, but I cannot commit to any dates yet. I definitely cannot do 16.-20.1. and 20.2.-24.2. Anyway, I suggest you pick your dates and I'll try to make it at least for one day? I can't help with combinatorics much, though. Jean-Pierre Flori:
Line 37: Line 39:
Viviane Pons : very much interested, available mostly in February (6-10, 13-17, 20-24, ...) * I'd love to have a deeper look into the coercion system and its
  caching mecanism to get a better understanding of it and to solve
  bug #715.
* If anyone is interested, we could also have a look at some symbolic
  issues in pynac (which could be of interest for combinat people).
Line 39: Line 45:
Jean-Pierre Flori : Interested as well. I don't think I'll be able to attend the whole week, but two or three days should be ok. I'd better avoid the last week of January, first of February if possible. As far as the topics are concerned, I'd love to have a deeper look into the coercion system and its caching mecanism to get a better understanding of it and to solve bug #715. If anyone is interested, we could also have a look at some symbolic issues in pynac (which could be of interest for combinat people). Vincent Delecroix :
Line 41: Line 47:
Vincent Delecroix : * reviews
Line 43: Line 49:
 * implementations of some Gray codes for much faster generation
 
* iterator for conjugacy class of the symmetric group (the call to Gap takes hours)
 * flat surfaces (quadratic differentials, topolgoy stuff, origamis, Ferenczi-Zamboni induction, ...)
 * language and symbolic dynamics (tickets #12224, #12225, #12226, #12227, #12228, #122230, #12231)
 * would like to hear about the code in Sage and more generally about algorithms for generating things up to isomorphism (like graphs, Integer vectors and co).
   `#10193: Graded enumerated sets <http://trac.sagemath.org/sage_trac/ticket/10193>`_
   
   `#10132: Parametrization of (metric) surfaces in 3D euclidean space <http://trac.sagemath.org/sage_trac/ticket/10132>`_

* integration

   `#10534:
Generation of subwords, subsets and set partitions <http://trac.sagemath.org/sage_trac/ticket/10534>`_

   `#9439: H
yperbolic geometry <http://trac.sagemath.org/sage_trac/ticket/9439>`_

* iterators (Gray codes, iterate throu conjugacy class of the symmetric group, ...)

* flat surfaces (quadratic differentials, topolgoy stuff, origamis, Ferenczi-Zamboni induction, ...)

* language and symbolic dynamics (tickets #12224, #12225, #12226, #12227, #12228, #122230, #12231)

* would like to hear about the code in Sage and more generally about algorithms for generating things up to isomorphism (like graphs, Integer vectors and co).
Line 52: Line 70:
 * flat surfaces via G-maps (in which state are the Permutations currently? or should we use pointers or existing libs like CGAL ?).
 * need help to build a class `TileSet` in a good way.
 * having OEIS work again (i have working parsers ready for a while, but would like to have them in a class, not as functions like `sloane_search()`, maybe the same as the existing for offline oeis ?).
 * word combinatorics : `tangent_words` as `WordPaths` ; `tangent_analytic_words` ; discussion about languages.
* flat surfaces via G-maps (in which state are the Permutations currently? or should we use pointers or existing libs like CGAL ?).
* need help to build a class `TileSet` in a good way.
* having OEIS work again (i have working parsers ready for a while, but would like to have them in a class, not as functions like `sloane_search()`, maybe the same as the existing for offline oeis ?).
* word combinatorics : `tangent_words` as `WordPaths` ; `tangent_analytic_words` ; discussion about languages.
* discussion about implementing Bratelli diagrams.
* backtracking framework (e.g. a kind of iterator with next() and cut() methods)
* (svg output)
* (worksheet database shared among public notebooks)
* (graph minors)
Line 58: Line 81:
Nicolas Borie:

* refactoring of integer vectors using a Cython data structure based on IntClonableArray.
* design discussion about how getting benefits of categories when implementing a Set with a group action.
* finalise the implementation of integer vectors modulo the action of a permutation group.
* Implementation of multivariate polynomials view as a free module over symmetric functions (Harmonic polynomials, Schubert polynomials, Monomials under staircase, Descent monomials ...)

Nicolas M. Thiéry:

* Finalize and merge in as many of my old patches as possible:
  * `#10998: Categories for posets <http://trac.sagemath.org/sage_trac/ticket/10998>`_
  * `#9469: Category membership without arguments <http://trac.sagemath.org/sage_trac/ticket/9469>`_
  * `#7980: multiple realizations <http://trac.sagemath.org/sage_trac/ticket/7980>`_
  * `#10963: more functorial constructions: <http://trac.sagemath.org/sage_trac/ticket/10963>`_
  * `#6588: categories root system: <http://trac.sagemath.org/sage_trac/ticket/6588>`_
  * `#11111: finite_dimensional_modules: <http://trac.sagemath.org/sage_trac/ticket/11111>`_

* Finalize and merge as many of others'old patches as possible:
  * `#11003: Improve support for lazy_import inside classes <http://trac.sagemath.org/sage_trac/ticket/11003>`_
  * `#11118: finite_enumset_list_cache-fh <http://trac.sagemath.org/sage_trac/ticket/11118>`_
Line 61: Line 104:
Tentative list of participants
==============================
Line 62: Line 107:
.. #1224: language and words * NicolasBorie, ATER, Orsay
* FlorentHivert, Prof, LRI, Université Paris Sud XI
* NicolasThiéry, MdC, Orsay
* Viviane Pons, graduate student, LIGM, Université Paris-Est
* ThierryMonteil, CR, Montpellier
* VincentDelecroix, Postdoc, IMJ, Paris
* Nathann Cohen, Postdoc, Université Libre de Bruxelles
* Štěpán Starosta, Ph.D. student, Czech Technical University in Prague
* Flavia Stan, Postdoc, INRIA-Microsoft Research Joint Center, Orsay
* Burcin Erocal, Postdoc, TU Kaiserslautern

Practical information
=====================

The lodging for most participants has been covered by the
``Laboratoire de Recherche en Informatique`` d'Orsay and the research network ``Digiteo``. Funding and travel for PHD student and PostDoc was also covered (in conjonction with the Laboratoire de Mathématiques d'Orsay). Food and travel was at the charge of the other participants.


The Tower can accommodate 8-10 people, and if needed there is another
adjacent guest house. Participant can stay from Saturday 4th in the
evening to Saturday 11th in the morning. We will do the cooking
ourselves, so bring along your favorite recipes and dishes! Also
bring along hiking/climbing shoes and music instruments/scores for the
breaks. There will of course be an open wifi and wired internet
connection.

To register, fill in the following form, and send it by e-mail to
Florent Hivert::

    Name:
    Surname:
    will participate to the Thirds Sage-combinat days in Cernay.
    Date of arrival:
    Date of departure:

Coming from downtown Paris to Cernay
====================================

* From Gare Montparnasse: 35 minutes train to Rambouillet + 15 minutes bus to Cernay-la-Ville
* From Chatelet-les-Halles: 45 minutes RER B to Saint-Remy les Chevreuses + 15 minutes bus to Cernay-la-Ville
* `Time tables Saint-Remy <-> Cernay <-> Rambouillet <attachment:HV3903_1.pdf>`_

   There are two bus stops at Cernay. The closest to the gite is Grand'Place.

   BEWARE: there are no bus to Cernay between 7:25am and 12:54am!

* `Map and and aerial photo <http://maps.google.fr/maps?f=q&source=s_q&hl=fr&geocode=&q=Cernay+la+ville&sll=47.15984,2.988281&sspn=17.161007,44.516602&ie=UTF8&ll=48.675731,1.971735&spn=0.004066,0.010868&z=17>`_

We will do some car shuttles from Saint Rémi. Please contact us in
advance to synchronize.

Sage-Combinat days in Orsay

The third Sage-Combinat days in Cernay will hold at Cernay-la-Ville, France, February 6-10 2012, near Orsay, in the south-west of Paris.

Following the *-Combinat tradition I reserved the guest house the tower at Cernay-la-Ville. It is very nice and cosy, 35 minutes train + 15 minutes bus away from downtown Paris. For practical information, see below.

Tentative list of themes

The main goal of this meeting is to gather Sage/Sage-Combinat developers for coding sprints on the following themes:

  • Refactoring of the combinatorics infrastructure (factories, Cythonizing partitions, compositions...)
  • Refactoring of sage.combinat.words and creation of a tiling class (LanguagesAndTilings)
  • Cythonization of many iterators
  • Categories (Morphisms, functorial constructions, optimization, coercion ?)
  • Integration of more Sage-Combinat thematic tutorials into Sage
  • Correct some of the Weirdness
  • Please expand!

Jean-Pierre Flori:

  • I'd love to have a deeper look into the coercion system and its caching mecanism to get a better understanding of it and to solve bug #715.
  • If anyone is interested, we could also have a look at some symbolic issues in pynac (which could be of interest for combinat people).

Vincent Delecroix :

ThierryMonteil:

  • flat surfaces via G-maps (in which state are the Permutations currently? or should we use pointers or existing libs like CGAL ?).
  • need help to build a class TileSet in a good way.
  • having OEIS work again (i have working parsers ready for a while, but would like to have them in a class, not as functions like sloane_search(), maybe the same as the existing for offline oeis ?).
  • word combinatorics : tangent_words as WordPaths ; tangent_analytic_words ; discussion about languages.
  • discussion about implementing Bratelli diagrams.
  • backtracking framework (e.g. a kind of iterator with next() and cut() methods)
  • (svg output)
  • (worksheet database shared among public notebooks)
  • (graph minors)

Nicolas Borie:

  • refactoring of integer vectors using a Cython data structure based on IntClonableArray.
  • design discussion about how getting benefits of categories when implementing a Set with a group action.
  • finalise the implementation of integer vectors modulo the action of a permutation group.
  • Implementation of multivariate polynomials view as a free module over symmetric functions (Harmonic polynomials, Schubert polynomials, Monomials under staircase, Descent monomials ...)

Nicolas M. Thiéry:

We would love to have some hard core Cython and/or Sage developer at hand :-)

Tentative list of participants

  • NicolasBorie, ATER, Orsay
  • FlorentHivert, Prof, LRI, Université Paris Sud XI
  • NicolasThiéry, MdC, Orsay
  • Viviane Pons, graduate student, LIGM, Université Paris-Est
  • ThierryMonteil, CR, Montpellier
  • VincentDelecroix, Postdoc, IMJ, Paris
  • Nathann Cohen, Postdoc, Université Libre de Bruxelles
  • Štěpán Starosta, Ph.D. student, Czech Technical University in Prague
  • Flavia Stan, Postdoc, INRIA-Microsoft Research Joint Center, Orsay
  • Burcin Erocal, Postdoc, TU Kaiserslautern

Practical information

The lodging for most participants has been covered by the Laboratoire de Recherche en Informatique d'Orsay and the research network Digiteo. Funding and travel for PHD student and PostDoc was also covered (in conjonction with the Laboratoire de Mathématiques d'Orsay). Food and travel was at the charge of the other participants.

The Tower can accommodate 8-10 people, and if needed there is another adjacent guest house. Participant can stay from Saturday 4th in the evening to Saturday 11th in the morning. We will do the cooking ourselves, so bring along your favorite recipes and dishes! Also bring along hiking/climbing shoes and music instruments/scores for the breaks. There will of course be an open wifi and wired internet connection.

To register, fill in the following form, and send it by e-mail to Florent Hivert:

Name:
Surname:
will participate to the Thirds Sage-combinat days in Cernay.
Date of arrival:
Date of departure:

Coming from downtown Paris to Cernay

  • From Gare Montparnasse: 35 minutes train to Rambouillet + 15 minutes bus to Cernay-la-Ville

  • From Chatelet-les-Halles: 45 minutes RER B to Saint-Remy les Chevreuses + 15 minutes bus to Cernay-la-Ville

  • Time tables Saint-Remy <-> Cernay <-> Rambouillet

    There are two bus stops at Cernay. The closest to the gite is Grand'Place.

    BEWARE: there are no bus to Cernay between 7:25am and 12:54am!

  • Map and and aerial photo

We will do some car shuttles from Saint Rémi. Please contact us in advance to synchronize.

combinat/SageCombinatDaysCernay2012 (last edited 2014-01-29 23:44:17 by slelievre)