Both sides previous revision Previous revision Next revision | Previous revision Next revisionBoth sides next revision |
external_software [2019/03/21 11:05] – fix roberts stuff benmuell | external_software [2019/04/25 09:36] – mradons |
---|
** <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).\\ **Note:** This interface can also work with an installed version instead of the bundled code. | ** <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).\\ **Note:** This interface can also work with an installed version instead of the bundled code. |
.. 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. |
| .. 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. |
| ** <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).\\ **Note:** This interface can also work with an installed version instead of the bundled code. |
| .. 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. |
** <BOOKMARK:lrslib>''lrs'': Convex hull computations\\ Provides an interface to [[http://cgm.cs.mcgill.ca/~avis/C/lrs.html|lrslib]] (by [[http://cgm.cs.mcgill.ca/~avis/|David Avis]], McGill University).\\ **Note:** This interface can also work with an installed version instead of the bundled code. | ** <BOOKMARK:lrslib>''lrs'': Convex hull computations\\ Provides an interface to [[http://cgm.cs.mcgill.ca/~avis/C/lrs.html|lrslib]] (by [[http://cgm.cs.mcgill.ca/~avis/|David Avis]], McGill University).\\ **Note:** This interface can also work with an installed version instead of the bundled code. |
.. Contains the reverse search method of Avis and Fukuda, and a primal simplex LP solver, both using unlimited precision arithmetic. | .. Contains the reverse search method of Avis and Fukuda, and a primal simplex LP solver, both using unlimited precision arithmetic. |
** <BOOKMARK:nauty> ''nauty'': Computing of automorphism groups of graphs\\ Provides an interface to [[http://cs.anu.edu.au/~bdm/nauty/|nauty]] (version 2.5r9)\\ by [[http://cs.anu.edu.au/~bdm/|Brendan McKay]], Australian National University.\\ **Note:** This interface can also work with a custom source directory instead of the bundled code, since 3.0r2.\\ Alternative: bliss | ** <BOOKMARK:nauty> ''nauty'': Computing of automorphism groups of graphs\\ Provides an interface to [[http://cs.anu.edu.au/~bdm/nauty/|nauty]] (version 2.5r9)\\ by [[http://cs.anu.edu.au/~bdm/|Brendan McKay]], Australian National University.\\ **Note:** This interface can also work with a custom source directory instead of the bundled code, since 3.0r2.\\ Alternative: bliss |
.. Computes automorphism groups of graphs. ''polymake'' uses it for checking combinatorial equivalence and congruence of polytopes as well as isomorphy of graphs. | .. Computes automorphism groups of graphs. ''polymake'' uses it for checking combinatorial equivalence and congruence of polytopes as well as isomorphy of graphs. |
** <BOOKMARK:sympol>''sympol'': Dealing with symmetric polytopes\\ Provides an interface to [[http://www.math.uni-rostock.de/~rehn/software/sympol.html|SymPol]] (by [[http://www.math.uni-rostock.de/~rehn/|Thomas Rehn]] and [[http://www.mathematik.uni-rostock.de/lehrstuehle/geometrie/people/|Achill Schürmann]]). | ** <BOOKMARK:sympol>''sympol'': Dealing with symmetric polytopes\\ Provides an interface to [[http://www.math.uni-rostock.de/~rehn/software/sympol.html|SymPol]] (by [[http://www.math.uni-rostock.de/~rehn/|Thomas Rehn]] and [[https://www.mathematik.uni-rostock.de/struktur/professuren-apl-prof/geometrie/people/achill/|Achill Schürmann]]). |
** <BOOKMARK:Normaliz>''libnormaliz'': Computations with affine monoids.\\ Provides an interface to [[https://www.normaliz.uni-osnabrueck.de|Normaliz]] (by [[http://www.mathematik.uni-osnabrueck.de/index.php?controller=studip&action=data&id=person_detail&username=wbruns|Winfried Bruns]], Bogdan Ichim and Christof Söger).\\ **Note:** This interface can also work with an installed version instead of the bundled code. | |
.. 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. | |
** <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. | |
| |
=== Bare interfaces === | === Bare interfaces === |
| |
** <BOOKMARK:bliss> ''bliss'': Computing of automorphism groups of graphs\\ Provides an interface to [[http://www.tcs.hut.fi/Software/bliss/|bliss]] (by [[http://users.ics.aalto.fi/tjunttil/|Tommi Junttila]] and [[http://users.ics.aalto.fi/pkaski/|Petteri Kaski]]).\\ Requires headers to be installed in a subfolder ''bliss'' in the include directory, as in the debian package.\\ Alternative: nauty | ** <BOOKMARK:bliss> ''bliss'': Computing of automorphism groups of graphs\\ Provides an interface to [[http://www.tcs.hut.fi/Software/bliss/|bliss]] (by [[http://users.ics.aalto.fi/tjunttil/|Tommi Junttila]] and [[http://users.ics.aalto.fi/pkaski/|Petteri Kaski]]).\\ Requires headers to be installed in a subfolder ''bliss'' in the include directory, as in the debian package.\\ Alternative: nauty |
** <BOOKMARK:PPL> ''ppl'': a modern C++ library for the manipulation of numerical information that can be represented by points in some n-dimensional vector space\\ Provides an interface to the [[http://bugseng.com/products/ppl|Parma Polyhedra Library]] (by [[http://www.cs.unipr.it/~bagnara/|Roberto Bagnara]] et al) | |
** <BOOKMARK:Singular> ''singular'': Working with Gröbner bases\\ Provides an interface to [[http://www.singular.uni-kl.de/|Singular]] (by [[http://www.mathematik.uni-kl.de/~decker/de/index.html|Wolfram Decker]], [[http://www.mathematik.uni-kl.de/~greuel/en/|Gert-Martin Greuel]], [[http://www.mathematik.uni-kl.de/~pfister/en/|Gerhard Pfister]], and [[http://www.mathematik.uni-kl.de/~hannes/en/|Hans Schönemann]]).\\ Please check the [[install:installsingular|installation details]] for the bundled extension ''singular''. | |
** <BOOKMARK:SoPlex> ''soplex'': SoPlex is an optimization package for solving linear programming problems (LPs) based on an advanced implementation of the primal and dual revised simplex algorithm. \\ Provides an interface to [[http://soplex.zib.de/|SoPlex]] (by Roland Wunderling, [[http://www.zib.de/members/gleixner|Ambros Gleixner]], [[http://www.zib.de/members/miltenberger|Matthias Miltenberger]], [[http://www.zib.de/members/benjamin.mueller|Benjamin Müller]] and others).\\ Please build SoPlex with ''GMP=true'' and ''SHARED=true''. | |
** <BOOKMARK:JavaView> ''javaview'': Provides an interface to [[http://www.javaview.de/|JavaView]] (by [[http://page.mi.fu-berlin.de/polthier/|Konrad Polthier]], Felix Kälberer, Samy Khadem, Eike Preuss, Ulrich Reitebuch, Sonderforschungsbereich 288, TU Berlin). | ** <BOOKMARK:JavaView> ''javaview'': Provides an interface to [[http://www.javaview.de/|JavaView]] (by [[http://page.mi.fu-berlin.de/polthier/|Konrad Polthier]], Felix Kälberer, Samy Khadem, Eike Preuss, Ulrich Reitebuch, Sonderforschungsbereich 288, TU Berlin). |
.. Visualizes 3D- and 4D-polytopes (and much more). | .. Visualizes 3D- and 4D-polytopes (and much more). |
| ** <BOOKMARK:PPL> ''ppl'': a modern C++ library for the manipulation of numerical information that can be represented by points in some n-dimensional vector space\\ Provides an interface to the [[http://bugseng.com/products/ppl|Parma Polyhedra Library]] (by [[http://www.cs.unipr.it/~bagnara/|Roberto Bagnara]] et al) |
| ** <BOOKMARK:Singular> ''singular'': Working with Gröbner bases\\ Provides an interface to [[http://www.singular.uni-kl.de/|Singular]] (by [[https://www.mathematik.uni-kl.de/en/agag/people/head/prof-dr-wolfram-decker/|Wolfram Decker]], [[https://www.mathematik.uni-kl.de/en/greuel/|Gert-Martin Greuel]], [[https://www.mathematik.uni-kl.de/en/pfister/|Gerhard Pfister]], and Hans Schönemann).\\ Please check the [[install:installsingular|installation details]] for the bundled extension ''singular''. |
** <BOOKMARK:scip> ''scip'': Provides an interface to [[https://scip.zib.de/|SCIP]] by the [[https://scip.zib.de/index.php#developers|developers from the Zuse Institute Berlin (ZIB)]] | ** <BOOKMARK:scip> ''scip'': Provides an interface to [[https://scip.zib.de/|SCIP]] by the [[https://scip.zib.de/index.php#developers|developers from the Zuse Institute Berlin (ZIB)]] |
.. SCIP is a solver for Mixed Integer Linear and Nonlinear Problems that allows for an easy integration of arbitrary constraints. | .. SCIP is a solver for Mixed Integer Linear and Nonlinear Problems that allows for an easy integration of arbitrary constraints. |
.. //Note:// Please build SCIP with ''-DGMP=true'' and ''-DZIMPL=false''. The latter is necessary due to a symbol conflict with libcdd. | .. //Note:// Please build SCIP with ''-DGMP=true'' and ''-DZIMPL=false''. The latter is necessary due to a symbol conflict with libcdd. |
| ** <BOOKMARK:SoPlex> ''soplex'': SoPlex is an optimization package for solving linear programming problems (LPs) based on an advanced implementation of the primal and dual revised simplex algorithm. \\ Provides an interface to [[http://soplex.zib.de/|SoPlex]] (by Roland Wunderling, [[http://www.zib.de/members/gleixner|Ambros Gleixner]], [[http://www.zib.de/members/miltenberger|Matthias Miltenberger]], [[http://www.zib.de/members/benjamin.mueller|Benjamin Müller]] and others).\\ Please build SoPlex with ''GMP=true'' and ''SHARED=true''. |
| |
===== Other interfaces to external software ===== | ===== Other interfaces to external software ===== |