Perhaps I should use the word natural, not canonical. Natural inclusions, natural homomorphisms to quotient rings and the obvious map from one ring to another that is defined the same way would all be automatically declared the distinguished map suitable for automatic coersion.
--~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/ -~----------~----~----~----~------~----~------~--~---
