Linearity of sum



Robert Dodier <robert.dodier at gmail.com> writes:
(snip)
> By default, Maxima doesn't assume sum is linear.
> Try declare(sum, linear).

Just out of interest, why isn't sum assumed to be linear? I presume
there's a good reason, but I can't think of any mathematical situation
where summing makes sense which isn't linear in this sense.

I thought of matrices and functions and so on, then thought about the
fact that anywhere you can "sum" and ask questions about linearity is
likely to have a module structure over some ring, in which case
linearity holds.

So, as I said, I'm sure there's a good reason and I'm being an idiot,
but could someone explain?

Rupert
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 315 bytes
Desc: not available
URL: <http://www.math.utexas.edu/pipermail/maxima/attachments/20101017/bdf249c7/attachment.pgp>;