1# ---------------------- CONTEXT ---------------------- 2c # language is C 3 4# Context (no constraints on one parameter) 51 3 # 1 line and 3 columns 6# eq/in n 1 7 1 0 0 # 0 >= 0, always true 8 91 # We want to set manually the parameter name 10n # parameter name 11 12# --------------------- STATEMENTS -------------------- 132 # Number of statements 14 151 # First statement: one domain 164 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 220 0 0 # for future options 23 241 25# Second statement: one domain 266 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 340 0 0 # for future options 35 360 # We let CLooG set the iterator names 37 38# --------------------- SCATTERING -------------------- 392 # Scattering functions 40# First function 418 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 528 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 631 # We want to set manually the scattering dimension names 64p1 p2 p3 p4 p5 p6 p7 p8 # scattering dimension names 65