There is a precedent for an subscripted thing to inherit a property:
(%i1) declare(z,complex)$
(%i5) map(csign,[z, z[12]]);
(%o5) [complex,complex]
But
(%i6) assume(p>0)$
(%i9) map(sign, [p, p[0]]);
(%o9) [pos,pnz](%i6) assume(p>0)$
So, I'll let it be.
--Barton
maxima-bounces at math.utexas.edu wrote on 04/28/2011 10:24:39 AM:
> Maxima Mailing List
>
> On 4/25/11, Barton Willis <willisb at unk.edu> wrote:
>
> > I was looking at a conjugate bug and noticed the following:
> >
> > (%i6) declare(e,imaginary)$
> >
> > (%i7) conjugate(e[x]);
> > (%o7) -e[x]
> >
> > I'd like to remove this undocumented feature before somebody decides
> > that they like it.
> >
> > Since declare(e[x], imaginary), doesn't work, a user will need to
use a
> > tellsimp rule to do things like conjugate(e[x]) --> -e[x].
>
> I don't agree that it's a bug. To be able to make a collective
declaration
> about all e[whatever] seems like a useful feature.
>
> I wish that declare could handle subscripted variables, but that's
> a separate problem.
>
> best
>
> Robert Dodier
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima