test/reservoir/liu-zhuge1.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 3
  12
  13 1
  14 # { (i,j,k,l) | i >= 0, -i+k >= 0, j >= 0, -j+l >= 0, 1 >= 0 }
  15
  16     5 6
  17     1    1    0    0    0    0
  18     1   -1    0    1    0    0
  19     1    0    1    0    0    0
  20     1    0   -1    0    1    0
  21     1    0    0    0    0    1
  22
  23 0 0 0
  24 1
  25 # { (i,j,k,l) | i >= 0, -i+k >= 0, j >= 0, -j+l >= 0, 1 >= 0 }
  26
  27     5 6
  28     1    1    0    0    0    0
  29     1   -1    0    1    0    0
  30     1    0    1    0    0    0
  31     1    0   -1    0    1    0
  32     1    0    0    0    0    1
  33
  34 0 0 0
  35 1
  36 # { (i,j,k,l) | i >= 0, -i+k >= 0, j >= 0, -j+l >= 0, 1 >= 0 }
  37
  38     5 6
  39     1    1    0    0    0    0
  40     1   -1    0    1    0    0
  41     1    0    1    0    0    0
  42     1    0   -1    0    1    0
  43     1    0    0    0    0    1
  44
  45 0 0 0
  46 0
  47 # Scattering functions
  48 3
  49
  50     6 11
  51     0    1    0    0    0    0    0    0    0    0    0
  52     0    0    1    0    0    0   -3   -1    0    0    4
  53     0    0    0    1    0    0    0    0    0    0    0
  54     0    0    0    0    1    0    0   -1    0    0    0
  55     0    0    0    0    0    1    0    0    0    0    0
  56     1    0    0    0    0    0    0    0    0    0    1
  57
  58
  59     6 11
  60     0    1    0    0    0    0    0    0    0    0    0
  61     0    0    1    0    0    0   -3   -1    0    0    0
  62     0    0    0    1    0    0    0    0    0    0    0
  63     0    0    0    0    1    0    0   -1    0    0    0
  64     0    0    0    0    0    1    0    0    0    0    0
  65     1    0    0    0    0    0    0    0    0    0    1
  66
  67
  68     6 11
  69     0    1    0    0    0    0    0    0    0    0    0
  70     0    0    1    0    0    0   -3   -1    0    0    0
  71     0    0    0    1    0    0    0    0    0    0   -1
  72     0    0    0    0    1    0    0   -1    0    0    0
  73     0    0    0    0    0    1    0    0    0    0    0
  74     1    0    0    0    0    0    0    0    0    0    1
  75
  76 0