Nicolas, I forgot to say that G is equipped with a number of coercions which you said would be overriden if I write an explicit element constructor for G which knows how to include H.
--Mark > While constructing an instance of a certain group G, > during its initialization I want to define a coercion morphism > from a certain subgroup H into G. The group H > does not currently know it is a subgroup of G. > > The coercion should be achieved by a function with sole > input being an element of H. How do I tell the function about the > structure of G if I cannot pass this information as parameters? > (You previously told me that in Python the enclosing functions and their > attributes/methods are > not seen by the enclosed function.) > > --Mark -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-combinat-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-combinat-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
