ENHANCE: EpimorphismSolvableQuotient sets injective

if source size is known and equals image size. This fixes #3431
gap-system · Jun 25, 2019 · c2c56e6 · c2c56e6
1 parent 098df9c
commit c2c56e6
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/lib/grppcfp.gi b/lib/grppcfp.gi
@@ -878,6 +878,9 @@ local g, sq, hom;
   g:=arg[1];
   sq:=CallFuncList(SQ,arg);
   hom:=GroupHomomorphismByImages(g,sq.image,GeneratorsOfGroup(g),sq.imgs);
+  if HasSize(g) and Size(g)=Size(sq.image) then
+    SetIsInjective(hom,true);
+  fi;
   return hom;
 end);