Question: distributive properties of sums.

How can I make transformations like:

sum(a*u[k]+b*v[k],k=1..n) into a*sum(u[k],k=1..n)+b*sum(v[k],k=1..n)

and in the opposite direction?

Please Wait...