isl_pw_qpolynomial_from_evalue: rename "dim" parameter to "space"
[barvinok.git] / tests / lexmin / lineri-urs.pip
blob2e54c9c0b211b026b56a8ea5bbce84d5f9e08794
1 1 3
2 1 -1 9999
4 -1
6 3 4
7 1 -1 0 99
8 1 -100 1 0
9 1 100 -1 99
11 Urs_parms
12 Urs_unknowns