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:
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.
GMX - Die Kommunikationsplattform im Internet.