[GAP Forum] bag with IsomorphismPermGroup
Evgeny Vdovin
vdovin at math.nsc.ru
Thu Jan 22 10:54:11 GMT 2009
Dear all,
This program runs ok on my GAP
F:=FreeGroup(1);
G:=F/[F.1^5]; # Z_5
h:=NqEpimorphismNilpotentQuotient(G,1);;
H:=Image(h);
Size(H); # critical line
IsomorphismPermGroup(H);
but if I remove the "critical line"
F:=FreeGroup(1);
G:=F/[F.1^5]; # Z_5
h:=NqEpimorphismNilpotentQuotient(G,1);;
H:=Image(h);
IsomorphismPermGroup(H);
it runs into error as follows:
gap> F:=FreeGroup(1);
<free group on the generators [ f1 ]>
gap> G:=F/[F.1^5]; # Z_5
<fp group on the generators [ f1 ]>
gap> h:=NqEpimorphismNilpotentQuotient(G,1);
[ f1 ] -> [ g1 ]
gap> H:=Image(h);
Pcp-group with orders [ 5 ]
gap> IsomorphismPermGroup(H);
Error, no method found! For debugging hints type ?Recovery from
NoMethodFound
Error, no 2nd choice method found for `IsomorphismPermGroup' on 1
arguments called from
<function>( <arguments> ) called from read-eval-loop
Entering break read-eval-print loop ...
you can 'quit;' to quit to outer loop, or
you can 'return;' to continue
brk>
I have no idea why choosing not to calculate Size(H) makes the program
break.
Can anyone help me out?
--
Best Regards
Prof. Vdovin Evgeny
Institute of Mathematics
pr-t Acad. Koptyug, 4
630090, Novosibirsk, Russia
Office +7 383 3634540
Cellular +7 913 9475524
Fax +7 383 3332598
More information about the Forum
mailing list