Hi Jonas, On 2015-02-21, Jonas Jermann <jjerma...@gmail.com> wrote: > I'm confused. Why does the additive group of ZZ coerce into P?
Oops, you are right. You can map ZZ onto an additive subgroup of P, but that would be not canonical and hence not a coercion. Anyway, Sage's coercion model works on the level of parents, not on the level of elements. Hence, the fact that the element 0 has a canonical interpretation in P is not relevant. It only matters whether or not ZZ has a canonical morphism to P. Best regards, Simon -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
