Changes between Initial Version and Version 3 of Ticket #18199
- Timestamp:
- 04/20/15 02:14:35 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #18199
- Property Cc yzh ncohen added
-
Ticket #18199 – Description
initial v3 2 2 3 3 For higher-dimensional polytopes, computing vertices by lrs is often much faster than the implementations of the double description method in cddlib and ppl. 4 5 lrs also has very fast and convenient code for removing redundant inequalities ("redund"). 6 See [https://groups.google.com/forum/#!topic/sage-support/WRpS5OgFMm8] 4 7 5 8 Sage should have a backend_lrs.py to make use of the existing lrs package.