Changes between Initial Version and Version 3 of Ticket #18199


Ignore:
Timestamp:
04/20/15 02:14:35 (7 years ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #18199

    • Property Cc yzh ncohen added

  • Ticket #18199 – Description

    initial v3  
    22
    33For higher-dimensional polytopes, computing vertices by lrs is often much faster than the implementations of the double description method in cddlib and ppl.
     4
     5lrs also has very fast and convenient code for removing redundant inequalities ("redund").
     6See [https://groups.google.com/forum/#!topic/sage-support/WRpS5OgFMm8]
    47
    58Sage should have a backend_lrs.py to make use of the existing lrs package.