[PPL-devel] PPL and simplification of polyhedra

[Roberto Bagnara]

Sven Verdoolaege wrote:
> On Wed, Aug 20, 2008 at 09:46:07PM +0200, Roberto Bagnara wrote:
>> if you run the attached input through PolyLib's polytestgmp,
>> you will obtain:
>>
>> $ ./polytestgmp </tmp/simplify_bug.in
>> 1 3
>>    1    0    1
> 
> I don't think so:
> 
> bash-3.00$ ~/obj/barvinok/polylib/polytestgmp < simplify_bug.in 
> 2 3
>    1    1    0 
>    1    0    1 
> 
> What version of PolyLib are you using?

The latest one: 5.22.3.  And you?

-- 
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