Recent changes to 484: limit(x=0,x,0) wronghttp://sourceforge.net/p/maxima/bugs/484/Recent changes to 484: limit(x=0,x,0) wrongenThu, 08 Jan 2004 19:15:48 -0000limit(x=0,x,0) wronghttp://sourceforge.net/p/maxima/bugs/484/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
Maxima.
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
relationals:
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.
Stavros MacrakisThu, 08 Jan 2004 19:15:48 -0000http://sourceforge.net03c17d19cbad9adb423c2fbae2818a1bb118cea2