Differences between revisions 17 and 73 (spanning 56 versions)
Revision 17 as of 2017-01-07 20:10:34
Size: 2306
Editor: vdelecroix
Comment:
Revision 73 as of 2017-03-06 21:44:46
Size: 6517
Editor: tmonteil
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
= Sage Days 84 : Polytopes in Sage = = Sage Days 84 : Polytopes (in Sage, Python, polymake and more) =
Line 3: Line 3:
'''''February 27th - March 12th 2017''''' '''''February 27th - March 10th 2017'''''
Line 12: Line 12:
== Coming to Olot == == Practical information ==
Line 14: Line 14:
The Sage Days will happen at [[http://faberresidency.com/|FABER]] in [[http://www.openstreetmap.org/#map=14/42.1772/2.4901|Olot]]. It is a small town close to Girona (55km) and Barcelona (110km). To reach Olot there are at least two options: The Sage Days will happen at [[http://faberresidency.com/|FABER]] in [[http://www.openstreetmap.org/#map=14/42.1772/2.4901|Olot]]. It is a small town close to Girona (55km) and Barcelona (110km). You can find very detailed practical information about how to reach Faber [[http://www.warwick.ac.uk/mmasdeu/files/faber_information.pdf|HERE]].
Line 16: Line 16:
 * [[http://www.teisa-bus.com/es/horarios|buses TEISA]] from either Girona or Barcelona
 * [[http://www.viesverdes.cat/FR/53/route-du-petit-train-i.html|nice bike path from Girona]]
== Schedule ==

Every free slot is made of coding sprint

 * Tuesday Feb 28
   * 09:00 : organization meeting
   * 14:00 : sage sample:how to make a sage package (Matthias)
   * 17:00 : group cohomology (Aurel/Marc)
   * 21:00 : autotools, make, etc (Matthias)
 * Wednesday Mar 1
   * 10:00 : convex hull howto
   * 14:00 - 18:00 : hiking the volcanoes
   * 18:30 : Barvinok (integer points in polytopes) (Matthias)
 * Thursday Mar 2
   * 10:00 : school activity
   * 15:00 : Pexpect (Simon)
 * Friday Mar 3
   * 14:00 : Sage categories (Vincent D/Simon)
 * Saturday Mar 4
   * 10:00 : Guessing solutions of polynomial systems (Moritz)
   * PM: Whatever!
 * Sunday Mar 5
   * 11:00 : combinatorial and geometrical constraints on polytopes (JP)
   * 17:00 : Math talk, fun with SCIP
 * Monday Mar 6
   * 11:00 : max plus semigroup (Vincent D)
   * 17:00 : representations of real numbers in Sage (Thierry)
   * 18:30 : second-week scedule
   * 22:30 : speed dating: rst2ipynb (Thierry)
   * 22:30 : speed dating : sage_input
 * Tuesday Mar 7
   * 09:00 : school activity
   * 10:00 : Polymake tutorial (Andreas)
   * 17:00 : Magma interface (Marc)
 * Wednesday Mar 8
   * 10:00 : school activity
   * 14:00 (after lunch): Toric geometry crash course (Andreas)
   * 17:00 : A max-plus challenge (Vincent)
 * Thursday Mar 9
   * 10:00 : Hike La Fageda
   * 14:00 : Rice lunch

Unscheduled development/softwares topics:

 * sage_input

{{{
sage: x = polygen(ZZ)
sage: K.<a> = NumberField(x^3-2) ; K
Number Field in a with defining polynomial x^3 - 2
sage: sage_input(K)
ValueError: Can't convert Number Field in a with defining polynomial x^3 - 2 to sage_input form
}}}

Line 21: Line 74:
You can have a look at our list of [[https://trac.sagemath.org/query?status=closed&status=needs_info&status=needs_review&status=needs_work&status=new&status=positive_review&keywords=~days84&col=id&col=summary&col=status&col=time&col=changetime&col=author&col=reviewer&order=status|Sage tickets with days84 tags]]
Line 23: Line 78:
 * make a generic number field implementation in C/C++ using normaliz  * make a generic number field implementation in C/C++ using [[https://github.com/videlec/e-antic|reantic]] and [[https://www.normaliz.uni-osnabrueck.de/|libnormaliz]]
Line 25: Line 80:
 * Delaunay/Voronoi polytopes of lattices (-> algorithm for norm form equation)
Line 28: Line 84:
 * [[https://trac.sagemath.org/ticket/18703|#18703: oriented matroids]]
 * [[https://trac.sagemath.org/ticket/22452|#22452: Create a Polymake pexpect interface]] which depends on [[https://trac.sagemath.org/ticket/22452|#22501: Make it easier to customize pexpect interfaces]]
 * release the [[https://github.com/videlec/e-antic|real embedded number fields library]] (built on top of antic)
 * [[https://trac.sagemath.org/ticket/21950|#21950: Add pulling_triangulation method to polyhedron class and point configuration]]
 * Uniform random generation of integer points in polytopes
 * Survey existent maintained Python bindings to MILP solvers, and see if we could use them instead of our own, those include pyomo, pulp, numberjack,...
 * [[http://doc.sagemath.org/html/en/reference/geometry/sage/geometry/hasse_diagram.html|Atomic and Coatomic lattice]] Refactor this function so that it returns a lattice and so that you can input only one of the two incidences.
 * [[https://trac.sagemath.org/ticket/22420| #22420:Meta-ticket: Polytopes, polyhedron and their properties]] Increase the functionalities of polyhedron class
Line 32: Line 96:
 * [[http://www.labri.fr/perso/vdelecro/|Vincent Delecroix]]
 * [[http://warwick.ac.uk/mmasdeu/|Marc Masdeu]]
 * Jean-Philippe Labbé
 * [[https://www.math.ucdavis.edu/~mkoeppe/|Matthias Köppe]]
 * Moritz Firsching
 * Simon King (dates to be confirmed)
 * Julian Pfeifle (length of stay to be confirmed)
 * [[http://www.labri.fr/perso/vdelecro/|Vincent Delecroix (LaBRI - Bordeaux)]] (February 27th - March 11th)
 * [[http://warwick.ac.uk/mmasdeu/|Marc Masdeu (U. Warwick)]] (February 27th - March 10th)
 * [[http://page.mi.fu-berlin.de/labbe/|Jean-Philippe Labbé (Freie Universität Berlin)]] (February 27th - March 10th)
 * [[https://www.math.ucdavis.edu/~mkoeppe/|Matthias Köppe (UC Davis)]] (February 27th - March 11th)
 * [[https://page.mi.fu-berlin.de/moritz/|Moritz Firsching (Freie Universität Berlin)]] (March 3rd - March 8th)
 * [[https://mat.upc.edu/en/people/julian.pfeifle/|Julian Pfeifle (U. Politècnica de Catalunya)]] (March 6th - March 10th)
 * [[http://marcelo-forets.fr/|Marcelo Forets (VERIMAG - U. Grenoble)]] (March 5th - March 11th)
 * [[http://www.normalesup.org/~page/|Aurel Page (U. Warwick)]] (February 27th - March 3rd)
 * [[http://www.mathematik.tu-darmstadt.de/~paffenholz/|Andreas Paffenholz (Technische U. Darmstadt)]] (March 6th - March 11th)
 * Vincent Klein (Bordeaux, March 3rd - March 10th)
 * ThierryMonteil (CNRS, Univ. Paris North, February 27th - March 7th)
 * [[http://users.minet.uni-jena.de/~king/eindex.html|Simon King (FSU Jena)]] (February 27th - March 11th)

Sage Days 84 : Polytopes (in Sage, Python, polymake and more)

February 27th - March 10th 2017 Olot, Catalunya, Spain

These (Sage) days will be focused on Polytopes and linear programming. This workshop is dedicated to people already familiar with Sage or being active in some polytope related libraries/software.

There is a very limited number of places. If you are interested get quickly in contact with Vincent Delecroix (vincentDOTdelecroixATuDASHbordeaux.fr).

During the workshop participants will have to cook several times for everybody. Bring your favorite recipies!

Practical information

The Sage Days will happen at FABER in Olot. It is a small town close to Girona (55km) and Barcelona (110km). You can find very detailed practical information about how to reach Faber HERE.

Schedule

Every free slot is made of coding sprint

  • Tuesday Feb 28
    • 09:00 : organization meeting
    • 14:00 : sage sample:how to make a sage package (Matthias)
    • 17:00 : group cohomology (Aurel/Marc)
    • 21:00 : autotools, make, etc (Matthias)
  • Wednesday Mar 1
    • 10:00 : convex hull howto
    • 14:00 - 18:00 : hiking the volcanoes
    • 18:30 : Barvinok (integer points in polytopes) (Matthias)
  • Thursday Mar 2
    • 10:00 : school activity
    • 15:00 : Pexpect (Simon)
  • Friday Mar 3
    • 14:00 : Sage categories (Vincent D/Simon)
  • Saturday Mar 4
    • 10:00 : Guessing solutions of polynomial systems (Moritz)
    • PM: Whatever!
  • Sunday Mar 5
    • 11:00 : combinatorial and geometrical constraints on polytopes (JP)
    • 17:00 : Math talk, fun with SCIP
  • Monday Mar 6
    • 11:00 : max plus semigroup (Vincent D)
    • 17:00 : representations of real numbers in Sage (Thierry)
    • 18:30 : second-week scedule
    • 22:30 : speed dating: rst2ipynb (Thierry)
    • 22:30 : speed dating : sage_input
  • Tuesday Mar 7
    • 09:00 : school activity
    • 10:00 : Polymake tutorial (Andreas)
    • 17:00 : Magma interface (Marc)
  • Wednesday Mar 8
    • 10:00 : school activity
    • 14:00 (after lunch): Toric geometry crash course (Andreas)
    • 17:00 : A max-plus challenge (Vincent)
  • Thursday Mar 9
    • 10:00 : Hike La Fageda
    • 14:00 : Rice lunch

Unscheduled development/softwares topics:

  • sage_input

sage: x = polygen(ZZ)
sage: K.<a> = NumberField(x^3-2) ; K
Number Field in a with defining polynomial x^3 - 2
sage: sage_input(K)
ValueError: Can't convert Number Field in a with defining polynomial x^3 - 2 to sage_input form

Projects

You can have a look at our list of Sage tickets with days84 tags

Participants

Acknowledgment

This workshop is supported by the H2020 European Project OpenDreamKit

days84 (last edited 2017-03-06 21:44:46 by tmonteil)