Skip to content

Commit

Permalink
REDO part of gap-system#683.
Browse files Browse the repository at this point in the history
For some reason (probably my stupidity) par on gap-system#683 had fallen out of
master. Add again.
  • Loading branch information
hulpke committed Feb 1, 2018
1 parent 0709ab0 commit 95cb1ec
Showing 1 changed file with 17 additions and 0 deletions.
17 changes: 17 additions & 0 deletions lib/grplatt.gi
Original file line number Diff line number Diff line change
Expand Up @@ -3055,6 +3055,23 @@ local recog,m,len;
return m;
end);

InstallMethod(LowIndexSubgroups,"finite groups, using iterated maximals",
true,[IsGroup and IsFinite,IsPosInt],0,
function(G,n)
local m,all,m2;
m:=[G];
all:=[G];
while Length(m)>0 do
m2:=Concatenation(List(m,MaximalSubgroupClassReps));
m2:=Unique(Filtered(m2,x->Index(G,x)<=n));
m2:=List(SubgroupsOrbitsAndNormalizers(G,m2,false),x->x.representative);
m2:=Filtered(m2,x->ForAll(all,y->RepresentativeAction(G,x,y)=fail));
Append(all,m2);
m:=Filtered(m2,x->Index(G,x)<=n/2); # otherwise subgroups will have too large index
od;
return all;
end);

#############################################################################
##
#F LowLayerSubgroups( [<act>,] <G>, <lim> [,<cond> [,<dosub>]] )
Expand Down

0 comments on commit 95cb1ec

Please sign in to comment.