extensions

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Next revisionBoth sides next revision
extensions [2014/01/12 15:55] – typo silkeextensions [2019/12/17 10:11] benmuell
Line 1: Line 1:
 ====== Available Extensions ====== ====== Available Extensions ======
  
-''polymake'' supports an [[reference/extensions|extension system]] for writing and maintaining outside the distribution.  Please contact the extension's authors if you have questions.+''polymake'' supports an [[user_guide:extend:extensions|extension system]] for writing and maintaining outside the distribution.  Please contact the extension's authors if you have questions.
  
 ===== Lattice Polytopes and Toric Geometry ===== ===== Lattice Polytopes and Toric Geometry =====
  
-  * Silke Horn: [[http://solros.de/polymake/poly_db|poly_db]]. Access to the [[data|polymake polytope database]]. +  * Silke Horn/Andreas Paffenholz
-      releases and other information: [[http://solros.de/polymake/poly_db|poly_db]] +    * //[[https://github.com/apaffenholz/lattice_normalization|lattice_normalization]]// Normal forms of lattice polytopes and lattice equivalence of lattice polytopes 
-      * latest: [[http://github.com/solros/poly_db|github]] +    * //[[https://github.com/apaffenholz/polymake_flint_wrapper|polymake_flint_wrapper]]// Computation of Hermite Normal Form, Smith Normal Form and LLL-reduced lattice bases using the [[http://flintlib.org/|flint]] library
- +
-  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]]+
  
   * Andreas Paffenholz:   * Andreas Paffenholz:
-    * //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. +    * //[[https://github.com/apaffenholz/polymake_ntl_wrapper|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. 
-       for polymake version 2.12:[[http://www.mathematik.tu-darmstadt.de/~paffenholz/software.html|lll-v0.6]] +    * //[[https://github.com/apaffenholz/polymake_polyhedral_adjunction|polyhedral_adjunction]]//: This extension provides properties and constructions used in [[http://arxiv.org/abs/1105.2415|DiRocco, Haase, Nill, Paffenholz: Polyhedral Adjunction Theory, arxiv:1105:2415]]. In particular, it computes the nef value and the Q-codegree of a polytope.
-       * for polymake svn version:[[http://www.mathematik.tu-darmstadt.de/~paffenholz/software.html|ntl_wrapper.tgz]] +
-       * latest:[[https://github.com/apaffenholz/polymake_ntl_wrapper|github]] +
-    * //polyhedral_adjunction//: This extension provides properties and constructions used in [[http://arxiv.org/abs/1105.2415|DiRocco, Haase, Nill, Paffenholz: Polyhedral Adjunction Theory, arxiv:1105:2415]]. In particular, it computes the nef value and the Q-codegree of a polytope. +
-       * polymake 2.12: [[http://www.mathematik.tu-darmstadt.de/~paffenholz/software.html|polyhedral_adjunction.tgz]] +
-       * latest:[[https://github.com/apaffenholz/polymake_polyhedral_adjunction|github]]+
     * //Toric Varieties//: Defines a new property for toric varieties associated to a fan and divisors on that variety. Computes properties of the variety and the divisors, and the cone of nef and effective divisors. To use this extension you need the short lattice basis extension above.      * //Toric Varieties//: Defines a new property for toric varieties associated to a fan and divisors on that variety. Computes properties of the variety and the divisors, and the cone of nef and effective divisors. To use this extension you need the short lattice basis extension above. 
        * polymake 2.12: [[http://www.mathematik.tu-darmstadt.de/~paffenholz/software.html|ToricVarieties-v0.5]]        * polymake 2.12: [[http://www.mathematik.tu-darmstadt.de/~paffenholz/software.html|ToricVarieties-v0.5]]
     * //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]]
-    * //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.  
-       * polymake 2.12: [[http://www.mathematik.tu-darmstadt.de/~paffenholz/software.html|projection_with_subdivision.tgz]] +    * {{: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.
-       * latest: [[https://github.com/apaffenholz/polymake_projectionWithSubdivision|github]] +
-    * {{: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.+
  
 ===== Tropical Geometry ===== ===== Tropical Geometry =====
  
-  * Simon Hampe: [[https://bitbucket.org/hampe/atint/|Algorithmic tropical intersection theory]]+  * Michael Joswig, Marta Panizzut, Bernd Sturmfels: [[extensions:tropicalcubics|Tropical Cubics]] 
 +  * 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]]
 ===== Integer Programming ===== ===== Integer Programming =====
  
-  * Matthias Walter: With [[http://github.com/xammy/unimodularity-test/wiki/Polymake-Extension|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 [[http://www.math.uni-magdeburg.de/~walter/TUtest/|here]] for more information on implementation and theory.+  * Matthias Walter: With [[http://github.com/xammy/unimodularity-test/wiki/Polymake-Extension|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 [[http://matthiaswalter.org/TUtest/|here]] for more information on implementation and theory.
  
 ===== Extended Formulations ===== ===== Extended Formulations =====
Line 42: Line 32:
   * 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.
   * Sven Herrmann and Andreas Spillner: [[http://www.uea.ac.uk/computing/comrit|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.   * Sven Herrmann and Andreas Spillner: [[http://www.uea.ac.uk/computing/comrit|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.
  
-===== Other ===== 
  
-  * Silke Horn: [[http://solros.de/polymake/poly_db|poly_db]]. Access to the [[data|polymake polytope database]]. 
-      * releases and other information: [[http://solros.de/polymake/poly_db|poly_db]] 
-      * latest: [[http://github.com/solros/poly_db|github]] 
  
  • extensions.txt
  • Last modified: 2021/12/07 13:20
  • by panizzut