This is an old revision of the document!
Available Extensions
polymake
supports an extension system for writing and maintaining outside the distribution. Please contact the extension's authors if you have questions.
Lattice Polytopes and Toric Geometry
- Silke Horn/Andreas Paffenholz:
- polymake_flint_wrapper Computation of Hermite Normal Form, Smith Normal Form and LLL-reduced lattice bases using the flint library
- Andreas Paffenholz:
- LatticeNormalForm Normal forms of lattice polytopes and lattice equivalence of lattice polytopes
- ntl_wrapper: This extension provides a small interface to lll and lets you compute an lll-reduced lattice basis and a basis of the integer relations of the rows of a matrix.
- polyhedral_adjunction: This extension provides properties and constructions used in DiRocco, Haase, Nill, Paffenholz: Polyhedral Adjunction Theory, arxiv:1105:2415. In particular, it computes the nef value and the Q-codegree of a polytope.
Tropical Geometry
- Michael Joswig, Marta Panizzut, Bernd Sturmfels: Tropical Cubics
- Ewgenij Gawrilow, Michael Joswig, Benjamin Schröter: polytropes
- Simon Hampe: Algorithmic tropical intersection theory (now bundled with polymake)
- Silke Horn: Tropical Oriented Matroids
Integer Programming
- Matthias Walter: With this extension you can test an integer matrix for total unimodularity. If the answer is “no”, it can return the row/column indices of a submatrix with |det| >= 2. It can also test for the related properties (strong) unimodularity, (strong) k-modularity and the Dantzig property. See here for more information on implementation and theory.
Extended Formulations
- Matthias Walter: This extension can compute nonnegative slack matrix factorizations from extended formulations of polytopes and vice versa. See here for more information.
Phylogenetics
- Sven Herrmann: QuasiDec. This extension contains an algorithm for computing the block decomposition of a quasi-median graph obtained from a set of partitions or a sequence alignment.
- Sven Herrmann and Andreas Spillner: CoMRiT. This extensions contains a new application metric introducing finite metric spaces as objects. The core feature is an algorithm to compute a realisation of a finite metric space using the tight-span, as described in Herrmann, Moulton, Spillner: Computing Realizations of Finite Metric Spaces.