merge check_poly from verif_ehrhart.c and lexmin.cc
[barvinok.git] / tests / lexmin / test3i.pip
blob54eefa16a18f76b50665ef5262665d0a96d949cc
1 0 2
3 -1
5 3 5
6 1 1 0 0 -2
7 1 1 2 0 -3
8 1 1 2 3 -7