Yes, that's expected. sage: P = PolynomialRing(GF(2), "z", sparse=True); Q = PolynomialRing(ZZ, "z", sparse=True) sage: P.has_coerce_map_from(Q) True
And of course you can convert even when Q is not sparse. David On Wed, Oct 12, 2022 at 4:58 PM 'Martin R' via sage-devel < sage-devel@googlegroups.com> wrote: > I have no idea whether the following is to be expected: > > sage: P = PolynomialRing(GF(2), "z", sparse=False); Q = > PolynomialRing(ZZ, "z") > sage: P.has_coerce_map_from(Q) > True > > sage: P = PolynomialRing(GF(2), "z", sparse=True); Q = PolynomialRing(ZZ, > "z") > sage: P.has_coerce_map_from(Q) > False > > Martin > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/c585103b-9dfa-4e25-b36b-20f8fb937435n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/c585103b-9dfa-4e25-b36b-20f8fb937435n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAChs6_%3DJT8Fiaw-U%2BVch2nzb4-OQYa4LgUygOPNnXvEJtY_U%2Bg%40mail.gmail.com.