polysign: add isl-backed version and use it by default

[barvinok.git] / tests / product3

D 1
6 6
1    32    15    45    10    0
1    19     9    27     6    0
1   -51   -24   -72   -16   10
1    12     6    19     4    0
1    38    19    57    13    0
1   -50   -25   -76   -17   10
F 0
4356