test/reservoir/mg-rprj3.cloog

   1 # Language
   2 c
   3
   4 # Context
   5
   6     1 8
   7     1    0    0    0    0    0    0    1
   8 0
   9
  10 # Number of statments
  11 5
  12
  13 1
  14 # { (i,j,k,l,m,n,o,p,q) | i-2 >= 0, -i+n-1 >= 0, j-2 >= 0, -j+m-1 >= 0, k-2 >= 0, -k+l >= 0, 1 >= 0 }
  15
  16     7 11
  17     1    1    0    0    0    0    0    0    0    0   -2
  18     1   -1    0    0    0    0    1    0    0    0   -1
  19     1    0    1    0    0    0    0    0    0    0   -2
  20     1    0   -1    0    0    1    0    0    0    0   -1
  21     1    0    0    1    0    0    0    0    0    0   -2
  22     1    0    0   -1    1    0    0    0    0    0    0
  23     1    0    0    0    0    0    0    0    0    0    1
  24
  25 0 0 0
  26 1
  27 # { (i,j,k,l,m,n,o,p,q) | i-2 >= 0, -i+n-1 >= 0, j-2 >= 0, -j+m-1 >= 0, k-2 >= 0, -k+l >= 0, 1 >= 0 }
  28
  29     7 11
  30     1    1    0    0    0    0    0    0    0    0   -2
  31     1   -1    0    0    0    0    1    0    0    0   -1
  32     1    0    1    0    0    0    0    0    0    0   -2
  33     1    0   -1    0    0    1    0    0    0    0   -1
  34     1    0    0    1    0    0    0    0    0    0   -2
  35     1    0    0   -1    1    0    0    0    0    0    0
  36     1    0    0    0    0    0    0    0    0    0    1
  37
  38 0 0 0
  39 1
  40 # { (i,j,k,l,m,n,o,p,q) | i-2 >= 0, -i+n-1 >= 0, j-2 >= 0, -j+m-1 >= 0, k-2 >= 0, -k+l-1 >= 0, 1 >= 0 }
  41
  42     7 11
  43     1    1    0    0    0    0    0    0    0    0   -2
  44     1   -1    0    0    0    0    1    0    0    0   -1
  45     1    0    1    0    0    0    0    0    0    0   -2
  46     1    0   -1    0    0    1    0    0    0    0   -1
  47     1    0    0    1    0    0    0    0    0    0   -2
  48     1    0    0   -1    1    0    0    0    0    0   -1
  49     1    0    0    0    0    0    0    0    0    0    1
  50
  51 0 0 0
  52 1
  53 # { (i,j,k,l,m,n,o,p,q) | i-2 >= 0, -i+n-1 >= 0, j-2 >= 0, -j+m-1 >= 0, k-2 >= 0, -k+l-1 >= 0, 1 >= 0 }
  54
  55     7 11
  56     1    1    0    0    0    0    0    0    0    0   -2
  57     1   -1    0    0    0    0    1    0    0    0   -1
  58     1    0    1    0    0    0    0    0    0    0   -2
  59     1    0   -1    0    0    1    0    0    0    0   -1
  60     1    0    0    1    0    0    0    0    0    0   -2
  61     1    0    0   -1    1    0    0    0    0    0   -1
  62     1    0    0    0    0    0    0    0    0    0    1
  63
  64 0 0 0
  65 1
  66 # { (i,j,k,l,m,n,o,p,q) | i-2 >= 0, -i+n-1 >= 0, j-2 >= 0, -j+m-1 >= 0, k-2 >= 0, -k+l-1 >= 0, 1 >= 0 }
  67
  68     7 11
  69     1    1    0    0    0    0    0    0    0    0   -2
  70     1   -1    0    0    0    0    1    0    0    0   -1
  71     1    0    1    0    0    0    0    0    0    0   -2
  72     1    0   -1    0    0    1    0    0    0    0   -1
  73     1    0    0    1    0    0    0    0    0    0   -2
  74     1    0    0   -1    1    0    0    0    0    0   -1
  75     1    0    0    0    0    0    0    0    0    0    1
  76
  77 0 0 0
  78 0
  79 # Scattering functions
  80 5
  81
  82     8 18
  83     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
  84     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0
  85     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0
  86     0    0    0    0    1    0    0    0    0   -1    0    0    0    0    0    0    0    0
  87     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0   -2
  88     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0
  89     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0
  90     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
  91
  92
  93     8 18
  94     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
  95     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0
  96     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0
  97     0    0    0    0    1    0    0    0    0   -1    0    0    0    0    0    0    0   -1
  98     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0
  99     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0
 100     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0   -1
 101     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
 102
 103
 104     8 18
 105     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 106     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0
 107     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 108     0    0    0    0    1    0    0    0    0   -1    0    0    0    0    0    0    0   -1
 109     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0   -1
 110     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0
 111     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0
 112     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
 113
 114
 115     8 18
 116     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 117     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0
 118     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 119     0    0    0    0    1    0    0    0    0   -1    0    0    0    0    0    0    0   -1
 120     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0   -1
 121     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    1
 122     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0   -2
 123     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
 124
 125
 126     8 18
 127     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 128     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0
 129     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 130     0    0    0    0    1    0    0    0    0   -1    0    0    0    0    0    0    0   -1
 131     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0   -1
 132     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0
 133     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0   -1
 134     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
 135
 136 0