Dear all, I want to create a new monoid and a group of invertible elements of this monoid.
The creation of the monoid (Parent and Element) is described very well in [1] (and got to understand the category framework a bit more). From an object-orientated point of view, I now would inherit a class for the invertible elements from both, the created monoid element and from GroupElement. This class will have methods only invertible elements have. My question now is, how the interplay between all theses elements (and also parents) is. In particular, when I create an invertible element through my monoid parent, does this already give a group element or do I explicitly have to construct the element via the group parent? How is this handled usually? Is there some (well written ;)) code (some monoid/groups) in Sage, where I can see a similar thing going on? There is also a second question I have (but much more non-specific): My elements can be seen also as functions acting on some set and the monoid operation corresponds to function composition. Is there a way to bring this aspect in? (As this question is very vague, I'm happy with every input you can provide.) Best wishes Daniel [1] http://www.sagemath.org/doc/thematic_tutorials/coercion_and_categories.html -- 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.
