#2078 rtest15--limit to inf from above

closed
nobody
Tests (21)
2
2010-10-02
2010-09-19
No

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)

Discussion

  • Dieter Kaiser

    Dieter Kaiser - 2010-10-02

    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

     
  • Dieter Kaiser

    Dieter Kaiser - 2010-10-02
    • status: open --> closed
     
  • Dieter Kaiser

    Dieter Kaiser - 2010-10-02

    Fixed in revision 1.84 of rtest15.mac.
    Closing this bug report as fixed.
    Dieter Kaiser

     

Log in to post a comment.