[Maxima-bugs] [ maxima-Bugs-1499447 ] subscripted additive functions

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

Bugs item #1499447, was opened at 2006-06-02 05:24
Message generated for change (Settings changed) made by robert_dodier
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1499447&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 - Simplification
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Barton Willis (willisbl)
Assigned to: Nobody/Anonymous (nobody)
Summary: subscripted additive functions

Initial Comment:
(%i1) declare(f,additive)$

(%i2) f[a+b](x);
Improper name or value in functional position:
f[b]+f[a]

Yeechs! The function 'f' is additive in its
subscript:

(%i3) f[a+b];
(%o3) f[b]+f[a]

Surely, a subscripted additive function shouldn't be
additive in its subscript. 

Barton



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

Comment By: Robert Dodier (robert_dodier)
Date: 2006-06-04 22:25

Message:
Logged In: YES 
user_id=501686

I agree that subscripted functions should not be additive in
their subscripts, but in Maxima the same notation is used
for subscripted functions as for memoizing functions, and
there's no reason to rule out additive memoizing functions.
(Or is there?)

I suppose F[a + b](x + y) must be a subscripted function
call, but F[a + b] could be either a memoizing function
call, or a subscripted function. Even in the case of F[a +
b](x + y) could be the return value of a memoizing function
applied to x + y.

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

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