Aarhus University Seal / Aarhus Universitets segl

Computing Hilbert basis and Ehrhart series with Normaliz

Christof Söger
(Universität Osnabrück)
Beregningsmatematikseminar
Onsdag, 2 september, 2015, at 14:15-15:15, in Aud. D1 (1531-113)
Abstrakt:
The Hilbert basis of a rational cone is a minimal generating system of the monoid of lattice points of the cone; the Ehrhart series is a generating function in which we count elements degree-wise.

The Hilbert basis and the Ehrhart series are the two main computational goals of Normaliz, a well-established computer program for rational cones and polytopes. We give an overview of the computations and discuss recent extensions, in particular the new features of Normaliz 3.0.
Kontaktperson: Anders Nedergaard Jensen