ENHANCE: Option for perm group closure to get order of closure

This can give speedup if closure is with normal subgroup.
gap-system · Mar 27, 2019 · 0ac827a · 0ac827a
1 parent 04e91d2
commit 0ac827a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/lib/grpperm.gi b/lib/grpperm.gi
@@ -736,6 +736,8 @@ BindGlobal("DoClosurePrmGp",function( G, gens, options )
             fi;
         od;
     else
+        o:=ValueOption("knownClosureSize");
+        if IsInt(o) then options.limit:=o;fi;
         chain := ClosureRandomPermGroup( chain, gens, options );
     fi;