On 5/15/06, Barton Willis <willisb at unk.edu> wrote:
> >I don't understand why realvalued is needed.
>
> Because assume(gamma,real) shouldn't imply
> that featurep(gamma(z), real) --> true.
And that would be because ... ?
If we must distinguish foo-valued functions from foo-valued variables
(and I'm not sure that we do), let's have a function declaration,
so that we don't need to invent a foovalued declaration for every
declarable foo. E.g., declare (F, [complex, function]) instead of
declare (F, complexvalued) .
best,
Robert