tests/ehrhart/g4.in

   1 # Gauss Anticipated memory: dependence 4
   2 #
   3 # lambda = ( 1 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 6 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 -1  0  0  0  0  1  0  0  0   1   # i <= k0 + 1
  16 1  1  0  0 -1 -1 -1  0  1  1  -1   # i >= i0 + j0 + k0 - a0 - a1 + 1
  17 1  1  0  0  0  0  0  0  0  0  -1   # i>= 1
  18 1 -1  0  0  0  0  0  1  0  0  -1   # i<= N-1
  19
  20 # 6 params
  21 #  P  Q  R  S  T  U cte
  22 # i0 j0 k0  N a0 a1
  23 9 8
  24 1  0  0  0  1  0  0 -1   # N >= 1
  25 0  1  0 -1  0  0  0 -1   # i0 = k0 + 1
  26 0  0  1 -1  0  0  0 -1   # j0 = k0 + 1
  27 1  0  0  1  0  0  0  0   # k0 >= 0
  28 1  0  0 -1  1  0  0 -2   # k0 <= N-2
  29 1  0  0 -1  0  1  0 -1   # a0 >= k0 + 1
  30 1  0  0  0  1 -1  0  0   # a0 <= N
  31 1  0  0 -1  0  0  1 -1   # a1 >= k0 + 1
  32 1  0  0  0  1  0 -1  1   # a1 <= N + 1
  33
  34
  35 i0 j0 k0 N a0 a1
  36 Memory - Gauss Pivot
  37
  38
  39 # Result :
  40 ---------------------------------------
  41 Domain :
  42          3R - T - U + 2 >= 0
  43
  44           P - R  -1 = 0
  45          Q - R  -1 = 0
  46          - R + T  -1 >= 0
  47          - R + S  -2 >= 0
  48          S - T  >= 0
  49          - R + U  -1 >= 0
  50          S - U + 1 >= 0
  51           1 >= 0
  52
  53 Vertices :
  54 [ 3R-T-U+4,  3R-T-U+4,  3R-T-U+3 ]
  55 [ R+2,  R+2,  R+1 ]
  56 Ehrhart Polynomial:
  57 ( -1 * P + ( -1 * Q + ( 1 * T + ( 1 * U + 1 )
  58  )
  59  )
  60  )
  61 tststs
  62 ( -1 * P + ( -1 * Q + ( 1 * T + ( 1 * U + 1 )
  63  )
  64  )
  65  )
  66
  67
  68 #  P  Q  R  S  T  U cte
  69 # i0 j0 k0  N a0 a1
  70 ---------------------------------------
  71 Domain :
  72          -3R + T + U  -2 >= 0
  73          R  >= 0
  74
  75          P - R  -1 = 0
  76          Q - R  -1 = 0
  77          - R + U  -1 >= 0
  78          S - T  >= 0
  79          - R + S  -2 >= 0
  80          - R + T  -1 >= 0
  81          S - U + 1 >= 0
  82           1 >= 0
  83
  84 Vertices :
  85 [ 2,  2,  1 ]
  86
  87 Ehrhart Polynomial:
  88 ( 1 )
  89