isl_pw_qpolynomial_from_evalue: rename "dim" parameter to "space"

[barvinok.git] / tests / lexmin / snowbird.pip

0 4

-1

7 6
1 -1 0 0 0 0
1 1 0 0 1 0
1 0 -1 0 0 0
1 -1 1 0 0 0
1 0 0 1 0 0
1 0 0 -1 3 0
0 -1 -2 -1 0 0

Urs_unknowns