id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
21041 Polyhedron.integral_points(): Generalize Smith form based enumeration to rational and semi-rational polytopes Matthias Köppe "As a follow-up to #21037, the method for integer point enumeration using triangulation and Smith form (a simple implementation of normaliz's method (see #20885 comment:6) in `simplex_points` is limited to lattice polytopes. Normaliz is much faster and has an implementation for rational (non-lattice) polytopes. A generalization to include the case of semi-rational polytopes (i.e., possibly irrational translations of lattice polytopes) could be valuable; example:
{{{
sage: P = Polyhedron(vertices=((0, 0), (1743,3134))) + 1/1000*vector(AA, [AA(sqrt(5)), AA(sqrt(5))])
sage: P.integral_points() # takes LONG
}}}
" enhancement new major sage-wishlist geometry Travis Scrimshaw Andrey Novoseltsev Dima Pasechnik Vincent Delecroix Volker Braun Winfried Bruns N/A