polysign: add isl-backed version and use it by default
[barvinok.git] / tests / decomposition16
blobbdf14eac929ba502db29e4ca64b0ccc85700de50
1 D 1
2 7 5
3 1   6   1  -6  -6 
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   2
11 F 0