tests/ehrhart/e2b.in

   1 # 0 <= i <= P
   2 # 0 <= j <= 2i+Q
   3 # 0 <= k <= i-P+R
   4 # 0 <= P,Q,R
   5 #----------------
   6
   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
  15
  16 # artificially bounded validity domain to check Preprocess2
  17 6 5
  18 1 1 0 0 0
  19 1 -1 0 0 4
  20 1 0 1 0 0
  21 1 0 0 1 0
  22 1 0 -1 0 10
  23 1 0 0 -1 10