Normaliz - tool for computations in affine monoids, vector
configurations, lattice polytopes, and rational cones.
normaliz [options] PROJECT
- runs normaliz on PROJECT.in
- -S
- compute sublattice
- -s
- compute support hyperplanes
- -t
- compute triangulation
- -v
- compute multiplicity
- -v
- compute volume
- -F
- compute volume by decent in the face lattice
- -n
- compute Hilbert basis and multiplicity (needs full triangulation)
- -N
- compute Hilbert basis (with partial triangulation)
- -w
- check for integrally closed and compute witness if not
- -q
- compute Hilbert (quasi-)polynomial
- -p
- compute Hilbert (quasi-)polynomial and degree 1 elements
- -h
- compute Hilbert basis and Hilbert polynomial (default)
- -1
- compute degree 1 elements
- -y
- compute Stanley decomposition (output in file .dec)
- -C
- compute class group (default)
- -T
- compute triangulation (output in file .tri)
- -D
- compute cone decomposition (includes -T)
- -H
- compute integer hull
- -M
- compute module generators over original monoid
- -E
- compute weighted Ehrhart series
- -L
- compute virtual multiplicity of weighted Ehrhart series
- -I
- compute integral
- -G
- check Gorenstein
- -d
- computation mode: dual
- -P
- computation mode: primal
- -j
- computation mode: project-and-lift
- -J
- computation mode: project-and-lift with floating point arithmetic
- -r
- computation mode: approximate
- -b
- computation mode: bottom decomposition
- -o
- computation mode: no bottom decomposition
- -k
- computation mode: keep order
- -Y
- computation mode: symmetrization
- --<PROP>
- compute the ConeProperty <PROP>
- -f, --files
- write the files .out .gen .inv .cst
- -a,
--all-files
- write all output files (except .dec .tri .typ)
- --<SUFFIX>
- write the file .<SUFFIX> where <SUFFIX> can be one of cst,
egn, esp, ext, gen, ht1, inv, lat, mod, msp, typ
- -B, --BigInt
- directly use indefinite precision arithmetic
- --LongLong
- only use long long arithmetic, no conversion possible
- -i, --ignore
- ignore the compute options set in the input file
- -x=<T>
- limit the number of threads to <T>
--OutputDir=<path> set a path for the output files
(relative to current directory)
- -?, --help
- print this help text and exit
- -c, --verbose
- verbose (prints control data)
- --version
- print version info and exit
Please report bugs to <normaliz@uos.de> or directly to our
issue tracker: https://github.com/Normaliz/Normaliz/issues
Winfried Bruns, Bogdan Ichim, Tim Romer, Christof Soeger
Copyright (C) 2007-2015 Winfried Bruns, Bogdan Ichim, Christof
Soeger
Copyright © 2007-2018 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.