Re: [sage-devel] Polynomials over non-commutative rings

2013-12-25 Thread Charles Bouillaguet
On 23 Dec 2013, at 10:27, Marc Mezzarobba wrote: > Vincent Delecroix wrote: >> Does polynomial over non-commutative ring make sense ? Because in that >> context axbx is not abx^2. Depending on what you call polynomial, they >> may or may not form a ring. The polynomials over matrices with scal

Re: [sage-devel] Polynomials over non-commutative rings

2013-12-23 Thread Vincent Delecroix
Does polynomial over non-commutative ring make sense ? Because in that context axbx is not abx^2. Depending on what you call polynomial, they may or may not form a ring. 2013/12/21, Marc Mezzarobba : > According to the docstring of PolynomialRing(), the base ring of a > polynomial ring has to be c

[sage-devel] Polynomials over non-commutative rings

2013-12-21 Thread Marc Mezzarobba
According to the docstring of PolynomialRing(), the base ring of a polynomial ring has to be commutative. However, it is clearly possible to create _univariate_ polynomial rings over non-commutative rings. Do you know of any code that relies on the assumption that the base ring is commutative?