[PPL-devel] PPL and simplification of polyhedra
Albert.Cohen at inria.fr
Fri Aug 15 18:04:29 CEST 2008
> Sorry, but I am not following. When you obtain a minimized constraint
> or generator system for a polyhedron from the PPL, you don't get
> any redundancy. In particular, you do not get constraints that
> are subsumed by others. Can you specify precisely the operation
> that you would like the PPL to provide?
The concept is called "gist" in Omega, and simplification under a
context in PolyLib. You'd like to run the simplification with the
assumption that some constraints are already enforced, and only retain
the additional constraints (minimized) to define a given sub-polyhedron.
More information about the PPL-devel