| Both sides previous revision Previous revision Next revision | Previous revision Next revisionBoth sides next revision |
| extensions [2019/05/16 09:16] – [Integer Programming] mradons | extensions [2020/03/18 12:36] – joswig |
|---|
| |
| ===== Lattice Polytopes and Toric Geometry ===== | ===== Lattice Polytopes and Toric Geometry ===== |
| |
| * Lars Kastner/Benjamin Lorenz: [[https://github.com/lkastner|Toric Varieties and Singular interface]] | |
| |
| * Benjamin Lorenz: [[http://ehrhart.math.fu-berlin.de/people/benmuell/classification.html|classification of smooth lattice polytopes with few lattice points]] | |
| |
| * Silke Horn/Andreas Paffenholz: | * Silke Horn/Andreas Paffenholz: |
| * //defect polytopes//: This extension allows computations used in [[http://arxiv.org/abs/1105.5027|Joswig, Paffenholz: Defect Polytopes and Counter-Examples with polymake, arxiv:1105:5027]] | * //defect polytopes//: This extension allows computations used in [[http://arxiv.org/abs/1105.5027|Joswig, Paffenholz: Defect Polytopes and Counter-Examples with polymake, arxiv:1105:5027]] |
| * polymake 2.12: [[http://www.mathematik.tu-darmstadt.de/~paffenholz/software.html|DefectPolytopes-v0.1]] | * polymake 2.12: [[http://www.mathematik.tu-darmstadt.de/~paffenholz/software.html|DefectPolytopes-v0.1]] |
| * //[[https://github.com/apaffenholz/polymake_projectionWithSubdivision|projection_with_subdivision]]//: Projections of smooth polytopes together with the hyperplane subdivision implied by the facets. | * //[[https://github.com/apaffenholz/polymake_projection_with_subdivision|projection_with_subdivision]]//: Projections of smooth polytopes together with the hyperplane subdivision implied by the facets. |
| * {{:download:barvinok-extension-1.0.tar.bz2}}\\ This extension lets you use [[http://www.kotnet.org/~skimo/barvinok/|barvinok]] by Sven Verdolaege for the computation of the number of lattice points in a rational polytope and the coefficients of the Ehrhart polynomial of a lattice polytope. | * {{:download:barvinok-extension-1.0.tar.bz2}}\\ This extension lets you use [[http://barvinok.gforge.inria.fr/|barvinok]] by Sven Verdolaege for the computation of the number of lattice points in a rational polytope and the coefficients of the Ehrhart polynomial of a lattice polytope. |
| |
| ===== Tropical Geometry ===== | ===== Tropical Geometry ===== |
| |
| | * Michael Joswig, Marta Panizzut, Bernd Sturmfels: [[extensions:tropicalcubics|Tropical Cubics]] |
| | * Ewgenij Gawrilow, Michael Joswig, Benjamin Schröter: [[extensions:polytropes|polytropes]] |
| * Simon Hampe: [[https://github.com/simonhampe/atint|Algorithmic tropical intersection theory]] (now bundled with polymake) | * Simon Hampe: [[https://github.com/simonhampe/atint|Algorithmic tropical intersection theory]] (now bundled with polymake) |
| * Silke Horn: [[http://solros.de/polymake/tropmat/|Tropical Oriented Matroids]] | * Silke Horn: [[http://solros.de/polymake/tropmat/|Tropical Oriented Matroids]] |
| * Matthias Walter: [[https://github.com/xammy/polymake-extended-formulations|This extension]] can compute nonnegative slack matrix factorizations from extended formulations of polytopes and vice versa. See [[https://github.com/xammy/polymake-extended-formulations/wiki|here]] for more information. | * Matthias Walter: [[https://github.com/xammy/polymake-extended-formulations|This extension]] can compute nonnegative slack matrix factorizations from extended formulations of polytopes and vice versa. See [[https://github.com/xammy/polymake-extended-formulations/wiki|here]] for more information. |
| |
| ===== Phylogentics ===== | ===== Phylogenetics ===== |
| |
| * Sven Herrmann: [[http://www.uea.ac.uk/computing/quasidec|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: [[http://www.uea.ac.uk/computing/quasidec|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. |