>>>>> "Robert" == Robert Dodier <robert.dodier at gmail.com> writes:
>> (%i1) limit(x,x,infinity);
>>
>> *** - Lisp stack overflow. RESET
Robert> Same result w/ ECL, and apparently-endless looping w/ CMUCL.
Robert> Doubtless a bug in the limit code (sorry).
CMUCL loops because the call stack is pretty large; it will eventually
run out of stack space, I think. In any case, I think limit is
getting stuck because it wants to compute the limit from "both" sides
to see if they're the same. That doesn't work so well for infinity,
which doesn't have a side.
Maybe limit should just signal an error if the limit point is
infinity?
I think Maxima's limit is, fundamentally, for real numbers.
Ray