> (1) by default, sum is not declared to be linear. > i don't remember why that is. Perhaps because it isn't linear in general? sum(A+B,...,inf) is only equal to sum(A,...,inf)+sum(B,...,inf) if the latter are both convergent.... Same problem with integrals.