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