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