| Both sides previous revision Previous revision Next revision | Previous revision Next revisionBoth sides next revision |
| external_software [2019/04/25 09:19] – mradons | external_software [2019/11/11 23:15] – ↷ Links adapted because of a move operation gawrilow |
|---|
| .. 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: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 [[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. |
| In order to use the following software from within polymake, you need download and install the packages on your own, provided you accept the license agreements. Don't merge them into the ''polymake'' directory tree, as they might get overwritten by the next polymake upgrade. | In order to use the following software from within polymake, you need download and install the packages on your own, provided you accept the license agreements. Don't merge them into the ''polymake'' directory tree, as they might get overwritten by the next polymake upgrade. |
| |
| They can then be enabled or disabled in a running polymake session with ''reconfigure "something.rules";''. The auto-configuration routines try to find the installed software (usually by examining your ''PATH'' variable). See [[install:interface_config|here]] for help. | They can then be enabled or disabled in a running polymake session with ''reconfigure "something.rules";''. The auto-configuration routines try to find the installed software (usually by examining your ''PATH'' variable). See [[user:howto:interface_config|here]] for help. |
| |
| ==== Visualization ==== | ==== Visualization ==== |