Ask Your Question

bm's profile - activity

2020-02-02 08:35:44 +0100 received badge  Notable Question (source)
2015-10-21 06:25:47 +0100 received badge  Taxonomist
2014-12-10 10:52:00 +0100 received badge  Popular Question (source)
2011-10-26 15:25:46 +0100 marked best answer Factorization of non-commutative Laurent polynomials

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.

2011-10-26 15:25:46 +0100 received badge  Scholar (source)
2011-10-26 15:25:41 +0100 received badge  Supporter (source)
2011-10-26 02:37:53 +0100 asked a question Factorization of non-commutative Laurent polynomials

Hi, can Sage factorize non-commutative Laurent polynomials in several variables?

By those polynomials I mean elements in the group algebra Z[F(n)], where Z is the integers and F(n) is the free group on n letters.

(The case with Z/2- instead of Z-coefficients would also be interesting.)

Thank you!