Skip to content

Commit

Permalink
ENHANCE: EpimorphismSolvableQuotient sets injective
Browse files Browse the repository at this point in the history
if source size is known and equals image size.

This fixes gap-system#3431
  • Loading branch information
hulpke committed May 6, 2019
1 parent 1afd3f7 commit e80518a
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions lib/grppcfp.gi
Original file line number Diff line number Diff line change
Expand Up @@ -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);

Expand Down

0 comments on commit e80518a

Please sign in to comment.