I'm playing around with some noncommuting operator expressions and am
trying to simplify them. Consider the following test:
(%i1) (A+B)^^2;
<2>
(%o1) (B + A)
(%i2) expand(%);
<2> <2>
(%o2) B . A + B + A . B + A
(%i3) factor(%);
<2> <2>
(%o3) B . A + B + A . B + A
Can I get back to the original form in %o1?
David