generalize isl_pw_qpolynomial_bound to isl_pw_qpolynomial_fold_bound

[isl.git] / test_inputs / boulet.pip

0 3

-1

5 6
1 1 -1  2 0 0
1 0  1  1 4 20
1 0 -1 -1 0 0
1 0  1 -1 2 10
1 0 -1  1 2 10

Urs_parms
Urs_unknowns