Normaliz
| Normaliz | |
|---|---|
| Basic data
|
|
| developer | University of Osnabrück |
| Current version | 3.6.3 ( Linux , macOS and Windows ) August 21, 2018 |
| operating system | Unix , Linux , FreeBSD , macOS , Windows |
| programming language | C , C ++ , Python |
| category | Computer algebra system |
| License | GPL ( Free Software ) |
| German speaking | No |
| normaliz.uni-osnabrueck.de | |
Normaliz is a free computer algebra system that was developed by Winfried Bruns, Robert Koch (1998–2002), Bogdam Ichim (2007/08) and Christof Soeger (2009–2016). It is released under the GNU General Public License Version 2.
Normaliz calculates grid points in rational polyhedra or solves linear Diophantine systems of inequalities , equations and congruences . Special tasks are the computation of grid points in bounded rational polytopes and in Hilbert bases of rational cones . Normaliz also computes enumerative data such as multiplicities ( volumes ) and Hilbert series . The core of Normaliz is a Templated-C ++ - class library . For multivariate polynomial - arithmetic CoCoALib is used.
Normaliz interfaces with several general computer algebra systems: CoCoA , GAP , Macaulay2 and Singular . It can be used interactively with the Python programming language via its PyNormaliz interface . It is in preparation for use in SageMath .
Jesús A. De Loera considers Normaliz to be one of his favorite programs for calculating the Hilbert basis.
literature
- Winfried Bruns, Bogdan Ichim: Normaliz: Algorithms for affine monoids and rational cones . In: Journal of Algebra . tape 324 , no. 5 , September 1, 2010, ISSN 0021-8693 , p. 1098-1113 .