On 2015-02-22 15:24, Simon King wrote:
Seriously? I didn't know that Sage's coercion model has such special cases. OK, it makes it possible to get a typical usecase with least effort. But my impression is that ultimately such special cases cause a lot more confusion than a clear model in the spirit of "arithmetics across parents relies on coercion morphisms, which are canonical morphisms in suitable categories, and the composition of coercion morphisms is a coercion morphism".
On the other, this special case is consistent with the idea of the "univeral 0 object" proposed by John Cremona.
-- 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.