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.3Documentation.pdf useful.
Build Time
2024-09-13 01:05:41 GMT
Size
6.96 MB
31a37378d9088b0ee3ae0beed8bf5962
License
GPL-3.0-or-later AND OFL-1.1-RFN AND Bitstream-Vera AND Knuth-CTAN AND GPL-1.0-or-later AND LicenseRef-DoubleStroke AND AGPL-3.0-only AND LicenseRef-Rsfs