FIX: Redid fix for gap-system#3864

As previous fix did not work for matrix groups
hulpke · Jan 28, 2020 · 1fb5312 · 1fb5312
1 parent 65ba5b3
commit 1fb5312
Showing 1 changed file with 10 additions and 3 deletions.
diff --git a/lib/fitfree.gi b/lib/fitfree.gi
@@ -204,9 +204,16 @@ local ffs,hom,U,rest,ker,r,p,l,i,depths,pcisom;
 
  # FittingFreeLiftSetup for U, if correct
  if Size(RadicalGroup(Image(rest,U)))=1 then
- pcisom:=List(ipcgs,x->ImagesRepresentative(ffs.pcisom,x));
- pcisom:=GroupHomomorphismByImagesNC(U,SubgroupNC(Range(ffs.pcisom),pcisom),
- ipcgs,pcisom);
+ if ipcgs=MappingGeneratorsImages(ffs.pcisom)[1] then
+ pcisom:=ffs.pcisom;
+ else
+ pcisom:=List(ipcgs,x->ImagesRepresentative(ffs.pcisom,x));
+ RUN_IN_GGMBI:=true;
+ pcisom:=GroupHomomorphismByImagesNC(Group(ipcgs),
+ SubgroupNC(Range(ffs.pcisom),pcisom),
+ ipcgs,pcisom);
+ RUN_IN_GGMBI:=false;
+ fi;
  r:=rec(inducedfrom:=ffs,
  pcgs:=ipcgs,
  depths:=depths,