iscc: add lexicographic operators

[barvinok.git] / tests / supporting2

D 1
6 5
1   1   0   0  -1 
1  -1  -1   0   2 
1  -1   1   2   0 
1   0   1   0   0 
1   2   1  -2  -1 
1   0   0  -1   1 

F 0
3