evalue_isl.c: add_guarded_qp: drop unused variable
[barvinok.git] / tests / ehrhart / e2.in
blob131648ae3bf73cbd0b3c69bffde5e0af0c29be5f
1 # 0 <= i <= P
2 # 0 <= j <= 2i+Q
3 # 0 <= k <= i-P+R
4 # 0 <= P,Q,R
5 #----------------
7 #  i  j  k   P  Q  R  cte
8 6 8
9 1  1  0  0   0  0  0   0        # i >= 0
10 1 -1  0  0   1  0  0   0        # i <= P
11 1  0  1  0   0  0  0   0        # j >= 0
12 1  2 -1  0   0  1  0   0        # j <= 2i+Q
13 1  0  0  1   0  0  0   0        # k >= 0
14 1  1  0 -1  -1  0  1   0        # k <= i-P+R
16 3 5
17 1 1 0 0 0
18 1 0 1 0 0
19 1 0 0 1 0