From ebe99553227a8648cea81e482771e03161754010 Mon Sep 17 00:00:00 2001 From: Alexander Hulpke Date: Mon, 15 Aug 2016 11:22:33 -0600 Subject: [PATCH] ENHANCE: Avoid Agemo if subgroup is trivial --- lib/autsr.gi | 36 +++++++++++++++++++----------------- 1 file changed, 19 insertions(+), 17 deletions(-) diff --git a/lib/autsr.gi b/lib/autsr.gi index da588cc8d6c..d5ee7f10057 100644 --- 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)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(d[x])<>Size(d[x+1])));