Changes between Initial Version and Version 1 of Ticket #18190, comment 9
 Timestamp:
 Apr 14, 2015, 11:40:32 PM (7 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #18190, comment 9
initial v1 1 1 LattE's input is either the vertices (Vrep) or the inequalities (Hrep). 2 (Ideally, it should accept both, but this is not implemented.)3 2 It 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.) 4 4 5 The vertices can be rational.5 @jdemeyer: The vertices can be rational. 6 6 7 8