Re: [PPL-devel] PPL and simplification of polyhedra

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?