Package normaliz

https://www.normaliz.uni-osnabrueck.de/

Normaliz is a tool for computations in affine monoids, vector configurations,
rational polyhedra, and rational cones. Normaliz now computes rational and
algebraic polyhedra, i.e., polyhedra defined over real algebraic extensions of
QQ.

Documentation and examples can be found in /usr/share/doc/normaliz,
in particular you may find Normaliz3.10.5Documentation.pdf useful.

Version: 3.10.5