Changes between Initial Version and Version 9 of Ticket #22562


Ignore:
Timestamp:
03/18/17 23:00:36 (5 years ago)
Author:
mkoeppe
Comment:

Rebased on top of 7.6.rc1 and #22568, #22578.

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #22562

    • Property Authors changed from to Matthias Koeppe
    • Property Cc jipilab vdelecroix tscrim added
    • Property Dependencies changed from to #22568, #22578
    • Property Branch changed from to u/mkoeppe/lattice_point_count_with_preprocessing
    • Property Commit changed from to 579b6beddfbafdcabd1e55710c6f1f9a6e8e9b1a

  • Ticket #22562 – Description

    initial v9  
     1This ticket
     2- provides a trivial `Polyhedron_base.integral_points_count` implementation that delegates to `integral_points`
     3- moves the LattE-based `integral_points` implementation to `Polyhedron_QQ`
     4- adds preprocessing (bounds tightening) to it and uses explicit enumeration when that is expected to be faster