MathGroup Archive 2005

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: Simple Sum does not simplify

  • To: mathgroup at
  • Subject: [mg55490] Re: [mg55472] Simple Sum does not simplify
  • From: "David Park" <djmp at>
  • Date: Sat, 26 Mar 2005 02:39:21 -0500 (EST)
  • Sender: owner-wri-mathgroup at


I think that Mathematica would definitely benefit by having a good sum
manipulation package (or maybe it has one that I don't know about?).

In any case, the following, which takes a little work, will simplify your

Sum[n*a[i] - Sum[a[j], {j, 1, n}], {i, 1, n}];
% /. HoldPattern[Sum[(a_) - Sum[b_, iter2_],
     iter1_]] :> Sum[a, iter1] - Sum[b, iter1, iter2]
% /. HoldPattern[Sum[x_ /; FreeQ[x, n], p___,
     {_, 1, n}, q___]] :> Sum[n*x, p, q]
% /. j -> i

Sum[n*a[i], {i, 1, n}] - Sum[a[j], {i, 1, n},
   {j, 1, n}]
Sum[n*a[i], {i, 1, n}] - Sum[n*a[j], {j, 1, n}]

It is quite often the case with Mathematica (or any CAS) that you will have
to write a set of rules or definitions to handle the area of mathematics you
are dealing with - even if that area seems to you to be very common. If
Mathematica had every possible useful relation it would end up with millions
of commands.

David Park
djmp at

From: Alix [mailto:ali_tofigh at]
To: mathgroup at

Here is a simple symbolic sum:

Sum[n a[i] - Sum[a[j], {j, n}], {i, n}]

This should simplify to 0, but it doesn't. Why and is there a way to
get mathematica to work with these kind of sums? I'm using mathematica

  • Prev by Date: Re: Upgrading to v5.1?
  • Next by Date: Re: MD5 Brain teaser
  • Previous by thread: Simple Sum does not simplify
  • Next by thread: Re: Simple Sum does not simplify