Hi! On Jul 31, 5:11 pm, kcrisman <[email protected]> wrote: ... > Though I agree that this could be confusing, the good part is that > this creates (an isomorphic) group without having to talk about which > element of the coset you pick each time. It would be misleading to > say that (1234) was an element of G/H (which I think is what David was > getting at). There are ways to get cosets in GAP, of course (maybe > wrapped in Sage?) but I don't know much about them.
Yes, that is the point that I wanted to make. Is it wrapped in Sage? Is there a method that associates to an element g of G an element in G.quotient_group(H) corresponding to its coset? Cheers, Simon --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to [email protected] 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://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
