NAME¶

SYNOPSIS¶

DESCRIPTION¶

runs normaliz on PROJECT.in

OPTIONS¶

-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

AUTHORS¶

COPYRIGHT¶

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.