Hi everyone, My question as two parts:
First, I'm working with a group action on a set of objects and I would like to generate the orbit of an object. To simplify, we can think of the group acting on the set as a permutation group. Let G be the permutation group and H a subgroup of G. Basically, I would like to have a set of coset representatives of G/H. As I've seen, I can get the quotient group if my subgroup is normal (cf. quotient(N) in http://www.sagemath.org/doc/reference/sage/groups/perm_gps/permgroup.html) But what I want is a set of coset representatives! I guess gap can do this, but would that be awesome to have something like: sage: G=SymmetricGroup(5) sage: H=G.subgroup([1,2,3]) sage: G.coset_representatives(H) The set coset representatives of H in G Is there already a simple way to have this??? --------------------------------------------------------------------------------------------------------------------------------------- Second, in fact, the group I'm working with is a semi-direct product of two different direct products of symmetric groups. So, I would like to know if there is a simple way to define such a group in sage. I've seen it's possible in gap working around... What's the simplest way?? -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
