-
-
Notifications
You must be signed in to change notification settings - Fork 660
Closed
Milestone
Description
Using Normaliz can compute several things that are currently not interfaced. This ticket implements:
- Integral points generators
- Euclidean volume and volume
- Triangulation
- Hilbert series
- Ehrhart series of compact polyhedron
- Ehrhart quasi-polynomial of compact polyhedron
FOLLOWUP:
- Make ehrhart_polynomial uniform (in the spirit of
.volume()
that can have several engines. - Move the lattice related methods to
Polyhedra_normaliz_QQ
.
Depends on #27682
Depends on #27716
CC: @videlec @mo271 @mkoeppe @sebasguts @w-bruns @braunmath @tscrim
Component: geometry
Keywords: polytope, normaliz, IMA-PolyGeom
Author: Jean-Philippe Labbé, Matthias Koeppe
Branch/Commit: da05706
Reviewer: Travis Scrimshaw, Jeroen Demeyer
Issue created by migration from https://trac.sagemath.org/ticket/25091