| Both sides previous revision Previous revision Next revision | Previous revision |
| external_software [2022/03/30 08:14] – [Bundled extensions for polymake] benmuell | external_software [2022/08/29 15:07] (current) – yuruk |
|---|
| |
| These libraries are packed together with the polymake distribution, thanks to license agreements and/or kind allowance of the authors. You don't have to download and install them separately. We are keeping track of their further development and always include the most recent versions available at the moment of making the current polymake release. | These libraries are packed together with the polymake distribution, thanks to license agreements and/or kind allowance of the authors. You don't have to download and install them separately. We are keeping track of their further development and always include the most recent versions available at the moment of making the current polymake release. |
| ** <BOOKMARK:cddlib>''cdd'': Convex hull computations\\ Provides an interface to [[http://www.inf.ethz.ch/personal/fukudak/cdd_home/index.html|cddlib]] (by [[http://www.inf.ethz.ch/personal/fukudak/|Komei Fukuda]], Institute for Operations Research, ETH Zürich). | ** <BOOKMARK:cddlib>''cdd'': Convex hull computations\\ Provides an interface to [[https://github.com/cddlib|cddlib]] (by [[http://www.inf.ethz.ch/personal/fukudak/|Komei Fukuda]], Department of Mathematics and Institute of Theoretical Computer Science, ETH Zürich). |
| .. Contains the double description method (dual Fourier-Motzkin) for convex hull and vertex enumeration, as well as a dual simplex LP solver, both implemented for floating-point and unlimited precision rational numbers. | .. Contains the double description method (dual Fourier-Motzkin) for convex hull and vertex enumeration, as well as a dual simplex LP solver, both implemented for floating-point and unlimited precision rational numbers. |
| ** <BOOKMARK:jreality>''jreality'': Provides an interface to [[http://www3.math.tu-berlin.de/jreality/|jReality]] (by Charles Gunn, Tim Hoffmann, Markus Schmies, Steffen Weissmann et al., [[http://www3.math.tu-berlin.de/geometrie/lab/index.shtml|Geometry Group]], TU Berlin).\\ Needs [[http://ant.apache.org/|ant]] to be built. | ** <BOOKMARK:jreality>''jreality'': Provides an interface to [[http://www3.math.tu-berlin.de/jreality/|jReality]] (by Charles Gunn, Tim Hoffmann, Markus Schmies, Steffen Weissmann et al., [[http://www3.math.tu-berlin.de/geometrie/lab/index.shtml|Geometry Group]], TU Berlin).\\ Needs [[http://ant.apache.org/|ant]] to be built. |
| ** <BOOKMARK:mptopcom>[[https://polymake.org/doku.php/mptopcom|mptopcom]]\\ by [[https://www-alg.ist.hokudai.ac.jp/~skip/|Skip Jordan]], [[http://page.math.tu-berlin.de/~joswig/|Michael Joswig]] and [[http://page.math.tu-berlin.de/~kastner/|Lars Kastner]]. | ** <BOOKMARK:mptopcom>[[https://polymake.org/doku.php/mptopcom|mptopcom]]\\ by [[https://www-alg.ist.hokudai.ac.jp/~skip/|Skip Jordan]], [[http://page.math.tu-berlin.de/~joswig/|Michael Joswig]] and [[http://page.math.tu-berlin.de/~kastner/|Lars Kastner]]. |
| .. mptopcom is a software developed at TU Berlin and Hokkaido University for computing triangulations of point configurations in parallel. | .. mptopcom is a software developed at TU Berlin and Hokkaido University for computing triangulations of point configurations in parallel. |
| | ** <BOOKMARK:plantri>[[https://users.cecs.anu.edu.au/~bdm/plantri/|plantri]] (version 5.3)\\ by Gunnar Brinkmann, and [[http://users.cecs.anu.edu.au/~bdm/|Brendan McKay]]. |
| | .. Generates the isomorphism classes of planar triangulations that are imbedded on the sphere. |
| ** <BOOKMARK:porta>[[http://www.iwr.uni-heidelberg.de/groups/comopt/software/PORTA/|PORTA]] (version 1.3.2)\\ by Thomas Christoph and Andreas Loebel, ZIB / Universität Heidelberg. | ** <BOOKMARK:porta>[[http://www.iwr.uni-heidelberg.de/groups/comopt/software/PORTA/|PORTA]] (version 1.3.2)\\ by Thomas Christoph and Andreas Loebel, ZIB / Universität Heidelberg. |
| .. An implementation of Fourier-Motzkin elimination. This program seems not to be further developed nor maintained any more; moreover, the limited precision arithmetic used in it makes it fail in ways hard to predict or analyze. This is why its use is heavily **deprecated**. We offer an interface mostly for historical reasons. | .. An implementation of Fourier-Motzkin elimination. This program seems not to be further developed nor maintained any more; moreover, the limited precision arithmetic used in it makes it fail in ways hard to predict or analyze. This is why its use is heavily **deprecated**. We offer an interface mostly for historical reasons. |