# Context c # output in language C # no constraints on parameters 1 3 # 1 line and 3 columns # n 1 1 0 0 # 0 >= 0 always true 1 # Setting manually the parameter' sname n # The name # -------------------- Statements ------------------ 6 # Number of statements 1 # First statement: 1 domain # First domain 2 4 # 2 lines and 4 columns # i n 1 1 1 27 -1 # i >= 1 1 -1 1 28 # n >= i 0 0 0 1 # Second statement: 1 domain # First domain 4 5 # 4 lines and 5 columns # i k n 1 1 1 29 0 -1 # i >= 1 1 -1 0 1 0 # n >= i 1 0 1 0 -1 # k >= 1 1 1 -1 0 -1 # k <= i-1 0 0 0 1 # Third statement: 1 domain # First domain 2 4 # 2 lines and 4 columns # i n 1 1 1 0 -1 # i >= 1 1 -1 1 0 # n >= i 0 0 0 1 # Fourth statement: 1 domain # First domain 4 5 # 4 lines and 5 columns # i j n 1 1 1 0 0 -1 # i >= 1 1 -1 0 1 0 # n >= i 1 -1 1 0 -1 # j >= i+1 1 0 -1 1 0 # j <= n 0 0 0 1 # Fifth statement: 1 domain # First domain 6 6 # 6 lines and 6 columns # i j k n 1 1 1 0 0 0 -1 # i >= 1 1 -1 0 0 1 0 # n >= i 1 -1 1 0 0 -1 # j >= i+1 1 0 -1 0 1 0 # j <= n 1 0 0 1 0 -1 # k >= 1 1 1 0 -1 0 -1 # k <= i-1 0 0 0 1 # Sixth statement: 1 domain # First domain 4 5 # 4 lines and 5 columns # i j n 1 1 1 0 0 -1 # i >= 1 1 -1 0 1 0 # n >= i 1 -1 1 0 -1 # j >= i+1 1 0 -1 1 0 # j <= n 0 0 0 1 # We manually set the iterator names i j k # ------------------------ Scattering ------------------- 6 # Number of scattering functions # First function 3 7 # 3 lines and 7 columns # p1 p2 p3 i n 1 0 1 0 0 -2 0 -2 # p1 = 2i+2 0 0 1 0 0 0 0 # p2 = 0 0 0 0 1 0 0 0 # p3 = 0 # Second function 3 8 # 3 lines and 8 columns # p1 p2 p3 i j n 1 0 1 0 0 -2 -2 0 -1 # p1 = 2i+2j+1 0 0 1 0 0 -1 0 0 # p2 = j 0 0 0 1 0 0 0 0 # p3 = 0 # Third function 3 7 # 3 lines and 7 columns # p1 p2 p3 i n 1 0 1 0 0 -4 0 -1 # p1 = 4i+1 0 0 1 0 0 0 0 # p2 = 0 0 0 0 1 0 0 0 # p3 = 0 # Fourth function 3 8 # 3 lines and 8 columns # p1 p2 p3 i j n 1 0 1 0 0 -2 -2 0 0 # p1 = 2i+2j 0 0 1 0 1 0 0 0 # p2 = -i 0 0 0 1 0 0 0 0 # p3 = 0 # Fifth function 3 9 # 3 lines and 9 columns # p1 p2 p3 i j k n 1 0 1 0 0 -2 -2 0 0 0 # p1 = 2i+2j 0 0 1 0 1 0 0 0 -1 # p2 = -i+1 0 0 0 1 0 0 -1 0 0 # p3 = k # Sixth function 3 8 # 3 lines and 8 columns # p1 p2 p3 i j n 1 0 1 0 0 -2 -2 0 0 # p1 = 2i+2j 0 0 1 0 1 0 0 -2 # p2 = -i+2 0 0 0 1 0 0 0 0 # p3 = 0 1 # Manually set the scattering dimensions p1 p2 p3