update pet to version 0.06

[barvinok.git] / tests / ehrhart / t4.in

3 5
0 0 1 -1 5
1 1 -1 0 0
1 -1 0 1 0

2 4
1 1 0 0
1 0 1 0

M N
depending parameters test
--------------------
m = n-5
m <= x <= n