[PPL-devel] Closed versus NNC polyhedra

[Roberto Bagnara]

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

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it