Provided by: normaliz-bin_3.8.3+ds-2build1_amd64
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
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
Winfried Bruns, Bogdan Ichim, Tim Romer, Christof Soeger
COPYRIGHT
Copyright (C) 2007-2015 Winfried Bruns, Bogdan Ichim, Christof Soeger Copyright © 2007-2019 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.