Skip to content

Expose some normaliz features #25091

@jplab

Description

@jplab

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

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions