tests/ehrhart/g12.in

   1 # Gauss Anticipated memory: second dependence
   2 #
   3 # lambda = ( 0 1 1 )
   4 #
   5 # sigma(X and Y) = ( 1 0 0 )
   6 #                  ( 0 1 0 )
   7
   8 # P = i0, Q = j0, R = k0
   9 # S = N
  10 # T = a0, U = a1
  11 #  i  j  k  P  Q  R  S  T  U  cte
  12 #          i0 j0 k0  N a0 a1
  13 8 11
  14 0  1  0  0  0  0  0  0 -1  0   0   # i = a_0
  15 0  0  1 -1  0  0  0  0  0  0  -1   # j = k+1
  16 1  0 -1  0  0  0  1  0  0  0   1   # j <=  k0 + 1
  17 1  0  1  0  0 -1 -1  0  0  1  -1   # j >= j0 + k0 - a1 + 1
  18 1  0  1  0  0  0  0  0  0  0  -1   # j>= 1
  19 1  0 -1  0  0  0  0  1  0  0  -1   # j<= N-1
  20 1  0 -1  0  0  0  0  0  1  0  -1   # j<= a0-1
  21 1  0 -1  0  0  0  0  0  0  1  -1   # j<= a1-1
  22
  23
  24 # 6 params
  25 #  P  Q  R  S  T  U cte
  26 # i0 j0 k0  N a0 a1
  27 9 8
  28 1  0  0  0  1  0  0  1   # N >= 1
  29 1  1  0 -1  0  0  0 -2   # i0 >= k0+2    (i0,j0,k0) an emission point
  30 1 -1  0  0  1  0  0  0   # i0 <= N
  31 0  0  1 -1  0  0  0 -1   # j0 = k0 + 1
  32 1  0  0  1  0  0  0  0   # k0 >= 0
  33 1  0  0 -1  1  0  0 -2   # k0 <= N-2
  34 0  1  0  0  0 -1  0  0   # a0 = i0        (a0,a1) a utilization proc.
  35 1  0  0 -1  0  0  1 -2   # a1 >= k0 + 2
  36 1  0  0  0  1  0 -1  1   # a1 <= N + 1
  37
  38
  39 i0 j0 k0 N a0 a1
  40 Memory - Gauss Pivot
  41