Differences

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

--- external_software [2019/04/25 09:16] – mradons
+++ external_software [2021/08/16 13:52] – [Bundled extensions for polymake] fglazov
@@ Line 15: / Line 15: @@
 ===== Bundled extensions for polymake =====
-The following are polymake extensions that are included in the main package and provide interfaces to important external software. Some include the source code of the librarys they interface, others come as bare interfaces to software that you have to install seperately.
+The following are polymake extensions that are included in the main package and provide interfaces to important external software. Some include the source code of the libraries they interface, others come as bare interfaces to software that you have to install separately.
 ** Note: ** The ''-minimal'' archive of polymake excludes the bundled code but still has the interfaces for cdd, libnormaliz, lrs and nauty. Furthermore, the bundled extension for jreality is removed.
@@ Line 32: / Line 32: @@
   ** <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.
-  ** <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 [[https://www.mathematik.uni-rostock.de/struktur/professuren-apl-prof/geometrie/people/achill/|Achill Schürmann]]).
 === Bare interfaces ===
@@ Line 39: / Line 39: @@
   ** <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:flint> ''flint'': Fast Library for Number Theory\\ Provides an interface to [[http://www.flintlib.org/|FLINT]] (by William Hart).\\ Used for fast univariate polynomial arithmetic and number theory.
   ** <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).
   ** <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)]]
   .. SCIP is a solver for Mixed Integer Linear and Nonlinear Problems that allows for an easy integration of arbitrary constraints.
@@ Line 52: / Line 53: @@
 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_guide:howto:interface_config|here]] for help.
 ==== Visualization ====