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-08-17 04:55:11 GMT
Size
6.96 MB
9adbff58d6dca5c81089bf58be633030
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