iscc: add lexicographic operators
[barvinok.git] / tests / kristof2
blob246ca96d1c3789c5d41974b71d3ca5ef0303cfb4
1 D 1
2 8 8
3    0   1   0   0  -1   0   0   0
4    0   0   1   0   0   0   0  -6
5    0   0   0   1   0   0  -1   0
6    0   0   0   0   0   1   0  -5
7    1   0   0   0  -1   0   0   5
8    1   0   0   0   1   0   0   0
9    1   0   0   0   0   0  -1   5
10    1   0   0   0   0   0   1   0
12 F 0