Menu

#4864 limit(atan2(0, cos(x)), x, %pi) gives ind instead of %pi

None
closed
nobody
5
16 hours ago
19 hours ago
No

Spotted by Claude:

(%i1) limit(atan2(0, cos(x)), x, %pi);
(%o1) ind

This is incorrect. atan2(0, negative) is %pi. simplim%atan2 misses the case where the first argument is identical to zero, not an expression that approaches zero (with unknown direction).

Discussion

  • David Scherfgen

    David Scherfgen - 16 hours ago
    • status: open --> closed
     
  • David Scherfgen

    David Scherfgen - 16 hours ago

    Fixed by commit [1a175a].

     

    Related

    Commit: [1a175a]


Log in to post a comment.

Monday.com Logo