Menu

#1261 assume does not pass the assumption to limit

closed
nobody
None
5
2007-09-11
2007-09-01
No

(%i59) assume(x < 0);
(%o59) [x > 0]
(%i60) limit(sqrt(x^2 + x +1) + x, x, minf);
Is x positive or negative?

The assumption x < 0 is not passed to the limit.

Discussion

  • Andrej Vodopivec

    Logged In: YES
    user_id=1179910
    Originator: NO

    Fixed in cvs with limit.lisp rev 1.37.

    (%i2) limit(sqrt(x^2+x+1)+x, x, minf);
    (%o2) -1/2

    Andrej

     
  • Andrej Vodopivec

    • status: open --> closed
     

Log in to post a comment.