Both sides previous revision Previous revision | Next revisionBoth sides next revision |
external_software [2019/03/21 11:00] – added bookmarks loewe | external_software [2019/03/21 11:05] – fix roberts stuff benmuell |
---|
** <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 [[http://www.mathematik.uni-rostock.de/lehrstuehle/geometrie/people/|Achill Schürmann]]). |
polymake provides interfaces to the software listed here, but does not ship the software itself. You have to install it yourself and configure polymake to use your installation. See the [[install:install#configuration|instructions on configuration]] for help with this. | polymake provides interfaces to the software listed here, but does not ship the software itself. You have to install it yourself and configure polymake to use your installation. See the [[install:install#configuration|instructions on configuration]] for help with this. |
| |
** <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: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: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: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: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. |