(product,ZZ,Function)
product(n,f)
-- compute the product
f(0) * f(1) * ... * f(n-1)
.
i1 : product(5, i -> 2*i+1)
o1 = 945
See also
product
.