[Maxima-bugs] [ maxima-Bugs-600469 ] Tlimit error

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

Bugs item #600469, was opened at 2002-08-26 17:20
Message generated for change (Settings changed) made by dgildea
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=600469&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: Works For Me
Priority: 5
Private: No
Submitted By: Stavros Macrakis (macrakis)
Assigned to: Nobody/Anonymous (nobody)
Summary: Tlimit error

Initial Comment:
Consider 

    q: e^a/(e+e^2)

tlimit(q,e,0) asks if a-1 is pnz.  Answer zero, it returns 0 
(incorrect!).

Now, try

   q1: ev(q,a=1)

tlimit(q1,e,0) correctly returns 1.

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

>Comment By: Dan Gildea (dgildea)
Date: 2008-12-16 21:20

Message:
Seems ok in current cvs.

(%i8) q: e^a/(e+e^2);

(%o8) e^a/(e^2+e)
(%i9) tlimit(q,e,0) ;

Is  a-1  positive, negative, or zero?

z;
(%o9) 1



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

Comment By: Stavros Macrakis (macrakis)
Date: 2007-09-15 19:13

Message:
Logged In: YES 
user_id=588346
Originator: YES

A simpler case: tlimit(q^r,q,0) with r=0 => 0; should be 1.

(You might think this has something to do with the value of 0^0, but it
does not -- the definition of limit only depends on the cases where q <> 0,
and I hope we all agree that q^0 = 1 when q is non-zero.)

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

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