1NORMALIZ(1) User Commands NORMALIZ(1)
2
3
4
6 Normaliz - manual page for Normaliz 3.10.0
7
9 normaliz [options] PROJECT
10
12 runs normaliz on PROJECT.in
13
14 Computation goals with short options (selection):
15 -s compute support hyperplanes
16
17 -v compute multiplicity
18
19 -V compute volume
20
21 -N compute Hilbert basis (with partial triangulation)
22
23 -w check for integrally closed and compute witness if not
24
25 -q compute Hilbert series
26
27 -1 compute degree 1 elements
28
29 -T compute triangulation (output in file .tri)
30
31 -H compute integer hull
32
33 -M compute module generators over original monoid
34
35 -E compute weighted Ehrhart series
36
37 -L compute virtual multiplicity of weighted Ehrhart series
38
39 -I compute integral
40
41 -G check Gorenstein
42
43 Algorithmic variants with short options (selection):
44 -d dual ode (includes Hilbert basis, unless combined with -1)
45
46 -j project-and-lift
47
48 -J project-and-lift with floating point arithmetic
49
50 -k keep order
51
52 -Y symmetrization
53
54 -F multiplicity/volume by decent in the face lattice
55
56 For computation goals and variants not in the lists above use
57
58 --<PROP>
59 compute the ConeProperty <PROP>
60
61 see doc/Normaliz.pdf or doc/NmzShortRef.pdf. Selection:
62 Automorphisms, EuclideanAutomorphisms, RationalA..., Combinato‐
63 rialA... EhrhartSeries, LatticePoints, NumberLatticePoints
64 FaceLattice, FVector, Incidence MasrkovBasis, GroebnerBasis,
65 Lex, DegLex, RevLex
66
67 Output and execution:
68 -f, --files
69 write the files .out .gen .inv .cst
70
71 -a, --all-files
72 write all optional output files
73
74 --<SUFFIX>
75 write the file .<SUFFIX> where <SUFFIX> can be one of cst, egn,
76 esp, ext, gen, ht1, inv, lat, mod, msp, typ
77
78 -B, --BigInt
79 directly use indefinite precision arithmetic
80
81 --LongLong
82 only use long long arithmetic, no conversion possible
83
84 -i, --ignore
85 ignore the compute options set in the input file
86
87 -x=<T> limit the number of threads to <T>, -x=0 switches the bound off
88
89 --OutputDir=<path> set a path for the output files (relative to current
90 directory)
91
92 -?, --help
93 print this help text and exit
94
95 -c, --verbose
96 verbose (prints log data on terminal)
97
98 --version
99 print version info and exit
100
101 Please report bugs to <normaliz@uos.de> or directly to our issue
102 tracker: https://github.com/Normaliz/Normaliz/issues
103
104 ------------------------------------------------------------ with pack‐
105 age(s) CoCoALib Flint antic arb e-antic nauty hash-library Copyright ©
106 2007-2022 The Normaliz Team, University of Osnabrueck. This program
107 comes with ABSOLUTELY NO WARRANTY; This is free software, and you are
108 welcome to redistribute it under certain conditions; See COPYING for
109 details.
110
111
112
113Normaliz 3.10.0 February 2023 NORMALIZ(1)