util.c: manual_count: use isl_val
[barvinok.git] / tests / ehrhart / isnm
blob683a1de93e62335d01410cfa1b9f971ebe420749
2 7 7
3 #  i j k  P  Q
4 0  2 3 4 -1  0  0       # 2i + 3j + 4k = P
5 0  3 4 2  0 -1  0       # 3i + 4j + 2k = Q
7 1  1 0 0  0  0  0       # i,j,k >= 0
8 1  0 1 0  0  0  0
9 1  0 0 1  0  0  0
10 1  0 0 0  1  0  0       # P,Q >= 0
11 1  0 0 0  0  1  0
13 0 4
15 P Q
16 ISNM example