1# ---------------------- CONTEXT ---------------------- 2c # language is C 3 41 # Context (constraints on two parameters) 52 4 # 2 lines and 4 columns 6# eq/in m n 1 7 1 1 0 -2 # 1*m + 0*n -2*1 >= 0, i.e. m>=2 8 1 0 1 -2 # 0*m + 1*n -2*1 >= 0, i.e. n>=2 9 101 # We want to set manually the parameter names 11m n # parameter names 12 13# --------------------- STATEMENTS -------------------- 141 # Number of statements 15 161 # First statement: one domain 17# First domain 185 6 # 5 lines and 6 columns 19# eq/in i j m n 1 20 1 1 0 0 0 -2 # i >= 2 21 1 -1 0 0 1 0 # i <= n 22 1 0 1 0 0 -2 # j >= 2 23 1 0 -1 1 0 0 # j <= m 24 1 -1 -1 0 1 2 # n+2-i>=j 250 0 0 # for future options 26 271 # We want to set manually the iterator names 28i j # iterator names 29 30# --------------------- SCATTERING -------------------- 310 # No scattering functions 32