1# ---------------------- CONTEXT ---------------------- 2c # language is C 3 4# Context (no constraints on two parameters) 51 4 # 1 lines and 4 columns 6# eq/in m n 1 7 1 0 0 0 # 0 >= 0, always true 8 91 # We want to set manually the parameter names 10m n # parameter names 11 12# --------------------- STATEMENTS -------------------- 132 # Number of statements 14 152 # First statement: two domains 16# First domain 173 5 # 3 lines and 5 columns 18# eq/in i m n 1 19 1 1 0 0 -1 # i >= 1 20 1 -1 0 1 0 # i <= n 21 1 1 -1 0 0 # i >= m 22# Second domain 233 5 # 3 lines and 5 columns 24# eq/in i m n 1 25 1 1 0 0 -1 # i >= 1 26 1 -1 0 1 0 # i <= n 27 1 -1 2 0 0 # i <= 2*m 280 0 0 # for future options 29 301 # Second statement: one domain 314 6 # 4 lines and 6 columns 32# eq/in i j m n 1 33 1 1 0 0 0 -1 # i >= 1 34 1 -1 0 0 1 0 # i <= n 35 1 -1 1 0 0 -1 # j >= i+1 36 1 0 -1 1 0 0 # j <= m 370 0 0 # for future options 38 391 # We want to set manually the iterator names 40i j # iterator names 41 42# --------------------- SCATTERING -------------------- 432 # Scattering functions 44# First function 452 7 # 2 lines and 7 columns 46# eq/in p1 p2 i m n 1 47 0 1 0 -1 0 0 0 # p1 = i 48 0 0 1 0 0 0 0 # p2 = 0 49# Second function 502 8 # 2 lines and 8 columns 51# eq/in p1 p2 i j m n 1 52 0 1 0 0 0 0 -1 0 # p1 = n 53 0 0 1 -1 -1 0 0 0 # p2 = i+j 54 551 # We want to set manually the scattering dimension names 56p1 p2 # scattering dimension names 57