polysign: add isl-backed version and use it by default
[barvinok.git] / tests / decomposition4
blob69dd685c2fc2bc886bc3010580d3095e38bd5b75
1 D 1
2 9 5
3 1   4   1  -4  -1
4 1   0  -1   0   5
5 1   0   0   1   0 
6 1  -1   0   1   1 
7 1  -6  -1   5  11 
8 1   0   0  -1   1
9 1   0  -1   0   1
10 1   1   0   0  -1
11 1   0   1   0   0
13 F 0