On Wed, Dec 24, 2008 at 1:46 PM, William Stein <wst...@gmail.com> wrote:
>

>>
>>> In addition, I am looking for a function to compute RightCoset of a
>>> group.
>>
>>
>> This is not implemented (yet).
>
> Is it possible using Gap?


Yes, http://www.gap-system.org/Manuals/doc/htm/ref/CHAP037.htm#SECT007

sage: S = SymmetricGroup(4)
sage: G = gap(S)
sage: g = G.Random()
sage: h = G.Random()
sage: g; h
(2,3,4)
(2,3)
sage: H = G.Subgroup([g,h])
sage: k = G.Random()
sage: k
(1,2,3)
sage: H.RightCoset(k)
RightCoset(Group( [ (2,3,4), (2,3) ] ),(1,2,3))



Basically, GAP creates a new data structure for right and left cosets. Sage
could implement this by creating a new coset class, with "right" or
"left" options..



>
> William
>
> >
>

--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups 
"sage-edu" group.
To post to this group, send email to sage-edu@googlegroups.com
To unsubscribe from this group, send email to 
sage-edu+unsubscr...@googlegroups.com
For more options, visit this group at 
http://groups.google.com/group/sage-edu?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to