1# language: C 2c 3 4# The context (no constraints on parameters) 51 4 # 1 lines and 4 columns 6# m n 1 71 0 0 0 # 0 >= 0, always true 81 # We want to set the parameter names 9m n 10 112 # The number of statements 12 132 # First statement 14# The first domain 153 5 # 3 lines and 5 columns 16# i m n 1 171 1 0 0 -1 # i >= 1 181 -1 0 1 0 # i <= n 191 -1 2 0 0 # i <= 2*m 20# The second domain 213 5 # 3 lines and 5 columns 22# i m n 1 231 1 0 0 -1 # i >= 1 241 -1 0 1 0 # i <= n 251 1 -1 0 0 # i >= m 260 0 0 27 281 # Second statement 294 6 # 4 lines and 6 columns 30# i j m n 1 311 1 0 0 0 -1 # i >= 1 321 -1 0 0 1 0 # i <= n 331 0 1 0 0 -1 # j >= 1 341 0 -1 1 0 0 # j <= m 350 0 0 360 37 380 # Scattering functions 39# The first function 402 7 # 2 lines and 7 columns 41# c1 c2 i m n 1 420 1 0 -1 0 0 0 # c1 = i 430 0 1 0 0 0 0 # c2 = 0 44# The second function 452 8 # 2 lines and 8 columns 46# c1 c2 i j m n 1 470 1 0 0 0 0 -1 0 # c1 = n 480 0 1 -1 -1 0 0 0 # c2 = i+j 490 50