?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
fix merge of check_poly from verif_ehrhart.c and lexmin.cc
[barvinok.git] / tests / lll6
blobc42ddf9590b37ffa7914f17e00052f0946edce05
1 D 1
2 4 5
3 1  -1   1  -2   2 
4 1  -1   0   0   1 
5 1   0   1   0   0 
6 1   1  -1   1  -1 
7
8 F 0
9 3
lattice point enumeration library