Barton Willis <willisb at unk.edu> writes:
> I think there is no general scheme for substitutions into a
> noncommutative product. And I'm not sure that tellsimp works all that
> well for such substitutions.
>
> (%i6) e : a.b.c$
>
> (%i7) subst(1, b. c, e);
> (%o7) a . b . c
>
> (%i8) subst(1, b.c, e), dotassoc : false;
> (%o8) a
Obviously, another approach for easy examples like this is something
like
(%i1) e : a.b.c$
(%i2) subst(c^^(-1), b, e);
(%o2) a
I actually use this idea quite a lot (for commutative expressions) when
I don't want ratsubst to mess up the structure of the expression.
Rupert
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 315 bytes
Desc: not available
URL: <http://www.math.utexas.edu/pipermail/maxima/attachments/20121008/d4e6abe0/attachment-0001.pgp>;