1# language: C 2c 3 4# One parameter : n 51 3 6# n 1 71 0 1 8# We want to set the parameter names... 91 10# and 'n' is the name of the unique parameter 11n 12 132 # Number of statements: 2. 14 151 16# {i, j | 1<=i<=n-1; i+1<=j<=n} 174 5 18# i j n 1 191 1 0 0 -1 201 -1 0 1 -1 211 -1 1 0 -1 221 0 -1 1 0 230 0 0 24 251 26# {i, j, k | 1<=i<=n-1; i+1<=j<=n i+1<=k<=n} 276 6 28# i j k n 1 291 1 0 0 0 -1 301 -1 0 0 1 -1 311 -1 1 0 0 -1 321 0 -1 0 1 0 331 -1 0 1 0 -1 341 0 0 -1 1 0 350 0 0 36# We want to let CLooG set the iterator names. 370 38 39 402 41# Scattering functions 421 6 43# c1 i j n 1 440 1 -1 0 0 0 45 461 7 47# c1 i j k n 1 480 1 0 0 -1 0 0 491 50p1 51 52