Dear GAP-forum,
Franz Gaehler writes:
=20
> I suspect that there is a bug in routine FpGroup when applied to=20
> a permutation group. In the manual FpGroup is mentioned only for
> AgGroups, but since it occurs also in the operations record of
> a permutation group I thought it would be safe to use it that case,=20
> too. =20
No, it isn't, and that is why such a function for permutation groups
is not in the manual. The record component you mention is there for
other reasons.
I am running GAP 3.4 at patch level 3, and I think I have applied all
bugfixes, in particular bugfix04. Perhaps I should try the newly=20
announced PresentationViaCosetTable!
Indeed you should, although the function is new, we hope it is
correct, at least it produces a correct answer in your example.
In a later version we hope to have an FpGroup function that embraces
more kinds of groups.
Kind regards Joachim Neubueser and Volkmar Felsch