ENHANCE: CharacteristicSubgroupsLib to CharacteristicSubgroups

gap-system · Dec 5, 2016 · 334d22a · 334d22a
1 parent 76eccb6
commit 334d22a
Show file tree

Hide file tree

Showing 5 changed files with 11 additions and 11 deletions.
diff --git a/lib/autsr.gi b/lib/autsr.gi
@@ -832,9 +832,9 @@ local d,a,map,possibly,cG,cH,nG,nH,i,j,sel,u,v,asAutomorphism,K,L,conj,e1,e2,
   # go through factors of characteristic series to keep orbits short.
   AutomorphismGroup(G:someCharacteristics:=fail);
   AutomorphismGroup(H:someCharacteristics:=fail);
-  cG:=CharacteristicSubgroupsLib(G);
+  cG:=CharacteristicSubgroups(G);
   nG:=[];
-  cH:=ShallowCopy(CharacteristicSubgroupsLib(H));
+  cH:=ShallowCopy(CharacteristicSubgroups(H));
   if Length(cG)<>Length(cH) then
     return fail;
   fi;

diff --git a/lib/grp.gd b/lib/grp.gd
@@ -1845,11 +1845,11 @@ DeclareAttribute( "NormalSubgroups", IsGroup );
 
 #############################################################################
 ##
-#A  CharacteristicSubgroupsLib( <G> )
+#A  CharacteristicSubgroups( <G> )
 ##
-##  <#GAPDoc Label="CharacteristicSubgroupsLib">
+##  <#GAPDoc Label="CharacteristicSubgroups">
 ##  <ManSection>
-##  <Attr Name="CharacteristicSubgroupsLib" Arg='G'/>
+##  <Attr Name="CharacteristicSubgroups" Arg='G'/>
 ##
 ##  <Description>
 ##  returns a list of all characteristic subgroups of <A>G</A>, that is
@@ -1864,7 +1864,7 @@ DeclareAttribute( "NormalSubgroups", IsGroup );
 ##  </ManSection>
 ##  <#/GAPDoc>
 ##
-DeclareAttribute( "CharacteristicSubgroupsLib", IsGroup );
+DeclareAttribute( "CharacteristicSubgroups", IsGroup );
 
 
 #############################################################################

diff --git a/lib/grp.gi b/lib/grp.gi
@@ -5140,9 +5140,9 @@ end);
 
 #############################################################################
 ##
-#M  CharacteristicSubgroupsLib( <G> )
+#M  CharacteristicSubgroups( <G> )
 ##
-InstallMethod(CharacteristicSubgroupsLib,"use automorphisms",true,[IsGroup],
+InstallMethod(CharacteristicSubgroups,"use automorphisms",true,[IsGroup],
   G->Filtered(NormalSubgroups(G),x->IsCharacteristicSubgroup(G,x)));
 
 InstallTrueMethod( CanComputeSize, HasSize );

diff --git a/lib/grpnames.gi b/lib/grpnames.gi
@@ -464,7 +464,7 @@ InstallMethod(CharacteristicFactorsOfGroup, "generic method", true,
 function(G)
 local Ns,MinNs,sel,a,sz,j,gs,g,N;
 
-  Ns := ShallowCopy(CharacteristicSubgroupsLib(G));
+  Ns := ShallowCopy(CharacteristicSubgroups(G));
   SortBy(Ns,Size);
   MinNs:=[];
   sel:=[2..Length(Ns)-1];

diff --git a/lib/grppclat.gi b/lib/grppclat.gi
@@ -1195,9 +1195,9 @@ end);
 
 #############################################################################
 ##
-#M  CharacteristicSubgroupsLib( <G> )
+#M  CharacteristicSubgroups( <G> )
 ##
-InstallMethod(CharacteristicSubgroupsLib,"solvable, automorphisms",true,
+InstallMethod(CharacteristicSubgroups,"solvable, automorphisms",true,
   [IsGroup and IsSolvableGroup],0,
 function(G)
 local A,s;