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