Revision history [back]

Sage does not have algorithms to do such a factorization. The notion of unique factorization for noncommutative rings needs a bit more thought than in the commutative case. Work by P.M. Cohn showed that free associative algebra is a (noncommutative) UFD, but I don't know of any algorithm implementing this.