?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
add generic isl_pw_qpolynomial_bound
[barvinok.git] / tests / lll4
blobdcc134ff4b1e11051584a1a7cc8da1711f357c68
1 D 1
2 4 5
3 1  -1  -1   0   1 
4 1   1   1   1  -1 
5 1   0   1   0   0 
6 1  -1  -2  -2   2 
7
8 F 0
9 3
lattice point enumeration library