normaliz(1)

tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.

Section 1 normaliz-bin bookworm source

Description

NORMALIZ

NAME

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

SYNOPSIS

normaliz [options] PROJECT

DESCRIPTION

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 (slection):

	-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, Incidence

Output and execution:

-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 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 antic arb 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.

AUTHORS

Winfried Bruns, Bogdan Ichim, Tim Romer, Christof Soeger