Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revisionBoth sides next revision | ||
external_software [2019/01/28 17:47] – fixed links oroehrig | external_software [2019/02/28 10:55] – [Further Interfaces] panizzut | ||
---|---|---|---|
Line 33: | Line 33: | ||
.. Normaliz is a tool for computations in affine monoids, vector configurations, | .. Normaliz is a tool for computations in affine monoids, vector configurations, | ||
** < | ** < | ||
- | .. High-end visualization in 3D (experimental). | + | .. High-end visualization in 3D (experimental). |
=== Bare interfaces === | === Bare interfaces === | ||
Line 45: | Line 45: | ||
** < | ** < | ||
.. Visualizes 3D- and 4D-polytopes (and much more). | .. Visualizes 3D- and 4D-polytopes (and much more). | ||
+ | ** < | ||
+ | .. 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 '' | ||
+ | |||
===== Other interfaces to external software ===== | ===== Other interfaces to external software ===== | ||
Line 77: | Line 81: | ||
** [[http:// | ** [[http:// | ||
.. LattE macchiato is an improved version of LattE, derived from the latest release 1.2. For full functionality either choose the version " | .. LattE macchiato is an improved version of LattE, derived from the latest release 1.2. For full functionality either choose the version " | ||
- | .. Normaliz is a (command line) tool for computations in affine monoids, vector configurations, | + | ** [[http:// |
- | | + | |
.. barvinok is a library for counting the number of integer points in parametrized and non-parametrized polytopes. For parametrized polytopes an explicit function in the shape of a piece-wise step-polynomial is constructed. This is a generalization of both Ehrhart quasi-polynomials and vector partition functions. | .. barvinok is a library for counting the number of integer points in parametrized and non-parametrized polytopes. For parametrized polytopes an explicit function in the shape of a piece-wise step-polynomial is constructed. This is a generalization of both Ehrhart quasi-polynomials and vector partition functions. | ||
.. Rule files using barvinok for the computation of the number of lattice points and the coefficients of the Ehrhart polynomial are currently not part of the standard polymake distribution. They are available as a [[: | .. Rule files using barvinok for the computation of the number of lattice points and the coefficients of the Ehrhart polynomial are currently not part of the standard polymake distribution. They are available as a [[: | ||
Line 98: | Line 101: | ||
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. | ||
+ |