Differences

This shows you the differences between two versions of the page.

--- external_software [2017/03/28 12:49] – [Core libraries] benmuell
+++ external_software [2018/01/31 11:59] – libnormaliz also possible with installed version benmuell
@@ Line 17: / Line 17: @@
 The following are polymake extensions that are included in the main package and provide interfaces to important external software. Some are only bare interfaces, but others already include the corresponding library code.
-** Note: ** The ''-minimal'' archive of polymake excludes the bundled code but still has the interfaces for cdd, lrs and nauty. Furthermore, the bundled extensions for jreality is removed.
+** Note: ** The ''-minimal'' archive of polymake excludes the bundled code but still has the interfaces for cdd, libnormaliz, lrs and nauty. Furthermore, the bundled extensions for jreality is removed.
 === Including the library ===
@@ Line 30: / Line 30: @@
   .. Computes automorphism groups of graphs. ''polymake'' uses it for checking combinatorial equivalence and congruence of polytopes as well as isomorphy of graphs.
   ** ''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]]).
-  ** ''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).
+  ** ''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.
@@ Line 40: / Line 40: @@
   ** ''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)
   ** ''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 [[howto::installsingular|installation details]] for the bundled extension ''singular''.
-  ** ''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. Working with Gröbner bases\\ 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''.
+  ** ''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).
   .. Visualizes 3D- and 4D-polytopes (and much more).