961
Comment:

← Revision 73 as of 20170306 21:44:46 ⇥
6517

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''''' '''''Probably Olot, Spain''''' 
'''''February 27th  March 10th 2017''''' '''''[[http://www.openstreetmap.org/#map=14/42.1772/2.4901Olot, Catalunya, Spain]]''''' 
Line 6:  Line 6: 
<<TableOfContents()>> These Sage days will be focused on the development of the interface to polytopes libraries (ppl, polymake, etc) as well as the creation of a generic number field implementation in C/C++. This workshop is dedicated to people already familiar to Sage or being active in some polytope related libraries/softwares. 
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. 
Line 14:  Line 12: 
== Practical information == The Sage Days will happen at [[http://faberresidency.com/FABER]] in [[http://www.openstreetmap.org/#map=14/42.1772/2.4901Olot]]. 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.pdfHERE]]. == 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 : secondweek 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 maxplus 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^32) ; 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 [[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=statusSage 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. [[https://pypi.python.org/pypi/pplpy/pplpy]]) * make a generic number field implementation in C/C++ using [[https://github.com/videlec/eanticreantic]] and [[https://www.normaliz.uniosnabrueck.de/libnormaliz]] * add mutable polytopes in Sage * Delaunay/Voronoi polytopes of lattices (> algorithm for norm form equation) * [[https://trac.sagemath.org/ticket/22006#22006: CBC tries to use system's blas at runtime which creates an error]] * [[https://trac.sagemath.org/ticket/20875#20875: Metaticket: Polytopes, lattice (integer) point counting / enumeration, and their applications]] * [[https://trac.sagemath.org/ticket/20302#20302: Metaticket: Improvements to MixedIntegerLinearProgram etc.]] * [[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/eanticreal 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.htmlAtomic 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:Metaticket: Polytopes, polyhedron and their properties]] Increase the functionalities of polyhedron class * ... (add your project!) 

Line 16:  Line 96: 
* [[http://www.labri.fr/perso/vdelecro/Vincent Delecroix]] is a researcher in ergodic theory, geometry and combinatorics on words. * Marc Masdeu * JeanPhilippe Labbé * Matthias Köppe * Moritz Firsching 
* [[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.fuberlin.de/labbe/JeanPhilippe 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.fuberlin.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://marceloforets.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.tudarmstadt.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.unijena.de/~king/eindex.htmlSimon King (FSU Jena)]] (February 27th  March 11th) == Acknowledgment == This workshop is supported by the H2020 European Project [[http://opendreamkit.org/OpenDreamKit]] 
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 : secondweek 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 maxplus 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^32) ; 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)
#22006: CBC tries to use system's blas at runtime which creates an error
#20302: Metaticket: Improvements to MixedIntegerLinearProgram etc.
#22452: Create a Polymake pexpect interface which depends on #22501: Make it easier to customize pexpect interfaces
release the real embedded number fields library (built on top of antic)
#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,...
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:Metaticket: Polytopes, polyhedron and their properties Increase the functionalities of polyhedron class
 ... (add your project!)
Participants
Vincent Delecroix (LaBRI  Bordeaux) (February 27th  March 11th)
Marc Masdeu (U. Warwick) (February 27th  March 10th)
JeanPhilippe Labbé (Freie Universität Berlin) (February 27th  March 10th)
Matthias Köppe (UC Davis) (February 27th  March 11th)
Moritz Firsching (Freie Universität Berlin) (March 3rd  March 8th)
Julian Pfeifle (U. Politècnica de Catalunya) (March 6th  March 10th)
Marcelo Forets (VERIMAG  U. Grenoble) (March 5th  March 11th)
Aurel Page (U. Warwick) (February 27th  March 3rd)
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)
Simon King (FSU Jena) (February 27th  March 11th)
Acknowledgment
This workshop is supported by the H2020 European Project OpenDreamKit