external_software

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
Last revisionBoth sides next revision
external_software [2022/03/30 08:14] – availability of interfaces benmuellexternal_software [2022/08/29 15:06] yuruk
Line 22: Line 22:
  
 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.
   .. High-end visualization in 3D (experimental). A stable snapshot of jReality source code is bundled with polymake.  You don't need to download it separately unless you will try a most recent version of it.   .. High-end visualization in 3D (experimental). A stable snapshot of jReality source code is bundled with polymake.  You don't need to download it separately unless you will try a most recent version of it.
-  .. **Packages:** This interface usually disabled when installing polymake via the package manager (on Debian, Fedora, Gentoo, macOS (brew + bundle), Ubuntu).+  .. **Packages:** This interface is usually disabled when installing polymake via the package manager (on Debian, Fedora, Gentoo, macOS (brew + bundle), Ubuntu).
   ** <BOOKMARK:Normaliz>''libnormaliz'': Computations with affine monoids.\\ Provides an interface to [[https://www.normaliz.uni-osnabrueck.de|Normaliz]] (by [[http://www.home.uni-osnabrueck.de/wbruns/|Winfried Bruns]], Bogdan Ichim and Christof Söger).   ** <BOOKMARK:Normaliz>''libnormaliz'': Computations with affine monoids.\\ Provides an interface to [[https://www.normaliz.uni-osnabrueck.de|Normaliz]] (by [[http://www.home.uni-osnabrueck.de/wbruns/|Winfried Bruns]], Bogdan Ichim and Christof Söger).
   .. Normaliz is a tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones. Since version 2.8 it comes with a very fast parallelized algorithm for lattice point enumeration.   .. Normaliz is a tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones. Since version 2.8 it comes with a very fast parallelized algorithm for lattice point enumeration.
Line 104: Line 104:
   ** <BOOKMARK:vinci>[[http://www.math.u-bordeaux1.fr/~enge/index.php?category=software&page=vinci|vinci]] (version 1.0.5)\\ by Benno Büeler, [[http://www.math.u-bordeaux1.fr/~enge/|Andreas Enge]], and [[http://www.inf.ethz.ch/personal/fukudak/|Komei Fukuda]].   ** <BOOKMARK:vinci>[[http://www.math.u-bordeaux1.fr/~enge/index.php?category=software&page=vinci|vinci]] (version 1.0.5)\\ by Benno Büeler, [[http://www.math.u-bordeaux1.fr/~enge/|Andreas Enge]], and [[http://www.inf.ethz.ch/personal/fukudak/|Komei Fukuda]].
   .. Computes the volume of polytopes using floating point arithmetic.    .. Computes the volume of polytopes using floating point arithmetic. 
 +  ** <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.
 Note: Version numbers given in the descriptions are not binding. These are the latest versions that we are aware of and proven to work with polymake. You are free to use other versions as long as the backward compatibility (API and/or interchange file format, whatever appropriate) is preserved. Note: Version numbers given in the descriptions are not binding. These are the latest versions that we are aware of and proven to work with polymake. You are free to use other versions as long as the backward compatibility (API and/or interchange file format, whatever appropriate) is preserved.
  • external_software.txt
  • Last modified: 2022/08/29 15:07
  • by yuruk