Ask Your Question
0

Behavior of symbolic_sum changed?

asked 2017-08-11 19:56:28 +0100

Peter Luschny gravatar image

Consider

from sage.calculus.calculus import symbolic_sum
n = var('n')
print 1/(1 + symbolic_sum(factorial(n) * x^n, n, 1, oo))

Answer of Sage 7.4:

1/(x*hypergeometric((1, 2), (), x) + 1)

Answer of Sage 8.0:

ValueError: Computation failed since Maxima requested 
additional constraints; ....
edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
2

answered 2017-08-11 21:44:00 +0100

Richard_L gravatar image

updated 2017-08-11 22:59:14 +0100

Expand the traceback. You'll see that "assume ... may help" (or words to that effect). Indeed:

from sage.calculus.calculus import symbolic_sum
n = var('n')
var('x'); assume(x==0)
print 1/(1 + symbolic_sum(factorial(n) * x^n, n, 1, oo))

gives the answer you got in 7.4:

1/(x*hypergeometric((1, 2), (), x) + 1)

However, if we assume (x>0) or assume (x<0), we get "Sum divergent".

The short answer: Maxima was up-rev'd with sage-8.0 to maxima-5.39.0 and may exhibit different behavior from previous versions.

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2017-08-11 19:56:28 +0100

Seen: 657 times

Last updated: Aug 11 '17