test/manual_gauss.cloog

   1 # ---------------------- CONTEXT ----------------------
   2 c # language is C
   3
   4 # Context (no constraints on one parameter)
   5 1 3                     # 1 line and 3 columns
   6 # eq/in n  1
   7     1   0  0            # 0 >= 0, always true
   8
   9 1 # We want to set manually the parameter name
  10 n                       # parameter name
  11
  12 # --------------------- STATEMENTS --------------------
  13 2 # Number of statements
  14
  15 1 # First statement: one domain
  16 4 5                     # 4 lines and 3 columns
  17 # eq/in i  j  n  1
  18     1   1  0  0 -1      # i >= 1
  19     1  -1  0  1 -1      # i <= n-1
  20     1  -1  1  0 -1      # j >= i+1
  21     1   0 -1  1  0      # j <= n
  22 0  0  0                 # for future options
  23
  24 1
  25 # Second statement: one domain
  26 6 6                     # 6 lines and 3 columns
  27 # eq/in i  j  k  n  1
  28     1   1  0  0  0 -1   # i >= 1
  29     1  -1  0  0  1 -1   # i <= n-1
  30     1  -1  1  0  0 -1   # j >= i+1
  31     1   0 -1  0  1  0   # j <= n
  32     1  -1  0  1  0 -1   # k >= i+1
  33     1   0  0 -1  1  0   # k <= n
  34 0  0  0                 # for future options
  35
  36 0 # We let CLooG set the iterator names
  37
  38 # --------------------- SCATTERING --------------------
  39 2 # Scattering functions
  40 # First function
  41 8 13                    # 3 lines and 3 columns
  42 # eq/in p1 p2 p3 p4 p5 p6 p7 p8  i  j  n  1
  43     0    1  0  0  0  0  0  0  0 -1  0  0  0     # p1 = i
  44     0    0  1  0  0  0  0  0  0  0  0  0  0     # p2 = 0
  45     0    0  0  1  0  0  0  0  0 -1  0  0  0     # p3 = i
  46     0    0  0  0  1  0  0  0  0  0  0  0  0     # p4 = 0
  47     0    0  0  0  0  1  0  0  0  0 -1  0  0     # p5 = j
  48     0    0  0  0  0  0  1  0  0  0  0  0  0     # p6 = 0
  49     0    0  0  0  0  0  0  1  0  0  0  0  0     # p7 = 0
  50     0    0  0  0  0  0  0  0  1  0  0  0  0     # p8 = 0
  51 # Second function
  52 8 14                    # 3 lines and 3 columns
  53 # eq/in p1 p2 p3 p4 p5 p6 p7 p8  i  j  k  n  1
  54     0    1  0  0  0  0  0  0  0  0  0 -1  0  0  # p1 = k
  55     0    0  1  0  0  0  0  0  0  0  0  0  0  0  # p2 = 0
  56     0    0  0  1  0  0  0  0  0 -1  0  0  0  0  # p3 = i
  57     0    0  0  0  1  0  0  0  0  0  0  0  0  0  # p4 = 0
  58     0    0  0  0  0  1  0  0  0  0 -1  0  0  0  # p5 = j
  59     0    0  0  0  0  0  1  0  0  0  0  0  0 -1  # p6 = 1
  60     0    0  0  0  0  0  0  1  0  0  0 -1  0  0  # p7 = k
  61     0    0  0  0  0  0  0  0  1  0  0  0  0  0  # p8 = 0
  62
  63 1 # We want to set manually the scattering dimension names
  64 p1 p2 p3 p4 p5 p6 p7 p8 # scattering dimension names