Set group properties only if groups is generated by pcsequence.

gap-system · Jan 4, 2017 · e9bfb12 · e9bfb12
1 parent 671bffb
commit e9bfb12
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/lib/pcgsperm.gi b/lib/pcgsperm.gi
@@ -568,9 +568,11 @@ local   grp,  pcgs,  U,  oldlen,  series,  y,  w,
 
   pcgs := PcgsStabChainSeries( filter, grp, series, 1,true);
 
-  SetIsSolvableGroup( grp, true );
-  SetPcgs( grp, pcgs );
-  SetHomePcgs( grp, pcgs );
+  if Set(GeneratorsOfGroup(grp))=Set(pcseq) then
+    SetIsSolvableGroup( grp, true );
+    SetPcgs( grp, pcgs );
+    SetHomePcgs( grp, pcgs );
+  fi;
   SetGroupOfPcgs (pcgs, grp);
   return pcgs;
 end);