Add CanComputeSize to Socle testing conditions

gap-system · Jan 20, 2016 · a9ef69c · a9ef69c
1 parent 3f8b887
commit a9ef69c
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/lib/grp.gi b/lib/grp.gi
@@ -1592,12 +1592,13 @@ end );
 ##
 InstallMethod( Socle, "for finite nilpotent groups",
               [ IsGroup ],
-              RankFilter( IsGroup and IsFinite and IsNilpotentGroup ) -
-              RankFilter( IsGroup ),
+              RankFilter( IsGroup and CanComputeSize and IsFinite and
+                          IsNilpotentGroup ) - RankFilter( IsGroup ),
   function(G)
     local H, prodH;
 
-    if not IsFinite(G) or not IsNilpotentGroup(G) then
+    if not CanComputeSize(G) or not IsFinite(G)
+       or not IsNilpotentGroup(G) then
       TryNextMethod();
     fi;