?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
summate.c: add_unbounded_guarded_qp: update to change in isl_pw_* space
[barvinok.git] / tests / decomposition15
blobcde2f8d1eccaf4467952730890b68cfedb8b148b
1 D 1
2 7 5
3 1   6   1  -6  -6 
4 1   0  -1   0   5
5 1   0   0   1   0 
6 1  -1   0   1   1 
7 1  -6  -1   5  11 
8 1   0   0  -1   1
9 1   0  -1   0   3
10
11 F 0
12 8
lattice point enumeration library