isl_pw_qpolynomial_from_evalue: rename "dim" parameter to "space"

[barvinok.git] / tests / ehrhart / isnm

7 7
#  i j k  P  Q
0  2 3 4 -1  0  0       # 2i + 3j + 4k = P
0  3 4 2  0 -1  0       # 3i + 4j + 2k = Q

1  1 0 0  0  0  0       # i,j,k >= 0
1  0 1 0  0  0  0
1  0 0 1  0  0  0
1  0 0 0  1  0  0       # P,Q >= 0
1  0 0 0  0  1  0

0 4

P Q
ISNM example