Differences between revisions 52 and 73 (spanning 21 versions)
 ⇤ ← Revision 52 as of 2017-02-28 23:13:05 → Size: 5734 Editor: tmonteil 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 18: Line 18: ||<5%> ||<19%:> Tuesday Feb 28 ||<19%:> Wednesday Mar 1 ||<19%:> Thursday Mar 2 ||<19%:> Friday Mar 3 ||<19%>: Saturday Mar 4||||10:00 || || convex hull howto || school activity || coding sprint || coding sprint ||||after lunch || sage sample || autotools, etc || Pexpect || Sage categoris || ? ||||5 pm math talk || group cohomology || Barvinok || max plus || constraints on polytopes || ? ||Flattened alternative presentation (every free slot is made of coding sprint): Every free slot is made of coding sprint Line 28: Line 22: * 14:00 : sage sample   * 17:00 : group cohomology   * 21:00 : autotools * 14:00 : sage sample:how to make a sage package (Matthias)   * 17:00 : group cohomology (Aurel/Marc)   * 21:00 : autotools, make, etc (Matthias) Line 33: Line 27: * afternoon (depending on forecast) : Barvinok   * afternoon (depending on forecast) : hiking the volcanoes * 14:00 - 18:00 : hiking the volcanoes   * 18:30 : Barvinok (integer points in polytopes) (Matthias) Line 37: Line 31: * 14:00 : Pexpect   * 17:00 : max plus * 15:00 : Pexpect (Simon) Line 40: Line 33: * 14:00 : Sage categoris   * 17:00 : constraints on polytopes * 14:00 : Sage categories (Vincent D/Simon) Line 43: Line 35: * 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 Line 44: Line 58: Math talks Unscheduled development/softwares topics: Line 46: Line 60: * group cohomology (Aurel/Marc) * Barvinok (integer points in polytopes) (Matthias) * max plus semigroup (Vincent) * combinatorial and geometrical constraints on polytopes (JP) * ? * sage_input Line 52: Line 62: Development/softwares talks {{{sage: x = polygen(ZZ)sage: K. = NumberField(x^3-2) ; KNumber Field in a with defining polynomial x^3 - 2sage: sage_input(K)ValueError: Can't convert Number Field in a with defining polynomial x^3 - 2 to sage_input form}}} Line 54: Line 70: * sage sample: how to make a sage package (Matthias) * autotools, make, etc (Matthias) * Pexpect (Simon) * convex hull howto (Matthias) * Sage categories (Vincent/Simon) Line 62: Line 74: You can have a look at our list of [[https://trac.sagemath.org/query?keywords=~days84|Sage tickets with days84 tags]] 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 66: 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 73: Line 85: * [[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]]

# 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

• develop interfaces to polytope libraries/softwares (ppl, polymake, etc)
• moving as independent Python packages the Sage interfaces to cdd, ppl, etc (see e.g. pplpy)

• make a generic number field implementation in C/C++ using reantic and libnormaliz

• add mutable polytopes in Sage
• Delaunay/Voronoi polytopes of lattices (-> algorithm for norm form equation)

• release the real embedded number fields library (built on top of antic)

• 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,...
• 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.

• #22420:Meta-ticket: Polytopes, polyhedron and their properties Increase the functionalities of polyhedron class