test/reservoir/QR.cloog

   1 # Language
   2 c
   3
   4 # Context
   5
   6     1 4
   7     1    0    0    1
   8 0
   9
  10 # Number of statments
  11 10
  12
  13 1
  14 # { (i,j,k) | i >= 0, -i+k-1 >= 0, 1 >= 0 }
  15
  16     3 5
  17     1    1    0    0    0
  18     1   -1    0    1   -1
  19     1    0    0    0    1
  20
  21 0 0 0
  22 1
  23 # { (i,j,k,l) | i >= 0, -i+l-1 >= 0, -i+j >= 0, -j+k-1 >= 0, 1 >= 0 }
  24
  25     5 6
  26     1    1    0    0    0    0
  27     1   -1    0    0    1   -1
  28     1   -1    1    0    0    0
  29     1    0   -1    1    0   -1
  30     1    0    0    0    0    1
  31
  32 0 0 0
  33 1
  34 # { (i,j,k) | i >= 0, -i+k-1 >= 0, 1 >= 0 }
  35
  36     3 5
  37     1    1    0    0    0
  38     1   -1    0    1   -1
  39     1    0    0    0    1
  40
  41 0 0 0
  42 1
  43 # { (i,j,k,l) | i >= 0, -i+l-1 >= 0, -i+j >= 0, -j+k-1 >= 0, 1 >= 0 }
  44
  45     5 6
  46     1    1    0    0    0    0
  47     1   -1    0    0    1   -1
  48     1   -1    1    0    0    0
  49     1    0   -1    1    0   -1
  50     1    0    0    0    0    1
  51
  52 0 0 0
  53 1
  54 # { (i,j,k) | i >= 0, -i+k-1 >= 0, 1 >= 0 }
  55
  56     3 5
  57     1    1    0    0    0
  58     1   -1    0    1   -1
  59     1    0    0    0    1
  60
  61 0 0 0
  62 1
  63 # { (i,j,k,l) | i >= 0, -i+j-1 >= 0, -j+l-1 >= 0, 1 >= 0 }
  64
  65     4 6
  66     1    1    0    0    0    0
  67     1   -1    1    0    0   -1
  68     1    0   -1    0    1   -1
  69     1    0    0    0    0    1
  70
  71 0 0 0
  72 1
  73 # { (i,j,k,l,m) | i >= 0, -i+j-1 >= 0, -j+m-1 >= 0, -i+k >= 0, -k+l-1 >= 0, 1 >= 0 }
  74
  75     6 7
  76     1    1    0    0    0    0    0
  77     1   -1    1    0    0    0   -1
  78     1    0   -1    0    0    1   -1
  79     1   -1    0    1    0    0    0
  80     1    0    0   -1    1    0   -1
  81     1    0    0    0    0    0    1
  82
  83 0 0 0
  84 1
  85 # { (i,j,k,l) | i >= 0, -i+j-1 >= 0, -j+l-1 >= 0, 1 >= 0 }
  86
  87     4 6
  88     1    1    0    0    0    0
  89     1   -1    1    0    0   -1
  90     1    0   -1    0    1   -1
  91     1    0    0    0    0    1
  92
  93 0 0 0
  94 1
  95 # { (i,j,k,l,m) | i >= 0, -i+j-1 >= 0, -j+m-1 >= 0, -i+k >= 0, -k+l-1 >= 0, 1 >= 0 }
  96
  97     6 7
  98     1    1    0    0    0    0    0
  99     1   -1    1    0    0    0   -1
 100     1    0   -1    0    0    1   -1
 101     1   -1    0    1    0    0    0
 102     1    0    0   -1    1    0   -1
 103     1    0    0    0    0    0    1
 104
 105 0 0 0
 106 1
 107 # { (i,j,k) | i >= 0, -i+k-1 >= 0, 1 >= 0 }
 108
 109     3 5
 110     1    1    0    0    0
 111     1   -1    0    1   -1
 112     1    0    0    0    1
 113
 114 0 0 0
 115 0
 116 # Scattering functions
 117 10
 118
 119     8 12
 120     0    1    0    0    0    0    0    0    0    0    0    0
 121     0    0    1    0    0    0    0    0   -1    0    0    0
 122     0    0    0    1    0    0    0    0    0    0    0   -5
 123     0    0    0    0    1    0    0    0    0    0    0    0
 124     0    0    0    0    0    1    0    0    0    0    0    0
 125     0    0    0    0    0    0    1    0    0    0    0    0
 126     0    0    0    0    0    0    0    1    0    0    0    0
 127     1    0    0    0    0    0    0    0    0    0    0    1
 128
 129
 130     8 13
 131     0    1    0    0    0    0    0    0    0    0    0    0    0
 132     0    0    1    0    0    0    0    0   -1    0    0    0   -1
 133     0    0    0    1    0    0    0    0    0    0    0    0   -1
 134     0    0    0    0    1    0    0    0    0   -1    0    0    0
 135     0    0    0    0    0    1    0    0    0    0    0    0    0
 136     0    0    0    0    0    0    1    0    0    0    0    0    0
 137     0    0    0    0    0    0    0    1    0    0    0    0    0
 138     1    0    0    0    0    0    0    0    0    0    0    0    1
 139
 140
 141     8 12
 142     0    1    0    0    0    0    0    0    0    0    0    0
 143     0    0    1    0    0    0    0    0   -1    0    0   -1
 144     0    0    0    1    0    0    0    0    0    0    0   -2
 145     0    0    0    0    1    0    0    0    0    0    0    0
 146     0    0    0    0    0    1    0    0    0    0    0    0
 147     0    0    0    0    0    0    1    0    0    0    0    0
 148     0    0    0    0    0    0    0    1    0    0    0    0
 149     1    0    0    0    0    0    0    0    0    0    0    1
 150
 151
 152     8 13
 153     0    1    0    0    0    0    0    0    0    0    0    0    0
 154     0    0    1    0    0    0    0    0   -1    0    0    0   -1
 155     0    0    0    1    0    0    0    0    0    0    0    0   -3
 156     0    0    0    0    1    0    0    0    0   -1    0    0    0
 157     0    0    0    0    0    1    0    0    0    0    0    0    0
 158     0    0    0    0    0    0    1    0    0    0    0    0    0
 159     0    0    0    0    0    0    0    1    0    0    0    0    0
 160     1    0    0    0    0    0    0    0    0    0    0    0    1
 161
 162
 163     8 12
 164     0    1    0    0    0    0    0    0    0    0    0    0
 165     0    0    1    0    0    0    0    0   -1    0    0   -1
 166     0    0    0    1    0    0    0    0    0    0    0   -6
 167     0    0    0    0    1    0    0    0    0    0    0    0
 168     0    0    0    0    0    1    0    0    0    0    0    0
 169     0    0    0    0    0    0    1    0    0    0    0    0
 170     0    0    0    0    0    0    0    1    0    0    0    0
 171     1    0    0    0    0    0    0    0    0    0    0    1
 172
 173
 174     8 13
 175     0    1    0    0    0    0    0    0    0    0    0    0    0
 176     0    0    1    0    0    0    0    0   -1    0    0    0   -2
 177     0    0    0    1    0    0    0    0    0    0    0    0    0
 178     0    0    0    0    1    0    0    0    0   -1    0    0    0
 179     0    0    0    0    0    1    0    0    0    0    0    0    0
 180     0    0    0    0    0    0    1    0    0    0    0    0    0
 181     0    0    0    0    0    0    0    1    0    0    0    0    0
 182     1    0    0    0    0    0    0    0    0    0    0    0    1
 183
 184
 185     8 14
 186     0    1    0    0    0    0    0    0    0    0    0    0    0    0
 187     0    0    1    0    0    0    0    0   -1    0    0    0    0   -2
 188     0    0    0    1    0    0    0    0    0    0    0    0    0    0
 189     0    0    0    0    1    0    0    0    0   -1    0    0    0    0
 190     0    0    0    0    0    1    0    0    0    0    0    0    0   -1
 191     0    0    0    0    0    0    1    0    0    0   -1    0    0    0
 192     0    0    0    0    0    0    0    1    0    0    0    0    0    0
 193     1    0    0    0    0    0    0    0    0    0    0    0    0    1
 194
 195
 196     8 13
 197     0    1    0    0    0    0    0    0    0    0    0    0    0
 198     0    0    1    0    0    0    0    0   -1    0    0    0   -2
 199     0    0    0    1    0    0    0    0    0    0    0    0    0
 200     0    0    0    0    1    0    0    0    0   -1    0    0    0
 201     0    0    0    0    0    1    0    0    0    0    0    0   -2
 202     0    0    0    0    0    0    1    0    0    0    0    0    0
 203     0    0    0    0    0    0    0    1    0    0    0    0    0
 204     1    0    0    0    0    0    0    0    0    0    0    0    1
 205
 206
 207     8 14
 208     0    1    0    0    0    0    0    0    0    0    0    0    0    0
 209     0    0    1    0    0    0    0    0   -1    0    0    0    0   -2
 210     0    0    0    1    0    0    0    0    0    0    0    0    0    0
 211     0    0    0    0    1    0    0    0    0   -1    0    0    0    0
 212     0    0    0    0    0    1    0    0    0    0    0    0    0   -3
 213     0    0    0    0    0    0    1    0    0    0   -1    0    0    0
 214     0    0    0    0    0    0    0    1    0    0    0    0    0    0
 215     1    0    0    0    0    0    0    0    0    0    0    0    0    1
 216
 217
 218     8 12
 219     0    1    0    0    0    0    0    0    0    0    0    0
 220     0    0    1    0    0    0    0    0   -1    0    0   -1
 221     0    0    0    1    0    0    0    0    0    0    0   -4
 222     0    0    0    0    1    0    0    0    0    0    0    0
 223     0    0    0    0    0    1    0    0    0    0    0    0
 224     0    0    0    0    0    0    1    0    0    0    0    0
 225     0    0    0    0    0    0    0    1    0    0    0    0
 226     1    0    0    0    0    0    0    0    0    0    0    1
 227
 228 0