Ask Your Question
0

Behavior of symbolic_sum changed?

asked 7 years ago

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; ....
Preview: (hide)

1 Answer

Sort by » oldest newest most voted
2

answered 7 years ago

Richard_L gravatar image

updated 7 years ago

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.

Preview: (hide)
link

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: 7 years ago

Seen: 754 times

Last updated: Aug 11 '17