update isl for keeping track of user options

[barvinok.git] / tests / equality6

D 1
5 5
0   0    1    2   -1 
1  -1    0    0    1 
1   1    0    0    0 
1   0    0   -2    1 
1   0    0    1    0 
F 0
2