Algorithm: Project-and-lift computation of Hilbert bases and integer hulls

MaRDI QIDQ6826005FDO

Computes Hilbert and Graver bases by iteratively lifting dimensions, enabling construction of integer hulls and aiding enumeration of lattice solutions.

Described by source

• Computing convex hulls and counting integer points with polymake
• ON THE COMPUTATION OF HILBERT BASES OF CONES

This page was built for algorithm: Algorithm: Project-and-lift computation of Hilbert bases and integer hulls