--- gap/basic/pcpgrps.gi.orig 2022-09-11 10:18:48.429783223 -0600
+++ gap/basic/pcpgrps.gi 2022-09-11 10:20:11.413953672 -0600
@@ -160,22 +160,6 @@ end );
#############################################################################
##
-#M IsNormal( H, U ) . . . . . . . . . . . . . . .test if U is normalized by H
-##
-InstallMethod( IsNormalOp, "for pcp groups",
- IsIdenticalObj, [ IsPcpGroup, IsPcpGroup ],
-function( H, U )
- local u, h;
- for h in GeneratorsOfPcp( Pcp(H, U)) do
- for u in Igs(U) do
- if not u^h in U then return false; fi;
- od;
- od;
- return true;
-end );
-
-#############################################################################
-##
#M Size( <pcpgrp> )
##
InstallMethod( Size, [ IsPcpGroup ],
--- gap/pcpgrp/fitting.gi.orig 2020-07-24 17:55:13.000000000 -0600
+++ gap/pcpgrp/fitting.gi 2022-09-11 10:20:59.263051944 -0600
@@ -56,6 +56,7 @@ end );
##
InstallMethod( FittingSubgroup,
"for pcp groups", [IsPcpGroup],
+ SUM_FLAGS, # Prevent generic GAP library method for finite groups being ranked higher
function( G )
local efas, pcps, l, F, i;