add some small tests for lexmin

[barvinok.git] / tests / lexmin / test7i.pip

0 2

-1

7 9
1 1 0 0 0 0 0 0 -2
1 1 2 0 0 0 0 0 -3
1 1 2 3 0 0 0 0 -7
1 1 2 3 4 0 0 0 -25
1 1 2 3 4 5 0 0 -121
1 1 2 3 4 5 6 0 -721
1 1 2 3 4 5 6 7 -5041