| Normaliz | |
|---|---|
| Original authors | Winfried Bruns, Robert Koch, Bogdan Ichim, Christof Soeger |
| Stable release | |
| Written in | C++,C andPython |
| Type | Computer algebra system |
| License | GNU General Public License, version 3 |
| Website | normaliz |
| Repository | |
Normaliz is afreecomputer algebra system developed by Winfried Bruns, Robert Koch (1998–2002), Bogdam Ichim (2007/08) and Christof Soeger (2009–2016). It is published under theGNU General Public License version 2.
Normaliz computes lattice points in rationalpolyhedra, or, in other terms, solveslinear diophantine systems of equations, inequalities, and congruences. Special tasks are the computation of lattice points in bounded rational polytopes andHilbert bases of rational cones. Normaliz also computes enumerative data, such as multiplicities (volumes) andHilbert series. The kernel of Normaliz is a templated C++ class library. For multivariate polynomial arithmetic it usesCoCoALib.
Normaliz has interfaces to several general computer algebra systems:CoCoA,GAP,Macaulay2 andSingular. It can be used interactively via its Python interface PyNormaliz. Its use in SageMath is in preparation.
Jesús A. De_Loera cites Normaliz among his favorite programs for computingHilbert basis.[2]