On 6/2/06, Barton Willis <willisb at unk.edu> wrote:
> Or maybe if f is declared additive, every subscripted f
> should be additive in its nonsubscripted variable:
>
> f(a+b) --> f(a) + f(b),
> f[1](a+b) --> f[1](a) + f[1](b), ...
and presumably f [a + b] (a + b) => f [a + b] (a) + f [a + b] (b), yes?
I am inclined to consider a subscript as part of the name,
so function properties shouldn't generally apply to subscripts,
I don't think.
declare refuses to consider subscripted variables, so
I guess we don't need to worry about whether to allow
f [1], f [2], etc to be declared separately.
FWIW
Robert