Subject: Multiplying out (noncommutative) exponentials
From: Stavros Macrakis
Date: Thu, 17 May 2012 15:31:32 -0400
There is often more than one way to write a noncommutative product with
exponents, e.g.
(a . b)^^3 == a . (b . a)^^2 . b
a . b . a . b . a == (a . b)^^2 . a == a . (b . a)^^2
even more fun with inverses:
a . b . a == (a . b)^^2 . b^^-1
(a . b . a^^-1)^^2 == a . b^^2 . a
I had started looking at this a long time ago... but I don't think I got
very far.
-s
On Thu, May 17, 2012 at 2:32 PM, Rupert Swarbrick <rswarbrick at gmail.com>wrote:
> Stavros Macrakis <macrakis at alum.mit.edu> writes:
> > You probably want to set dotexptsimp:false globally.
> >
> > Then %i55 will work as expected, without the second expand_ncexpt.
> >
> > Or locally do
> >
> > expand(%), dotexptsimp:false
>
> Thank you both! That's made checking some of the group action code a lot
> easier...
>
> Rupert
>
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
>
>