Francisco, When I work with undergraduate students, I stick to permutation groups in Sage since they are more concrete. When you compute a quotient group what you get back is a permutation group that is isomorphic to the quotient, e.g.
G=SymmetricGroup(5) H=AlternatingGroup(5) G.quotient_group(H) Permutation Group with generators [(1,2)] It would be nice to be able to (optionally) work with the actual cosets as elements of the quotient group. I thought I saw recently that right cosets may have been implemented, but I can't find that right now. David, or somebody else, might know the current state of that. I know GAP will produce right cosets. This won't be a semester-long project, but it might be a good bite- size warmup over the summer to practice with Sage internals, the Gap interface, the development process, etc. And it would be useful for other students like yourself to be able to experiment with a more concrete version of the quotient group when they are new to the subject. Rob --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
