?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
generalize isl_pw_qpolynomial_bound to isl_pw_qpolynomial_fold_bound
[isl.git] / test_inputs / convex5.polylib
blob3aae7c26bcfc28c70cfaa9c021fff48db94ed67a
1 2 4
2 0 1 0 -2
3 0 0 1 -6
4
5 2 4
6 0 1 0 -1
7 0 0 1 -4
8
9 3 4
10 0 -2 1 -2
11 1  1 0 -1
12 1 -1 0  2
Integer set library