Normaliz(1) tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.


normaliz [,options/] ,PROJECT/


runs normaliz on


compute sublattice
compute support hyperplanes
compute triangulation
compute volume
compute Hilbert basis (with full triangulation)
compute Hilbert basis (with partial triangulation)
check for integrally closed and compute witness if not
compute Hilbert (quasi-)polynomial
compute Hilbert (quasi-)polynomial and degree 1 elements
compute Hilbert basis and Hilbert polynomial (default)
compute degree 1 elements
compute Stanley decomposition
compute class group
compute cone decomposition
compute integer hull
compute module generators over original monoid
computation mode: dual
computation mode: approximate
computation mode: bottom decomposition
computation mode: keep order
compute the ConeProperty <PROP>
-f, --files
write the files .out .gen .inv .cst
-a, --all-files
write all output files (except .tri)
write the file .tri (triangulation)
write the file .<SUFFIX> where <SUFFIX> can be on of cst, egn, esp, ext, gen, ht1, inv, lat, mod, typ
-B, --BigInt
directly use indefinite precision arithmetic
only use long long arithmetic, no conversion possible
-i, --ignore
ignore the compute options set in the input file
limit the number of threads to <T>
-?, --help
print this help text and exit
-c, --verbose
verbose (prints control data)
print version info and exit

Please report bugs to <[email protected]> or directly to our issue tracker:


Winfried Bruns, Bogdan Ichim, Tim Romer, Christof Soeger


Copyright (C) 2007-2015 Winfried Bruns, Bogdan Ichim, Christof Soeger

Copyright © 2007-2015 The Normaliz Team, University of Osnabrueck. This program comes with ABSOLUTELY NO WARRANTY; This is free software, and you are welcome to redistribute it under certain conditions; See COPYING for details.