limit(x=0,x,0) => 0=0.
limit(equal(x,0),x,0) => equal(x,0)
Let's leave aside the fact that 0=0 could simplify to
True -- that is not a limit issue, but a broader issue in
The real problem is that limit(x=0,x,0) is in fact FALSE,
not TRUE. Since x=0 is FALSE for all x#0, it is FALSE in
particular for all 0<x<epsilon.
Presumably the problem here is that Limit is assuming
that "=" is a continuous function of its arguments.
On the other hand, limit is *too* careful with other
limit(x>0,x,0,plus) => noun
limit(x>=0,x,0,plus) => noun
These could perfectly well return TRUE.
But that is a feature request, not a bug.
Log in to post a comment.