tests/ehrhart/g5.in

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