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.
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
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
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