[PPL-devel] PPL and simplification of polyhedra

[Albert Cohen]

Hi Roberto,

> 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?
> Cheers,

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.

Albert