double cosets in Sage
Suppose G is a group and H and I are two subgroup of it how can I compute the double cosets I\G/H?
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 think this could be easily wrapped, the return type is a list of tuples. It's just that no one has done it yet.
Please start posting anonymously - your entry will be published after you log in or create a new account.
Asked: 2012-09-07 18:57:16 +0100
Seen: 858 times
Last updated: Sep 12 '12
Permutation Representations and the Modular Group
Order of elements in group multiplication?
Cosets Generated by Product of Generators
Iterator for conjugacy classes of Sn
Is it possible to run over the isomorphism classes of groups?
specific representation for groups inheriting from Sage's Group class