Replaced now superfluous IsFinite calls.

gap-system · Apr 26, 2018 · 67c974a · 67c974a
1 parent b28a1c1
commit 67c974a
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/lib/grppcaut.gi b/lib/grppcaut.gi
@@ -371,7 +371,6 @@ local translate, gens, oper, fac, ind, vec, tmp;
 		     permgens:=tmp.gens,
 		     pairgens:=tmp.shadows);
       C:=GroupByGenerators(translate.pairgens,One(C));
-      SetIsFinite(C,true);
       SetSize(C,Size(tmp.stabilizer));
     else
       tmp := OrbitStabilizer( C, v, gens, oper, OnRight );
@@ -494,7 +493,6 @@ InducedActionAutGroup := function( epi, weights, s, n, A )
     # add size and check solubility
     D := GroupByGenerators( comp, DirectProductElement( [ One( A ),
              Immutable( IdentityMat(Length(pcgsM), field) )]));
-    SetIsFinite(D,true);
     SetSize( D, Size( A ) );
     if CanEasilyComputePcgs( A ) then
         TransferPcgsInfo( D, comp, RelativeOrders( gensA ) );
@@ -669,7 +667,6 @@ local spec,s,n,M,
         TransferPcgsInfo( B, pcgs, rels );
     fi;
 
-    SetIsFinite(B,true);
     SetSize( B, Size( L )*(p-1) );
     return B;
 end;
@@ -900,7 +897,6 @@ AutomorphismGroupElAbGroup := function( G, B )
     od;
 
     A := GroupByGenerators( autos, IdentityMapping( G ) );
-    SetIsFinite(A,true);
     SetSize( A, Size( B ) );
     if IsPcgs( mats ) then
         TransferPcgsInfo( A, autos, RelativeOrders( mats ) );
@@ -975,7 +971,6 @@ local f,act,xset,stb,hom,n,m,l,i;
     Add(stb,m);
     stb:=List(stb,x->x^act); # base change
     stb:=Group(stb);
-    SetIsFinite(stb,true);
     SetSize(stb,Size(GL(l,f))*Size(GL(n-l,f))*Size(f)^(l*(n-l)));
     Info(InfoMatOrb,2,"reduced full GL by ",Size(G)/Size(stb));
     return stb;
@@ -1269,7 +1264,6 @@ if Length(rans[i])=0 then Error("EGAD");fi;
 
   gens:=List(gens,x->x^sub);
   a:=Group(gens,one);
-  SetIsFinite(a,true);
   SetSize(a,sz);
 
   # are there diagonals we did not deal with, also original spaces?
@@ -1968,7 +1962,6 @@ InstallGlobalFunction(AutomorphismGroupNilpotentGroup,function(G)
 	autG := Group( gensAutG, IdentityMapping(G) );
 	SetIsAutomorphismGroup(autG, true);
 	SetIsGroupOfAutomorphismsFiniteGroup(autG, true);
-	SetIsFinite(autG,true);
 
 	return autG;
 end );