id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
24451 Polyhedron.get_integral_point mcbell "This patch adds a method Polyhedron.get_integral_point(index) which returns the nth integral point in the polyhedron. It is equivalent to sorted(Polyhedron.integral_points())[index]. However when Polyhedron.integral_points_count() does not need to enumerate all of the integral points, for example in rational Polyhedra, neither does this method. Hence it can be significantly faster.
This method is useful for performing random sampling of integral points since it allows points to be chosen uniformly at random via:
{{{
index = randint(0, P.integral_points_count())
point = P.get_integral_point(index)
}}}" enhancement closed major sage-8.2 geometry fixed Polyhedron, integral_points vdelecroix tmonteil mkoeppe Mark Bell Vincent Delecroix, Travis Scrimshaw N/A 73fbd0571a629071bceb1300d699f0b826e983c1 73fbd0571a629071bceb1300d699f0b826e983c1