> < ^ Date: Wed, 22 Aug 2001 16:31:08 +0200 (MEST)
> ^ From: Thomas Haeberlen <thomas.haeberlen@gmx.net >
^ Subject: Question on "Migration" / "Porting" from Gap3 to Gap4

Dear Gap Forum,

I have a problem with a missing Gap3 function in Gap4.

In Gap3 there is a function IsomorphismAgGroup( series ) where series was a
(subnormal) series for a group G. IsomorphismAgGroup( series ) returns an
isomorphism onto another group H such that the given series maps onto a
of the composition series of H.
In Gap4 I can not find such a function, and
IsomorphismFpGroupBySubnormalSeries() doesn't seem to do the trick, since it
complains about "Error, no
method found! For debugging hints type ?Recovery from NoMethodFound
Error no 1st choice method found for `IsomorphismFpGroupBySubnormalSeries'
on 1 arguments at ..." .

Furthermore this command is not documented:

gap> ?IsomorphismFpGroupBySubnormalSeries
Help: `IsomorphismFpGroupBySubnormalSeries' is currently undocumented

Am I missing something obvious or even trivial, or is this really something
that was not ported to Gap4? I can hardly believe that the latter may be
since I suppose this function may be frequently used to get certain
"compatible" presentations for groups.

Any suggestions where to look?

Many thanks in advance.


Thomas Haeberlen

GMX - Die Kommunikationsplattform im Internet.

Miles-Receive-Header: reply

> < [top]