>>>>> "Raymond" == Raymond Toy writes:
>>>>> ">" == SourceForge net writes:
>>> Bugs item #1281737, was opened at 2005-09-04 15:30
Raymond> [snip]
>>> Summary: limit(atan(x)/(1/exp(1)-exp(-(1+x)^2)),x,inf,plus) - wrong
>>> Initial Comment:
>>> (%i1) limit(atan(x)/(1/exp(1)-exp(-(1+x)^2)),x,inf,plus);
>>> %e %i log(- 1)
>>> (%o1) --------------
>>> 2
>>> Correct result is %e*%pi/2
FWIW, if we modify hyperex1 in limit.lisp so that it doeesn't bind
$logarc to T, the above limit is correctly computed to be %e*%pi/2.
While I think the patch that I supplied previously is correct, I think
we should not try to expand arbitrary functions to log form unless we
really, really need to.
Thus, we should disable $logarc in hyperex1.
All of the examples in the testsuite pass with this change. We need
to add this limit to the test functions, too.
Ray