
20 Aug
2008
20 Aug
'08
10:05 p.m.
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