ENHANCE: Avoid radical automorphism if it has big abeliniazation

gap-system · Nov 18, 2016 · 92adc28 · 92adc28
1 parent 957ddd0
commit 92adc28
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/lib/autsr.gi b/lib/autsr.gi
@@ -620,7 +620,8 @@ local ff,r,d,ser,u,v,i,j,k,p,bd,e,gens,lhom,M,N,hom,Q,Mim,q,ocr,split,MPcgs,
 
     # do we use induced radical automorphisms to help next step?
     if Size(KernelOfMultiplicativeGeneralMapping(hom))>1 and
-      Size(A)>10^8 
+      Size(A)>10^8 and (IsAbelian(r) or
+      Length(AbelianInvariants(r))<10)
       #(
       ## potentially large GL
       #Size(GL(Length(MPcgs),RelativeOrders(MPcgs)[1]))>10^10 and