Dear Gap-forum,
yes, it seems a bug. However it doesn't depend on that long input: it can
be repeated with the following code too.
Best wishes,
Marco Costantini
x:=SmallGroup(70,3);
IsPolycyclicGroup(x);
y:=GroupByPcgs(Pcgs(x));
IsomorphismGroups(x,y);
My output is:
gap> x:=SmallGroup(70,3);
<pc group of size 70 with 3 generators>
gap> IsPolycyclicGroup(x);
true
gap> y:=GroupByPcgs(Pcgs(x));
<pc group of size 70 with 3 generators>
gap> IsomorphismGroups(x,y);
fail