1# Context 2c # output in language C 3 4# no constraints on parameters 51 3 # 1 line and 3 columns 6 7# n 1 81 1 -30 # 0 >= 0 always true 9 101 # Setting manually the parameter' sname 11n # The name 12 13 14 15# -------------------- Statements ------------------ 166 # Number of statements 17 18 191 # First statement: 1 domain 20 21# First domain 22 232 4 # 2 lines and 4 columns 24# i n 1 251 1 27 -1 # i >= 1 261 -1 1 28 # n >= i 270 0 0 28 291 # Second statement: 1 domain 30 31# First domain 32 334 5 # 4 lines and 5 columns 34# i k n 1 351 1 29 0 -1 # i >= 1 361 -1 0 1 0 # n >= i 371 0 1 0 -1 # k >= 1 381 1 -1 0 -1 # k <= i-1 390 0 0 40 41 421 # Third statement: 1 domain 43 44# First domain 45 462 4 # 2 lines and 4 columns 47# i n 1 481 1 0 -1 # i >= 1 491 -1 1 0 # n >= i 500 0 0 51 52 531 # Fourth statement: 1 domain 54 55# First domain 56 574 5 # 4 lines and 5 columns 58# i j n 1 591 1 0 0 -1 # i >= 1 601 -1 0 1 0 # n >= i 611 -1 1 0 -1 # j >= i+1 621 0 -1 1 0 # j <= n 630 0 0 64 651 # Fifth statement: 1 domain 66 67# First domain 68 696 6 # 6 lines and 6 columns 70# i j k n 1 711 1 0 0 0 -1 # i >= 1 721 -1 0 0 1 0 # n >= i 731 -1 1 0 0 -1 # j >= i+1 741 0 -1 0 1 0 # j <= n 751 0 0 1 0 -1 # k >= 1 761 1 0 -1 0 -1 # k <= i-1 770 0 0 78 791 # Sixth statement: 1 domain 80 81# First domain 82 834 5 # 4 lines and 5 columns 84# i j n 1 851 1 0 0 -1 # i >= 1 861 -1 0 1 0 # n >= i 871 -1 1 0 -1 # j >= i+1 881 0 -1 1 0 # j <= n 890 0 0 90 91 921 # We manually set the iterator names 93i j k 94 95 96# ------------------------ Scattering ------------------- 97 986 # Number of scattering functions 99 100 101# First function 1023 7 # 3 lines and 7 columns 103# p1 p2 p3 i n 1 1040 1 0 0 -2 0 -2 # p1 = 2i+2 1050 0 1 0 0 0 0 # p2 = 0 1060 0 0 1 0 0 0 # p3 = 0 107 108# Second function 1093 8 # 3 lines and 8 columns 110# p1 p2 p3 i j n 1 1110 1 0 0 -2 -2 0 -1 # p1 = 2i+2j+1 1120 0 1 0 0 -1 0 0 # p2 = j 1130 0 0 1 0 0 0 0 # p3 = 0 114 115# Third function 1163 7 # 3 lines and 7 columns 117# p1 p2 p3 i n 1 1180 1 0 0 -4 0 -1 # p1 = 4i+1 1190 0 1 0 0 0 0 # p2 = 0 1200 0 0 1 0 0 0 # p3 = 0 121 122# Fourth function 1233 8 # 3 lines and 8 columns 124# p1 p2 p3 i j n 1 1250 1 0 0 -2 -2 0 0 # p1 = 2i+2j 1260 0 1 0 1 0 0 0 # p2 = -i 1270 0 0 1 0 0 0 0 # p3 = 0 128 129 130# Fifth function 1313 9 # 3 lines and 9 columns 132# p1 p2 p3 i j k n 1 1330 1 0 0 -2 -2 0 0 0 # p1 = 2i+2j 1340 0 1 0 1 0 0 0 -1 # p2 = -i+1 1350 0 0 1 0 0 -1 0 0 # p3 = k 136 137# Sixth function 1383 8 # 3 lines and 8 columns 139# p1 p2 p3 i j n 1 1400 1 0 0 -2 -2 0 0 # p1 = 2i+2j 1410 0 1 0 1 0 0 -2 # p2 = -i+2 1420 0 0 1 0 0 0 0 # p3 = 0 143 1441 # Manually set the scattering dimensions 145p1 p2 p3 146 147 148 149 150 151 152 153 154 155 156 157