test/vivien2.cloog

   1 #    Context
   2 c # output in language C
   3
   4 # no constraints on parameters
   5 1 3 # 1 line and 3 columns
   6
   7 # n 1
   8 1 1 -30  # 0 >= 0 always true
   9
  10 1       # Setting manually the parameter' sname
  11 n       # The name
  12
  13
  14
  15 # --------------------  Statements  ------------------
  16 6 # Number of statements
  17
  18
  19 1 # First statement: 1 domain
  20
  21 # First domain
  22
  23 2 4                     # 2 lines and 4 columns
  24 #   i   n    1
  25 1   1   27   -1         # i >= 1
  26 1  -1   1    28         # n >= i
  27 0 0 0
  28
  29 1 # Second statement: 1 domain
  30
  31 # First domain
  32
  33 4 5                     # 4 lines and 5 columns
  34 #   i   k   n    1
  35 1   1   29   0   -1             # i >= 1
  36 1  -1   0   1    0              # n >= i
  37 1   0   1   0   -1              # k >= 1
  38 1   1  -1   0   -1              # k <= i-1
  39 0 0 0
  40
  41
  42 1 # Third statement: 1 domain
  43
  44 # First domain
  45
  46 2 4                     # 2 lines and 4 columns
  47 #   i   n    1
  48 1   1   0   -1          # i >= 1
  49 1  -1   1    0          # n >= i
  50 0 0 0
  51
  52
  53 1 # Fourth statement: 1 domain
  54
  55 # First domain
  56
  57 4 5                     # 4 lines and 5 columns
  58 #   i   j   n    1
  59 1   1   0   0   -1              # i >= 1
  60 1  -1   0   1    0              # n >= i
  61 1  -1   1   0   -1              # j >= i+1
  62 1   0  -1   1    0              # j <= n
  63 0 0 0
  64
  65 1 # Fifth statement: 1 domain
  66
  67 # First domain
  68
  69 6 6                     # 6 lines and 6 columns
  70 #   i   j   k   n    1
  71 1   1   0   0   0   -1          # i >= 1
  72 1  -1   0   0   1    0          # n >= i
  73 1  -1   1   0   0   -1          # j >= i+1
  74 1   0  -1   0   1    0          # j <= n
  75 1   0   0   1   0   -1          # k >= 1
  76 1   1   0  -1   0   -1          # k <= i-1
  77 0 0 0
  78
  79 1 # Sixth statement: 1 domain
  80
  81 # First domain
  82
  83 4 5                     # 4 lines and 5 columns
  84 #   i   j   n    1
  85 1   1   0   0   -1              # i >= 1
  86 1  -1   0   1    0              # n >= i
  87 1  -1   1   0   -1              # j >= i+1
  88 1   0  -1   1    0              # j <= n
  89 0 0 0
  90
  91
  92 1 # We manually set the iterator names
  93 i j k
  94
  95
  96 # ------------------------ Scattering -------------------
  97
  98 6 # Number of scattering functions
  99
 100
 101 # First function
 102 3 7                                     # 3 lines and 7 columns
 103 #   p1  p2  p3   i   n   1
 104 0    1   0   0  -2   0  -2              # p1 = 2i+2
 105 0    0   1   0   0   0   0              # p2 = 0
 106 0    0   0   1   0   0   0              # p3 = 0
 107
 108 # Second function
 109 3 8                                     # 3 lines and 8 columns
 110 #   p1  p2  p3   i   j   n   1
 111 0    1   0   0  -2  -2   0  -1          # p1 = 2i+2j+1
 112 0    0   1   0   0  -1   0   0          # p2 = j
 113 0    0   0   1   0   0   0   0          # p3 = 0
 114
 115 # Third function
 116 3 7                                     # 3 lines and 7 columns
 117 #   p1  p2  p3   i   n   1
 118 0    1   0   0  -4   0  -1              # p1 = 4i+1
 119 0    0   1   0   0   0   0              # p2 = 0
 120 0    0   0   1   0   0   0              # p3 = 0
 121
 122 # Fourth function
 123 3 8                                     # 3 lines and 8 columns
 124 #   p1  p2  p3   i   j   n   1
 125 0    1   0   0  -2  -2   0   0          # p1 = 2i+2j
 126 0    0   1   0   1   0   0   0          # p2 = -i
 127 0    0   0   1   0   0   0   0          # p3 = 0
 128
 129
 130 # Fifth function
 131 3 9                                     # 3 lines and 9 columns
 132 #   p1  p2  p3   i   j   k   n   1
 133 0    1   0   0  -2  -2   0   0   0      # p1 = 2i+2j
 134 0    0   1   0   1   0   0   0  -1      # p2 = -i+1
 135 0    0   0   1   0   0  -1   0   0      # p3 = k
 136
 137 # Sixth function
 138 3 8                                     # 3 lines and 8 columns
 139 #   p1  p2  p3   i   j   n   1
 140 0    1   0   0  -2  -2   0   0          # p1 = 2i+2j
 141 0    0   1   0   1   0   0  -2          # p2 = -i+2
 142 0    0   0   1   0   0   0   0          # p3 = 0
 143
 144 1 # Manually set the scattering dimensions
 145 p1 p2 p3
 146
 147
 148
 149
 150
 151
 152
 153
 154
 155
 156