Suppose G is a group and H and I are two subgroup of it how can I compute the double cosets I\G/H?
The DoubleCoset function in GAP has not been wrapped yet, so this is currently "not implemented". But, you can always ask GAP to compute (double) cosets from within Sage:
sage: gap.eval('g:=Group((1,2,3,4),(1,2));;')
sage: gap.eval('u:=Subgroup(g,[(1,2,3),(1,2)]);;')
sage: gap.eval('v:=Subgroup(g,[(3,4)]);;')
sage: gap.eval('c:=DoubleCoset(u,(2,4),v);')
'DoubleCoset(Group( [ (1,2,3), (1,2) ] ),(2,4),Group( [ (3,4) ] ))'
sage: gap.eval('List(c);')
'[ (2,3,4), (1,4,2), (1,3)(2,4), (2,4), (1,4,2,3), (1,3,4,2) ]'I guess these wouldn't be translatable to Sage... yet.
I think this could be easily wrapped, the return type is a list of tuples. It's just that no one has done it yet.
Asked: 12 years ago
Seen: 922 times
Last updated: Sep 12 '12
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
