Re: [sage-support] Simplification of multivariable polynomial over a polynomial ring

2013-02-18 Thread Charles Bouillaguet
On Feb 18, 2013, at 1:47 PM, Emmanuel wrote: > Hello, > > I want to work with multivariate polynomials over a multivariate polynomial > ring (see below for the reason I want to do this). > > K.=PolynomialRing(QQ, 2, order='lex') > QM. = PolynomialRing(K, 3, order='lex') > > However, I have pr

[sage-support] Simplification of multivariable polynomial over a polynomial ring

2013-02-18 Thread Emmanuel
Hello, I want to work with multivariate polynomials over a multivariate polynomial ring (see below for the reason I want to do this). K.=PolynomialRing(QQ, 2, order='lex') QM. = PolynomialRing(K, 3, order='lex') However, I have problems when I want to simplify. Consider for example, F=(a*b*X