Changes between Version 2 and Version 8 of Ticket #24451
 Timestamp:
 Dec 31, 2017, 12:02:51 AM (5 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #24451

Property
Commit
changed from
d3b9b396c1dc9d6ca8c9478b01035454ebbe1f74
to82a64d2f6eb533c16413c681a8d89c130283fa1c

Property
Commit
changed from

Ticket #24451 – Description
v2 v8 1 This patch adds a method Polyhedron.get_integral_point(index) which returns the nth integral point in the polyhedron. It is equivalent to 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.1 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. 2 2 3 3 This method is useful for performing random sampling of integral points since it allows points to be chosen uniformly at random via: