On 11/20/2010 1:32 PM, Edwin Woollett wrote:
> matchdeclare(aa,atom,bb,atom,cc,atom)$
> (%i2) matchdeclare(nn,integerp,mm,integerp,pp,integerp)$
> (%i3) tellsimpafter(
> comm (aa^^nn . bb^mm, cc),
> aa . comm(aa^^(nn-1) . bb^mm,cc) +
> comm(aa^nn . bb^(mm-1),cc) . bb)$
I don't know if this is a typo or not. Did you mean bb^mm or bb^^m ?
while x^^3 prints the same as x^3 in wxmaxima, it is an entirely different
thing. Internally, x*x*x is ((mexpt simp) x 3)
but x^^3 is ((mncexpt simp) x 3)
RJF