> < ^ Date: Fri, 26 Apr 1996 16:42:40 +0200
> < ^ From: Joachim Neubueser <joachim.neubueser@math.rwth-aachen.de >
< ^ Subject: Re: FpGroup for permutation groups

Dear GAP-forum,

Franz Gaehler writes:
> 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

> < [top]