Normaliz is a Free software, free computer algebra system developed by Winfried Bruns, Robert Koch (1998–2002), Bogdam Ichim (2007/08) and Christof Soeger (2009–2016). It is published under the GNU General Public License version 2.
Normaliz computes lattice points in rational polyhedra, or, in other terms, solves Diophantine_equation#System_of_linear_Diophantine_equations, linear diophantine systems of equations, inequalities, and congruences. Special tasks are the computation of lattice points in bounded rational polytopes and Hilbert basis (linear programming), Hilbert bases of rational cones. Normaliz also computes enumerative data, such as multiplicities (volumes) and Hilbert series. The kernel of Normaliz is a templated C++ class library. For multivariate polynomial arithmetic it uses CoCoA, CoCoALib.
Normaliz has interfaces to several general computer algebra systems: CoCoA, GAP (computer algebra system), GAP, Macaulay2 and Singular (software), Singular. 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 computing Hilbert basis (linear programming), Hilbert basis.
See also
*Comparison of computer algebra systems
References
External links
*
Publications and examples of Normaliz applications*http://github.com/normaliz/Normaliz
{{Computer algebra systems
Computer algebra system software for Linux
Computer algebra system software for macOS
Computer algebra system software for Windows
Cross-platform free software
Free computer algebra systems
Computer algebra systems