Changes between Initial Version and Version 1 of Ticket #18190, comment 9


Ignore:
Timestamp:
Apr 14, 2015, 11:40:32 PM (7 years ago)
Author:
Matthias Köppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #18190, comment 9

    initial v1  
    11LattE's input is either the vertices (V-rep) or the inequalities (H-rep).
    2 (Ideally, it should accept both, but this is not implemented.)
    32It computes the other representation of the polyhedron (and makes other polyhedral computations) by calling either cddlib, or 4ti2.
     3(Ideally, there should be a way to feed both representations into LattE to avoid recomputation, but this is not implemented.)
    44
    5 The vertices can be rational.
     5@jdemeyer: The vertices can be rational.
    66
    7 
    8