Should be inf, not inf - 1:
(%i2) sum(exp(k),k,minf,inf),simpsum;
(%o2) inf-1
I think 'und' is a better value for this sum:
(%i3) sum(k,k,minf,inf),simpsum;
(%o3) 0
Should be 'und', not 'undefined':
(%i4) sum((-1)^k,k,0,inf),simpsum;
(%o4) undefined
Again, should be 'und'
(%i5) sum((-1)^k,k,minf,inf),simpsum;
(%o5) undefined-1
At least limit(und-1) --> und, but limit(undefined-1) -> undefined-1.
Robert Dodier
2007-01-13
Logged In: YES
user_id=501686
Originator: NO
Maybe 1-argument limit should be called to clean up results of infinite summations. Although limit has its own problems so I am hesitant about that ...
Robert Dodier
2007-01-13
Andrej Vodopivec
2007-01-20
Logged In: YES
user_id=1179910
Originator: NO
Compare the following
(%i1) integrate(x, x, 0, inf);
Integral is divergent
-- an error. Quitting. To debug this try debugmode(true);
(%i2) sum(k, k, 0, inf), simpsum;
(%o2) inf
Since maxima is not very good with infinities (that is inf-inf = 0 and inf/inf=1), sum should signal an error instead of returning inf for divergent sums.
Andrej
Andrej Vodopivec
2007-09-26
Andrej Vodopivec
2007-09-26
Logged In: YES
user_id=1179910
Originator: NO
Fixed in cvs:
(%i2) sum(exp(k),k,minf,inf),simpsum;
(%o2) inf
(%i3) sum(k,k,minf,inf),simpsum;
(%o3) und
(%i4) sum((-1)^k,k,0,inf),simpsum;
(%o4) und
(%i5) sum((-1)^k,k,minf,inf),simpsum;
(%o5) und
Andrej