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 (selection):
       -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
              MasrkovBasis, GroebnerBasis, Lex, DegLex, RevLex

   Output and execution:
       -f, --files
              write the files .out .gen .inv .cst

       -a, --all-files
              write all optional output files

       --<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>, -x=0 switches the bound off

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