[Maxima-bugs] [ maxima-Bugs-1704583 ] problem with limit at zero different from each side

[SourceForge.net <no...@so...>]

Bugs item #1704583, was opened at 2007-04-20 16:26
Message generated for change (Comment added) made by dgildea
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1704583&group_id=4933

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Lisp Core - Limit
Group: None
>Status: Closed
>Resolution: Fixed
Priority: 5
Private: No
Submitted By: Robert Dodier (robert_dodier)
Assigned to: Nobody/Anonymous (nobody)
Summary: problem with limit at zero different from each side

Initial Comment:
Here is a problem in which the limit is different from each side. So far as I can tell, Maxima has the right response for the unqualified limit (not specifying a side) but it is incorrect when either side is specified.

limit((3^(1/x) + 5^(1/x))^x, x, 0) => und (OK)

limit((3^(1/x) + 5^(1/x))^x, x, 0, plus) => inf (incorrect? I think it should be 5)

limit((3^(1/x) + 5^(1/x))^x, x, 0, minus) => %e^(log(3)/(log(5)/log(3)+1)+log(5)/(log(3)/log(5)+1)) (incorrect? I think it should be 3)

Sorry if there is any misunderstanding on my part.




----------------------------------------------------------------------

>Comment By: Dan Gildea (dgildea)
Date: 2007-11-11 12:00

Message:
Logged In: YES 
user_id=1797506
Originator: NO

Fixed in limit.lisp rev 1.46.

(%i3) limit((3^(1/x) + 5^(1/x))^x, x, 0);
(%o3) und
(%i4) limit((3^(1/x) + 5^(1/x))^x, x, 0, plus);
(%o4) 5
(%i5) limit((3^(1/x) + 5^(1/x))^x, x, 0, minus);
(%o5) 3


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1704583&group_id=4933