isl_pw_qpolynomial_from_evalue: rename "dim" parameter to "space"

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

2 4
0 2 -3 10
1 1  0  0

-1

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

Urs_unknowns