Bug#776019: ITP: normaliz -- math tool for computations in affine monoids, and rational polytopes and cones

```Package: wnpp
Severity: wishlist
Owner: Jerome Benoit <calculus@rezozer.net>

* Package name    : normaliz
Version         : 2.12.2
Upstream Author : Winfried Bruns, Bogdan Ichim, Tim R\"omer and Christof S\"oger <normaliz@uos.de>
* URL             : http://www.home.uni-osnabrueck.de/wbruns/normaliz/
Programming Lang: C++, Java
Description     : math tool for computations in affine monoids, and rational polytopes and cones

Normaliz is a mathematical tool for computations in affine monoids, vector
configurations, lattice polytopes, and rational cones.

Its input data can be specified in terms of:
- a system of generators or vertices;
- a system of linear Diophantine equations, inequalities and congruences;
- a binomial ideal.
Normaliz computes:
- the dual cone of a rational cone (in other words, given generators,
Normaliz computes the defining hyperplanes, and vice versa);
- a placing (or lexicographic) triangulation of a vector configuration
(resulting in a triangulation of the cone generated by it);
- the Hilbert basis of a rational cone;
- the lattice points of a rational polytope;
- the lattice points of a rational (unbounded) polyhedron;
- the normalization of an affine monoid;
- the Hilbert  (or Ehrhart) series and the Hilbert (or Ehrhart) (quasi)
polynomial under a Z-grading (for example, for rational polytopes);
- Ehrhart series for semiopen cones;
- generalized (or weighted) Ehrhart series and Lebesgue integrals of
polynomials over rational polytopes via NmzIntegrate (also in the
semiopen case);
- a description of the cone and lattice under consideration by a
system of inequalities, equations and congruences.

Normaliz can be started from the command line or from the GUI interface: the
user indicates the type of input data in an input file and controls the
computation and the output via the GUI interface or command line options.

```