Polytopes and realizations with Sage and SCIP

Acknowledgements of Support

• SFB 109 (Funding A03)
• OpenDream Kit (Funding programmers and workshops)
• Institute for Mathematics and its Applications (USA) (Funding workshops)
• Mathematiches Forschungsinstitut Oberwolfach (Funding Research in Pairs)

They support research in polyhedral geometry and optimization by helping to build bridges between a variety of specialized mathematical computer softwares.

Previous Workshops

Sage Days 79

November 2016 (Hebrew University Jerusalem)

https://wiki.sagemath.org/days79

Sage Days 84

February 2017 (Olot, Spain)

https://wiki.sagemath.org/days84

Developers of Sage, Latte and Polymake gathered to develop an interface to Polymake in Sage.

http://doc.sagemath.org/html/en/reference/interfaces/sage/interfaces/polymake.html

Key aspect: A transdisciplinary team (dynamical systems, algebraic number theory, optimization, discrete geometry, physics, symbolic dynamics, homology theory.

• Vincent Delecroix (LaBRI - Bordeaux)
• Marc Masdeu (U. Warwick)
• Jean-Philippe Labbé (Freie Universität Berlin)
• Matthias Köppe (UC Davis)
• Moritz Firsching (Freie Universität Berlin)
• Julian Pfeifle (U. Politècnica de Catalunya)
• Marcelo Forets (VERIMAG - U. Grenoble)
• Aurel Page (U. Warwick)
• Andreas Paffenholz (Technische U. Darmstadt)
• Vincent Klein (Bordeaux)
• Thierry Monteil (CNRS, Univ. Paris North)
• Simon King (FSU Jena)

SageMath Coding Sprints

August 2017 and March 2018 (IMA, Minneapolis, USA)

https://www.ima.umn.edu/2017-2018.2

Key aspect: toward a (fast!) algebraic polytopes using Normaliz, SCIP backend to MILP, Polymake

• Moritz Firsching
• Jean-Philippe Labbé
• Matthias Köppe
• Sebastian Gutsche
• Winfried Bruns

Encuentro Colombiano de Combinatoria ECCO 2018

June 2018 (Barranquilla, Colombia)

• Viviane Pons

Learn about polyhedral geometry using Sage, following a course given by Günter M. Ziegler (A03).

Upcoming 2019:

Oberwolfach RiP (April-May 2019)

• More interface of normaliz and polymake in sage
• release of fast qnormaliz/e-antic computations inside sage
• Improvement of the internals
• YOUR WISH!

Roadmap on Optimization and Polyhedral Geometry in Sage

https://wiki.sagemath.org/OptiPolyGeom

Worksheets

Sage Presentation

Here is a short presentation about Sage

Demonstration

Let's see a first step worksheet (thanks to Adrien Boussicault):

A polytope playground

Let's play around with polytopes (thanks to Moritz Firsching):

A polytope tutorial

A polytope tutorial:

This tutorial is available as an online tutorial.

There are other tutorials available here

Polytopal realization with scip

Packing unfoldings of the cube with integer programming