merge check_poly from verif_ehrhart.c and lexmin.cc
[barvinok.git] / tests / non-integer
blob1e61d4df32a61014a7f760a48fbeefdb7a47cfdb
1 D 1
2 3 4
3    1   2  -1   0
4    1   0   1   0
5    1  -2  -3   6
6 F 0