isl_pw_qpolynomial_from_evalue: rename "dim" parameter to "space"

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

1 3
#  n  1
1  1 -1 # n >= 1
-1

2 4
#  i  n  1
1  1  0  1 # i >= -1
1 -1  1  0 # i <= n

Urs_unknowns