Normaliz is a tool for computations in affine monoids, vector
configurations, lattice polytopes, and rational cones.
Documentation and examples can be found in /usr/share/doc/normaliz,
in particular you may find Normaliz3.7.4Documentation.pdf useful.