Changes between Version 4 and Version 6 of Ticket #18199


Ignore:
Timestamp:
07/07/16 05:29:20 (6 years ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #18199 – Description

    v4 v6  
    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.
     4lrslib 6.2 (#20886) has two modes of parallel computation, `plrs` and `mplrs`, see ​http://cgm.cs.mcgill.ca/~avis/C/lrs.html
    45
    56lrs also has very fast and convenient code for removing redundant inequalities ("redund").
     
    1213[https://groups.google.com/forum/#!topic/sage-devel/oH6Jrjs-HUY]
    1314
    14 As has been said in these discussions, lrs also has a key benefit that it can generate the vertices as a stream, with very little memory use. This feature could be exposed using Python generators, using the Polyhedron methods Vrep_generator(), vertex_generator(), ray_generator(), line_generator().
     15As has been said in these discussions, lrs also has a key benefit that it can generate the vertices as a stream, with very little memory use. This feature could be exposed using Python generators, using the Polyhedron methods `Vrep_generator()`, `vertex_generator()`, `ray_generator()`, `line_generator()`.
    1516
     17See also: polymake (#20892) has an interface to at least some features of lrs