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
sublist
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
true
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.

Cheers,

Thomas Haeberlen

--
GMX - Die Kommunikationsplattform im Internet.
http://www.gmx.net

Miles-Receive-Header: reply