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
Next revisionBoth sides next revision
external_software [2019/01/26 11:02] – ↷ Links adapted because of a move operation oroehrigexternal_software [2019/01/29 22:20] – external edit 127.0.0.1
Line 45: Line 45:
   ** <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)]]
 +  .. 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.
 +
  
 ===== Other interfaces to external software ===== ===== Other interfaces to external software =====
Line 80: Line 84:
   ** [[http://www.kotnet.org/~skimo/barvinok/|barvinok]]\\ by Sven Verdoolaege.   ** [[http://www.kotnet.org/~skimo/barvinok/|barvinok]]\\ by Sven Verdoolaege.
   .. 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 [[:download:start#extensions|separate extension]] to polymake. +  .. 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 [[:extensions|separate extension]] to polymake. 
-  ** [[http://www.4ti2.de/|4ti2]]\\ by Ralf Hemmecke, Raymond Hemmecke, Matthias Köppe, Peter Malkin, and Matthias Walter.\\ [[:download:start#other_software_downloads|Linux RPM available]]+  ** [[http://www.4ti2.de/|4ti2]]\\ by Ralf Hemmecke, Raymond Hemmecke, Matthias Köppe, Peter Malkin, and Matthias Walter.\\
   .. A software package for algebraic, geometric and combinatorial problems on linear spaces.   .. A software package for algebraic, geometric and combinatorial problems on linear spaces.
   ** <BOOKMARK:porta>[[http://www.iwr.uni-heidelberg.de/groups/comopt/software/PORTA/|PORTA]] (version 1.3.2)\\ by Thomas Christoph and Andreas Loebel, ZIB / Universität Heidelberg.   ** <BOOKMARK:porta>[[http://www.iwr.uni-heidelberg.de/groups/comopt/software/PORTA/|PORTA]] (version 1.3.2)\\ by Thomas Christoph and Andreas Loebel, ZIB / Universität Heidelberg.
Line 98: Line 102:
  
 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