normaliz1
Tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
Usage
normaliz [options]
PROJECT
Overview
-
runs normaliz on PROJECT.in
Computation goals with short options (selection):
-
-s -
compute support hyperplanes
-
-v -
compute multiplicity
-
-V -
compute volume
-
-N -
compute Hilbert basis (with partial triangulation)
-
-w -
check for integrally closed and compute witness if not
-
-q -
compute Hilbert series
-
-1 -
compute degree 1 elements
-
-T -
compute triangulation (output in file .tri)
-
-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
Algorithmic variants with short options (selection):
-
-d -
dual ode (includes Hilbert basis, unless combined with
-1)
-
-j -
project-and-lift
-
-J -
project-and-lift with floating point arithmetic
-
-k -
keep order
-
-Y -
symmetrization
-
-F -
multiplicity/volume by decent in the face lattice
For computation goals and variants not in the lists above use
--<PROP>-
compute the ConeProperty <PROP>
see doc/Normaliz.pdf or doc/NmzShortRef.pdf. Selection:
-
Automorphisms, EuclideanAutomorphisms, RationalA..., CombinatorialA... EhrhartSeries, LatticePoints, NumberLatticePoints FaceLattice, FVector (also with Orbits) DualFaceLattice, DualFVector (also with Orbits) Incidence, DualIncidence MasrkovBasis, GroebnerBasis, Lex, DegLex, RevLex FusionRings, SimpleFusionRings
Output and execution:
-
-f, --files -
write the files .out .gen .inv .cst
-
-a, --all-files -
write all optional output files
--<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>,
-x=0 switches the bound off
--OutputDir=<path> set a path for the output files (relative to current directory)
-
-?, --help -
print this help text and exit
-
-c, --verbose -
verbose (prints log data on terminal)
-
--version -
print version info and exit
Please report bugs to <[email protected]> or directly to our issue tracker: https://github.com/Normaliz/Normaliz/issues
------------------------------------------------------------ with package(s) Flint e-antic nauty Copyright © 2007-2022 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.
Releases
5 releases since Debian 9 (Stretch); the text changed 4 times.
-E since Debian 10 (Buster);
-F since Debian 10 (Buster);
-G since Debian 10 (Buster);
-I since Debian 10 (Buster);
-J since Debian 10 (Buster);
-L since Debian 10 (Buster);
-V since Debian 12 (Bookworm);
-Y since Debian 10 (Buster);
-j since Debian 10 (Buster).
-C until Debian 11 (Bullseye);
-D until Debian 11 (Bullseye);
-P until Debian 11 (Bullseye);
-S until Debian 11 (Bullseye);
-b until Debian 11 (Bullseye);
-h until Debian 11 (Bullseye);
-n until Debian 11 (Bullseye);
-o until Debian 11 (Bullseye);
-p until Debian 11 (Bullseye);
-r until Debian 11 (Bullseye);
-t until Debian 11 (Bullseye);
-y until Debian 11 (Bullseye).