Ask Your Question
2

Possible inconsistency in symbolic limits

asked 2021-01-20 02:58:40 +0200

cav_rt gravatar image

updated 2023-01-09 23:59:54 +0200

tmonteil gravatar image

I was trying to manipulate some symbolic expressions and got an unexpected error. Here is a minimal example,

u=integrate(x**3/(exp(x)-1),(x,0,oo))

The expression is quite messy, but the result is known. When I try to use any simplification routine, like

u.simplify()

sage displays the error message

RuntimeError: ECL says: Error executing code in Maxima: limit: direction must be either 'plus' or 'minus'; found: _SAGE_VAR_minus

As far I understood, the expression is defining lateral limits by symbolic variables, while maxima handle such limits as strings. If it is the case there is an internal conflict here. Is it the case?

edit retag flag offensive close merge delete

1 Answer

Sort by » oldest newest most voted
2

answered 2021-01-20 09:07:45 +0200

FrédéricC gravatar image

Looks like a bug indeed. You may use instead

sage: u=integrate(x**3/(exp(x)-1),(x,0,oo),algorithm='giac');u                  
1/15*pi^4
edit flag offensive delete link more

Comments

Smaller display of the same bug:

sage: maxima('limit(polylog(4,e^x),x,+Infinity,minus)').sage()                  
limit(polylog(4, _e^x), x, +Infinity, minus)
sage: _.simplify()
FrédéricC gravatar imageFrédéricC ( 2021-01-20 10:26:07 +0200 )edit

Thank you!

cav_rt gravatar imagecav_rt ( 2021-01-20 21:48:55 +0200 )edit

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: 2021-01-20 02:58:40 +0200

Seen: 176 times

Last updated: Jan 20 '21