ENHANCE: Avoid Agemo if subgroup is trivial

gap-system · Aug 18, 2016 · fd3fa45 · fd3fa45
1 parent ec9ba64
commit fd3fa45
Showing 1 changed file with 19 additions and 17 deletions.
diff --git a/lib/autsr.gi b/lib/autsr.gi
@@ -176,23 +176,25 @@ local ff,r,d,ser,u,v,i,j,p,bd,e,gens,lhom,M,N,hom,Q,Mim,q,ocr,split,MPcgs,
     d:=RefinedSubnormalSeries(d,Centre(r));
     for i in Set(Factors(Size(r))) do
       u:=PCore(r,i);
-      d:=RefinedSubnormalSeries(d,u);
-      j:=1;
-      repeat
-        v:=Agemo(u,i,j);
-	if Size(v)>1 then
-	  d:=RefinedSubnormalSeries(d,v);
-	fi;
-	j:=j+1;
-      until Size(v)=1;
-      j:=1;
-      repeat
-        v:=Omega(u,i,j);
-	if Size(v)<Size(u) then
-	  d:=RefinedSubnormalSeries(d,v);
-	fi;
-	j:=j+1;
-      until Size(v)=Size(u);
+      if Size(u)>1 then
+	d:=RefinedSubnormalSeries(d,u);
+	j:=1;
+	repeat
+	  v:=Agemo(u,i,j);
+	  if Size(v)>1 then
+	    d:=RefinedSubnormalSeries(d,v);
+	  fi;
+	  j:=j+1;
+	until Size(v)=1;
+	j:=1;
+	repeat
+	  v:=Omega(u,i,j);
+	  if Size(v)<Size(u) then
+	    d:=RefinedSubnormalSeries(d,v);
+	  fi;
+	  j:=j+1;
+	until Size(v)=Size(u);
+      fi;
 
     od;
     Assert(1,ForAll([1..Length(d)-1],x->Size(d[x])<>Size(d[x+1])));