tests/ehrhart/g14.in

   1 # Gauss Anticipated memory: dependence 4
   2 #
   3 # lambda = ( 0 1 1 )
   4 #
   5 # sigma(X and Y) = ( 1 0 0 )
   6 #                  ( 0 1 0 )
   7
   8 8 11
   9 #  i  j  k i0 j0 k0  N a0 a1  cte
  10 0  1  0 -1  0  0  0  0  0  0  -1   # i = k+1
  11 0  0  1 -1  0  0  0  0  0  0  -1   # j = k+1
  12 1 -1  0  0  0  0  1  0  0  0   1   # i <= k0 + 1
  13 1  1  0  0  0 -1 -1  0  0  1  -1   # i >= j0 + k0 - a1 + 1
  14 1  1  0  0  0  0  0  0  0  0  -1   # i>= 1
  15 1 -1  0  0  0  0  0  1  0  0  -1   # i<= N-1
  16 1 -1  0  0  0  0  0  0  1  0  -1   # i<= a0-1
  17 1 -1  0  0  0  0  0  0  0  1  -1   # i<= a1-1
  18
  19
  20 # 6 params
  21 9 8
  22 # i0 j0 k0  N a0 a1
  23 1  0  0  0  1  0  0 -1   # N >= 1
  24 0  1  0 -1  0  0  0 -1   # i0 = k0 + 1
  25 0  0  1 -1  0  0  0 -1   # j0 = k0 + 1
  26 1  0  0  1  0  0  0  0   # k0 >= 0
  27 1  0  0 -1  1  0  0 -2   # k0 <= N-2
  28 1  0  0 -1  0  1  0 -1   # a0 >= k0 + 1
  29 1  0  0  0  1 -1  0  0   # a0 <= N
  30 1  0  0 -1  0  0  1 -1   # a1 >= k0 + 1
  31 1  0  0  0  1  0 -1  1   # a1 <= N + 1
  32
  33
  34 i0 j0 k0 N a0 a1
  35 Memory - Gauss Pivot
  36