2. n :
3. f :
n
T
4. j : {...n-1}
5. 0
j+1 
(
i:{(j+1)..n
}. (f{(j+1)..n})[(i-(j+1))] = f(i))
6. 0
j
7. i : {j..n
}
8. j<n
9. i = j
(f(j).f{(j+1)..n})[(i-j)] = f(i)
nT
j+1 (i:{(j+1)..n}. (f{(j+1)..n})[(i-(j+1))] = f(i))
j
}
(f(j).f{(j+1)..n})[(i-j)] = f(i)| By: |
a:T, as:T List, i: . i0 (a.as)[i] = a) 0 |
| 1 |
f(j) = f(i) | 1 step |
About:
 |  |  |  |  |  |  |  |
 |  |  |  |  |