Why is tlimswitch false by default?



Nikos Apostolakis <nikos.ap at gmail.com> writes:

> "Robert Dodier" <robert.dodier at gmail.com> writes:
>
>> It's OK by me to make tlimswitch = true by default.
>> I would be interested to know if that makes some of the
>> known bugs in limit go away (without introducing new ones,
>> I hope).
>> 
>
> I don't know about new ones, 

Well, William Stein found the following running the automatic tests
for sage:

(%i1) limit((5^x + 3^x)^(1/x), x, inf);
(%o1)                                 5
(%i2) tlimswitch : true;
(%o2)                               true
(%i3) limit((5^x + 3^x)^(1/x), x, inf);

Maxima encountered a Lisp error:

 two equal vars generated

Automatically continuing.
To reenable the Lisp debugger set *debugger-hook* to nil.

Best,
Nikos