[Maxima-bugs] [ maxima-Bugs-1641498 ] Function "at" is overly cautious

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

Bugs item #1641498, was opened at 2007-01-22 04:06
Message generated for change (Settings changed) made by robert_dodier
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1641498&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
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Barton Willis (willisbl)
Assigned to: Nobody/Anonymous (nobody)
Summary: Function "at" is overly cautious

Initial Comment:
Compare

(%i1) at(f(x), x = 0);
(%o1) f(0)

with

(%i2) at('integrate(f(t),t,0,x),x=0);
(%o2) at(integrate(f(t),t,0,x),x=0)

Given (%o1), it would seem consistent for (%o2) to
evaluate to 0. Declaring f to be anaylic doesn't
help:

(%i3) declare(f,analytic);
(%o3) done
(%i4) at('integrate(f(t),t,0,x),x=0);
(%o4) at(integrate(f(t),t,0,x),x=0)

Does Maxima ever use the declare analytic data?


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

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