The identity transform can be obtained with a scattering function as follows:
# language: C
c
# parameter {n | n >= 0}
1 3
# n 1
1 1 0
1
n
1 # Number of statements:
1
# {i | 0 <= i <= n}
2 4
# i n 1
1 1 0 0
1 -1 1 0
0 0 0
1
i
1 # Scattering functions
1 5
# s0 i n 1
0 1 -1 0 0
1
s0The output of CLooG is like this:
for (s0=0;s0<=n;s0++) {
S1(i = s0) ;
}