[PPL-devel] PPL and simplification of polyhedra

[Sven Verdoolaege]

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?

skimo