(sum,ZZ,Function)
sum(n,f)
-- compute the sum
f(0) + f(1) + ... + f(n-1)
.
i1 : sum(10, i -> i^2)
o1 = 285
See also
sum
.