generalize isl_pw_qpolynomial_bound to isl_pw_qpolynomial_fold_bound
[isl.git] / test_inputs / convex8.polylib
blobea1b757108c44fbb680080e69496c1c9b15726f0
1 4 5
2 1   1    1    1    0
3 1   0   -1    0    0
4 1  -1    0    0    2
5 1   1    1   -1    0
7 4 5
8 1  -1    1    0    2
9 1   1   -2   -2   -1
10 1  -1    0    2    3
11 1   1    0    0   -1
13 10 5
14 1   1    0    1    0
15 1   1    1    0    0
16 1   0    1    1    2
17 1  -3    1   -1    8
18 1  -3    1    1    8
19 1   0    1   -1    2
20 1   1    0   -1    0
21 1   1   -2   -1    0
22 1  -1   -3    2    6
23 1   1   -5   -2    2