Changes between Version 2 and Version 8 of Ticket #24451


Ignore:
Timestamp:
12/31/17 00:02:51 (4 years ago)
Author:
mcbell
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #24451

    • Property Commit changed from d3b9b396c1dc9d6ca8c9478b01035454ebbe1f74 to 82a64d2f6eb533c16413c681a8d89c130283fa1c
  • 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.
     1This 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.
    22
    33This method is useful for performing random sampling of integral points since it allows points to be chosen uniformly at random via: