Re: [PPL-devel] Closed versus NNC polyhedra

Tobias Grosser wrote:

On Thu, 2009-07-09 at 16:52 +0200, Michael Classen wrote:

...

...

They do not. However at the moment we are working on R^n. We should move to integral polyhedron.

Tobi

You say that as if it is very easy... is there already a simple way of dealing with integral polyhedrons in PPL? If so, I should maybe tell Patricia that she shouldn't work too hard on this new datatype...?

No. I am waiting for Patricia's work. I think this is the way to go.

Hi there.

Can you please explain what you mean by "integral polyhedron", "new datatype" and "Patricia's work"? Please do not be afraid to (re)state the obvious: I am sure there is one or more misunderstandings here. Cheers,

Roberto