Changes between Initial Version and Version 9 of Ticket #22562
- Timestamp:
- Mar 18, 2017, 11:00:36 PM (6 years ago)
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
-
Property
Authors
changed from
-
Ticket #22562 – Description
initial v9 1 This 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