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