> < ^ From:

> ^ Subject:

How do I make a permutation group from an Ag group? Specifically,

I would like to get the action on the cosets of a subgroup. The

following is a summary of what I tried, but it doesn't work.

(BTW, is this forum broken? I have not received any messages in

it for over a month.)

David Sibley

sibley@math.psu.edu

-------------------------------------------------------------

gap> a:=TwoGroup(256,3678);;

gap> b:=Subgroup(a,[a.1^2,a.2^2,a.3^2]);;

gap> g:=Operation(a,Cosets(a,b),OnRightCosets);;

Error, for: <list> must evaluate to a list at

for <var> in set ... in

opr( D[i], gen ) called from

arg[1].operations.Operation( arg[1], arg[2], arg[3] ) called from

Operation( a, Cosets( a, b ), OnRightCosets ) called from

main loop

brk> quit;

gap> g:=OperationCosetsFpGroup(a,b);;

Error, Record: element 'relators' must have an assigned value at

if gen ^ 2 in G.relators or gen ^ (-1 * 2) in G.relators ... in

CosetTableFpGroup( G, H ) called from

OperationCosetsFpGroup( a, b ) called from

main loop

brk> quit;

gap>

> < [top]