isl_pw_qpolynomial_from_evalue: rename "dim" parameter to "space"
[barvinok.git] / tests / lexmin / ex.pip
bloba405450b2adea18893992b211d8c5eaa02791c71
1 1 5
2 1 -1  1  1  0 
4 -1
6 3 7
7 1  0 -1  0  1  0  0 
8 1 -1  0  0  0  1  0 
9 1  1  1 -1  0  0  0