ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Thu, 28 Jul 2016 09:08:54 +0200Faster function for working with cosetshttps://ask.sagemath.org/question/34220/faster-function-for-working-with-cosets/I would like to get the cosets of a non-normal subgroup and in the documentation for the `.cosets()` method here:
[PermutationGroup_generic.cosets](http://doc.sagemath.org/html/en/reference/groups/sage/groups/perm_gps/permgroup.html#sage.groups.perm_gps.permgroup.PermutationGroup_generic.cosets)
there is a **Note:** that says
>Sage and GAP provide more sophisticated functions for working quickly with cosets of larger groups.
but doesn't mention what these functions are. I was hoping that someone could point me to these functions.
If it makes a difference, I want to iterate over a set of coset representatives and it will all be done in a permutation group.Mon, 25 Jul 2016 18:49:42 +0200https://ask.sagemath.org/question/34220/faster-function-for-working-with-cosets/Answer by Dima for <p>I would like to get the cosets of a non-normal subgroup and in the documentation for the <code>.cosets()</code> method here:</p>
<p><a href="http://doc.sagemath.org/html/en/reference/groups/sage/groups/perm_gps/permgroup.html#sage.groups.perm_gps.permgroup.PermutationGroup_generic.cosets">PermutationGroup_generic.cosets</a></p>
<p>there is a <strong>Note:</strong> that says</p>
<blockquote>
<p>Sage and GAP provide more sophisticated functions for working quickly with cosets of larger groups.</p>
</blockquote>
<p>but doesn't mention what these functions are. I was hoping that someone could point me to these functions.</p>
<p>If it makes a difference, I want to iterate over a set of coset representatives and it will all be done in a permutation group.</p>
https://ask.sagemath.org/question/34220/faster-function-for-working-with-cosets/?answer=34258#post-id-34258Here is an example of how to get a list of coset representatives:
sage: g=libgap.AlternatingGroup(5)
sage: h=g.Stabilizer(1)
sage: [x.Representative() for x in g.RightCosets(h)]
[(), (1,5,4), (1,4,5), (1,2,5), (1,3,5)]
Please feel free to ask for more details.Thu, 28 Jul 2016 09:08:54 +0200https://ask.sagemath.org/question/34220/faster-function-for-working-with-cosets/?answer=34258#post-id-34258