NORMALIZ
Section: Normaliz Project (1)
Updated: November 2022
Index
Return to Main Contents
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
COPYRIGHT
Copyright (C) 2007-2015 Winfried Bruns, Bogdan Ichim, Christof Soeger
Index
- NAME
-
- SYNOPSIS
-
- DESCRIPTION
-
- Computation goals with short options (selection):
-
- Algorithmic variants with short options (slection):
-
- see doc/Normaliz.pdf or doc/NmzShortRef.pdf. Selection:
-
- Output and execution:
-
- AUTHORS
-
- COPYRIGHT
-
This document was created by
man2html,
using the manual pages.
Time: 12:29:46 GMT, April 28, 2024