Remove undocumented & unused AgemoAbove

Last caller was removed 2000-05-23
hulpke · Feb 2, 2023 · 7cf672d · 7cf672d
1 parent 55dfbe0
commit 7cf672d
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 38 deletions.
diff --git a/lib/grp.gd b/lib/grp.gd
@@ -2468,20 +2468,6 @@ DeclareAttribute( "UpperCentralSeriesOfGroup", IsGroup );
 DeclareOperation( "EulerianFunction", [ IsGroup, IsPosInt ] );
 
 
-#############################################################################
-##
-#F  AgemoAbove( <G>, <C>, <p> )
-##
-##  <ManSection>
-##  <Func Name="AgemoAbove" Arg='G, C, p'/>
-##
-##  <Description>
-##  </Description>
-##  </ManSection>
-##
-DeclareGlobalFunction( "AgemoAbove" );
-
-
 #############################################################################
 ##
 #O  AsSubgroup( <G>, <U> )

diff --git a/lib/grp.gi b/lib/grp.gi
@@ -2289,30 +2289,6 @@ end );
 
 InstallMethod( ComputedAgemos, [ IsGroup ], 0, G -> [  ] );
 
-
-#############################################################################
-##
-#M  AgemoAbove( <G>, <C>, <p> ) . . . . . . . . . . . . . . . . . . . . local
-##
-InstallGlobalFunction( AgemoAbove, function( G, C, p )
-
-#T     # if we know the agemo,  return
-#T     if HasAgemo( G )  then
-#T         return Agemo( G );
-#T     fi;
-#T (is not an attribute...)
-
-    # if the derived subgroup of <G> is contained in <C> it is easy
-    if IsSubgroup( C, DerivedSubgroup(G) )  then
-        return SubgroupNC( G, List( GeneratorsOfGroup( G ), x -> x^p ) );
-
-    # otherwise use `Agemo'
-    else
-        Info( InfoGroup, 2, "computing conjugacy classes for agemo" );
-        return Agemo( G, p );
-    fi;
-end );
-
 #############################################################################
 ##
 #M  AsSubgroup( <G>, <U> )