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