Normaliz - tool for computations in affine monoids, vector
configurations, lattice polytopes, and rational cones.
normaliz [options] PROJECT
- runs normaliz on PROJECT.in
- -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
- -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>
- 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
- -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 <normaliz@uos.de> 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.
Winfried Bruns, Bogdan Ichim, Tim Romer, Christof Soeger
Copyright (C) 2007-2015 Winfried Bruns, Bogdan Ichim, Christof
Soeger