isl_pw_qpolynomial_from_evalue: rename "dim" parameter to "space"

[barvinok.git] / tests / lexmin / 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