On 1/6/2012 4:57 PM, Barton Willis wrote:
> (%i40) s : product(f(i),i,0,n)$
>
> (%i41) [ev(s,n=3,product), ev(s,product, n=3),ev(s,n=3,nouns),ev(s,nouns,n=3)];
> (%o41) [f(0)*f(1)*f(2)*f(3),f(0)*f(1)*f(2)*f(3),f(0)*f(1)*f(2)*f(3),f(0)*f(1)*f(2)*f(3)]
>
> I'd think most uses would expect subst(n=3, product(f(i),i,0,n)) to be
> identical to product(f(i),i,0,3) :(
>
> --Barton
>
>
Right. I didn't know it was a product, at first.