MathGroup Archive 1997

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

Search the Archive

Re: Re: Re: Just another bug in MMA 3.0

  • To: mathgroup at smc.vnet.net
  • Subject: [mg7591] Re: [mg7532] Re: [mg7491] Re: [mg7431] Just another bug in MMA 3.0
  • From: Richard Finley <trfin at fiona.umsmed.edu>
  • Date: Thu, 19 Jun 1997 03:13:54 -0400 (EDT)
  • Sender: owner-wri-mathgroup at wolfram.com

This is the way I see it....  if you want to do multiple sums you use the
standard form in the Mma documentation...it seems to work fine.  If you use
the nonstandard approach of actually nesting sums, then IF the inner sum is
evaluated, it will see any included dummy variables in the outer sum and you
will get what you want (which is why it worked with the function f (j ) = j
which is able to be summed exactly for an indeterminate n) and it also works
for numerical limits.  If the inner sum canNOT  be evaluated and is left in
the form Sum[ something ], then the outer sum will not see any variables in
the inner sum and you frequently will not get what you intended as your
example shows. This is due to Sum having the HoldAll attribute.   I don't
think it is really fair to call it a BUG because there may be a reason that
Sum has the HoldAll attribute.  If you want nested sums to work the same as
multiple sums, you can simply remove the HoldAll attribute using
ClearAttributes[ Sum, HoldAll ] and you get the result you are looking for.
RF


At 03:08 AM 6/13/97 -0400, Kai Koehler wrote:
>In article <5nfpv3$5qp at smc.vnet.net>, Paulo Mouat <mouat at mail.telepac.pt>
wrote:
>
>> Kai Koehler wrote:
>
>> > Sum[Sum[Log[Log[k+j]],{k,1,n}],{j,1,5}]
>> > 
>> > gives
>> > 
>> > 5*Sum[Log[Log[k + j]], {k, 1, n}].
>
>> If you want to do a multiple sum, the input should read
>> 
>> Sum[Log[Log[k+j]],{k,1,n},{j,1,5}]
>> 
>> What you have typed is a simple sum over k with a function that has an
>> unknown j.  The j on the outer Sum is a dummy variable, with no
>> relation to the one in Log[k+j].
>> 
>> This is not a bug.  Mathematica simply interpreted what you did type,
>> which is not quite what you intended to do.
>
>If this where true,
>
>Sum[Sum[j,{k,1,n}],{j,1,5}]
>
>should give 5 n j as output. Instead you get 15 n (correctly, IMHO).
>Also, in StandardForm, the difference between
>
>Sum[Sum[Log[Log[k+j]],{k,1,n}],{j,1,5}]
>
>and
>
>Sum[Log[Log[k+j]],{k,1,n},{j,1,5}]
>
>is just the insertion of a factor (e.g. 1) between the two sums:
>
>\!\(\+\(j = 1\)\%5 1 \(\+\(k = 1\)\%n Log[Log[k + j]]\)\)
>
>gives a different output then
>
>\!\(\+\(j = 1\)\%5\(\+\(k = 1\)\%n Log[Log[k + j]]\)\)
>
>Similarly,
>
>\!\(\+\(j = 1\)\%5\((\ \+\(k = 1\)\%n Log[Log[k + j]])\)\)
>
>gives a different output then
>
>\!\(\+\(j = 1\)\%5\((\ \+\(k = 1\)\%n Log[Log[k + j]] + 1)\)\)
>
>What you wrote is actually what Michael Trott from Wolfram support mailed
>me 2 days ago: It's not a bug, it's a feature. This really worries me: If
>they do not even recognize a bug when you show it to them, then what can
>you expect them to do?
>
>Kai Koehler
>
>



  • Prev by Date: Re: Re: Need a new type of Hold
  • Next by Date: Is there an Unformat in MMA 3.0?
  • Previous by thread: stop when not converge
  • Next by thread: Is there an Unformat in MMA 3.0?