[sage-combinat-devel] More LaurentPolynomialRing insanity

2015-11-03 Thread VulK
Dear all, I just noted the following: sage: R = LaurentPolynomialRing(ZZ,'x,y') sage: T = R.remove_var('x') sage: T.inject_variables() Defining y sage: y in T True sage: y in R True As one should expect, now for a second try sage: R = LaurentPolynomialRing(ZZ,'x,y,z') sage: T =

Re: [sage-combinat-devel] More LaurentPolynomialRing insanity

2015-11-03 Thread Nicolas M. Thiery
On Tue, Nov 03, 2015 at 04:37:25PM +0100, VulK wrote: > I just noted the following: > > sage: R = LaurentPolynomialRing(ZZ,'x,y') > sage: T = R.remove_var('x') > sage: T.inject_variables() > Defining y > sage: y in T > True > sage: y in R > True > > As one should expect, now for a second try >

Re: [sage-combinat-devel] More LaurentPolynomialRing insanity

2015-11-03 Thread VulK
Thank you for the pointer, I will move the discussion there. S. * Nicolas M. Thiery [2015-11-03 17:04:31]: > On Tue, Nov 03, 2015 at 04:37:25PM +0100, VulK wrote: > > I just noted the following: > > > > sage: R = LaurentPolynomialRing(ZZ,'x,y') > > sage: T =