From aafd49054ca38d8f07009477172c9006111edeed Mon Sep 17 00:00:00 2001 From: Alexander Hulpke Date: Thu, 29 Jun 2023 12:27:24 +0300 Subject: [PATCH] EXTRA WORK: Please the linter --- lib/ghomfp.gi | 2 +- lib/grpfp.gi | 2 +- lib/kbsemi.gi | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/lib/ghomfp.gi b/lib/ghomfp.gi index f6d49517e6..f41a4c174a 100644 --- a/lib/ghomfp.gi +++ b/lib/ghomfp.gi @@ -1066,7 +1066,7 @@ end); InstallMethod(MaximalAbelianQuotient,"whole fp group", true, [IsSubgroupFpGroup and IsWholeFamily], 0, function(f) -local m,s,g,i,j,rel,gen,img,fin,hom,d,pos; +local m,s,g,i,j,gen,img,hom,d,pos; # since f is the full group, exponent sums are with respect to its # generators. diff --git a/lib/grpfp.gi b/lib/grpfp.gi index ca0d75670b..d20913b630 100644 --- a/lib/grpfp.gi +++ b/lib/grpfp.gi @@ -218,7 +218,7 @@ local hom,gp,f; # nilpotent f:=Factors(Size(gp)); hom:=EpimorphismPGroup(gp,f[1],Length(f)); - elif HasIsSolvableGroup(gp) and IsSolvableGroup(gp) and + elif HasIsSolvableGroup(gp) and IsSolvableGroup(gp) and not (HasSize(gp) and Size(gp)=infinity) then # solvable hom:=EpimorphismSolvableQuotient(gp,Size(gp)); diff --git a/lib/kbsemi.gi b/lib/kbsemi.gi index 42c0896c77..5b1f508ccc 100644 --- a/lib/kbsemi.gi +++ b/lib/kbsemi.gi @@ -427,7 +427,7 @@ function(kbrws,v) #modifies the list pairs2check in such a way that the previous indexes #are modified so they correspond to same pairs as before remove_rule:=function(i) - local j,q,a,k,l,kk; + local j,q,l,kk; if kbdag<>fail then # update lookup structure @@ -512,7 +512,7 @@ function(kbrws,v) #modifies the list pairs2check in such a way that the previous indexes #are modified so they correspond to same pairs as before remove_rules:=function(weg) - local j,q,a,k,l,kk,i,neu,x,y; + local j,q,a,l,kk,i,neu,x,y; if kbdag<>fail then for i in weg do