On Wed, Feb 25, 2009 at 4:34 PM, Rob Beezer <goo...@beezer.cotse.net> wrote: > > 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.
I agree that would be a nice project too. It is not yet implemented in Sage, as far as I can see, except via GAP. > > 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 -~----------~----~----~----~------~----~------~--~---
