tests/ehrhart/g1.in

   1 # Gauss Anticipated memory
   2 #
   3 # lambda = ( 1 1 1 )
   4 #
   5 # sigma = ( 1 0 0 )
   6 #         ( 0 1 0 )
   7
   8 # P = a1, Q = a2
   9 # R = i0, S = j0, T = k0
  10 # U = N
  11 #  i  j  k  P  Q  R  S  T  U  cte
  12 7 11
  13 0  1  0 -1  0  0  0  0  0  0  -1   # i = k+1
  14 0  0  1 -1  0  0  0  0  0  0  -1   # j = k+1
  15 1  0  0  1  0  0  0  0  0  0  -1   # k >= 1
  16 1  0  0 -1  1  0  0  0  0  0   0   # k <= a1
  17 1  0  0 -1  0  1  0  0  0  0   0   # k <= a2
  18 1  0  0  1  1  1 -1 -1 -1  0  -1   # a1 + a2 + k >= i0 + j0 + k0 + 1
  19 1  0  0 -1 -1 -1  0  0  1  2   1   # a1 + a2 + k <= k0 + 2 N + 1
  20
  21 # 6 params
  22 #  P  Q  R  S  T  U cte
  23 11 8
  24 1  0  0  0  0  0  1  0   # N >= 0
  25 1  0  0  1  0 -1  0  0   # i0 >= k0
  26 1  0  0 -1  0  0  1  1   # i0 <= N + 1
  27 1  0  0  0  1 -1  0  0   # j0 >= k
  28 1  0  0  0 -1  0  1  0   # j0 <= N
  29 1  0  0  0  0  1  0 -1   # k0 >= 1
  30 1  0  0  0  0 -1  1  0   # k0 <= N
  31 1  1  0  0  0 -1  0  0   # a1 >= k0
  32 1 -1  0  0  0  0  1  1   # a1 <= N + 1
  33 1  0  1  0  0 -1  0  0   # a2 >= k
  34 1  0 -1  0  0  0  1  0   # a2 <= N
  35