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.9.4Documentation.pdf useful.