Re: [sage-devel] Re: LaurentPolynomialRing and PolynomialRing behave inconsistently -- Request For Comments

2016-04-24 Thread VulK
Dear All, sorry for the late reply: my todo list came knocking at my door and required immediate attention. I did a small test and it appears that both Polynomial and LaurentPolynomial behave in the same way with respect to coercion. On the other hand their behavior under conversion is different.

Re: [sage-devel] Re: LaurentPolynomialRing and PolynomialRing behave inconsistently -- Request For Comments

2016-04-09 Thread David Roe
I think that this summary is right, including the explicit conversion that relies on the index in gens(). David On Sat, Apr 9, 2016 at 4:15 AM, Volker Braun wrote: > Let me try to summarize the expected behavior: If there is a coercion of > the base rings, then there

Re: [sage-devel] Re: LaurentPolynomialRing and PolynomialRing behave inconsistently -- Request For Comments

2016-04-09 Thread Volker Braun
I mentioned that; Is it really strange though? It does not happen implicitly through coercion. You have to explicitly ask to convert one polynomial ring in two variables to another polynomial ring in two variables (with mismatching generator names). On Saturday, April 9, 2016 at 3:09:08 PM

Re: [sage-devel] Re: LaurentPolynomialRing and PolynomialRing behave inconsistently -- Request For Comments

2016-04-09 Thread Vincent Delecroix
On 09/04/16 05:15, Volker Braun wrote: Let me try to summarize the expected behavior: If there is a coercion of the base rings, then there should be a coercion to the (laurent) polynomial ring with additional variables. The variables in the different rings are identified using their name (and