Dear Evgeny,
sorry for the delay.
The method NqEpimorphismNilpotentQuotient computes an epimorphism onto a
PcpGroup. Since a PcpGroup might (in general) be infinite, the (current)
method implemented for IsomorphismPermGroup asks for a group lying in the
filter 'IsPcpGroup and IsFinite'.
Wh
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:=NqEpimorphismNilpotentQuotien
