On May 22, 11:53 am, "David Roe" <[EMAIL PROTECTED]> wrote: > These are all basically examples of sections of injective canonical maps > going the other direction. Yes I now think this seems like the best way to address this. Non-automatic coercions that are (partially defined) inverses of automatic coercions. I am a bit afraid of the _scalar_ proposal. (1) It seems too limited. What about coercing a polynomial to a polynomial ring with a subset of the variables (this often makes sense)? (2) People will forget to call the _scalar_ method because it is unrelated to the class they are implementing. My _call_ proposal was to address (2) so that sage can do some magic behind the scenes. Michel --~--~---------~--~----~------------~-------~--~----~ 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/ -~----------~----~----~----~------~----~------~--~---
