Menu
▾
▴
#2078 rtest15--limit to inf from above
Test 146 in rtest15 has a limit toward infinity from above:
/* Bug 1281737 */
limit(atan(x)/(1/exp(1)-exp(-(1+x)^2)),x,inf,'plus);
%e*%pi/2;
I think this should either be limit(atan(x)/(1/exp(1)-exp(-(1+x)^2)),x,inf) or limit(atan(x)/(1/exp(1)-exp(-(1+x)^2)),x,inf,'minus)
The example was introduced to be a regression test. I have reproduced the original problem with Maxima 5.9.2:
(%i1) build_info();
Maxima version: 5.9.2
Maxima build date: 20:20 10/2/2010
host type: i686-pc-linux-gnu
lisp-implementation-type: SBCL
lisp-implementation-version: 1.0.40
(%i2) limit(atan(x)/(1/exp(1)-exp(-(1+x)^2)),x,inf);
(%o2) %e*%i*log(-1)/2
(%i3) limit(atan(x)/(1/exp(1)-exp(-(1+x)^2)),x,inf,minus);
(%o3) %e*%i*log(-1)/2
Maxima 5.9.2 had a problem with a more correct formulation of the problem too. Therefore, I think we should update the example of the regression test to be
limit(atan(x)/(1/exp(1)-exp(-(1+x)^2)),x,inf)
Dieter Kaiser
Fixed in revision 1.84 of rtest15.mac.
Closing this bug report as fixed.
Dieter Kaiser