Skip to content

Commit

Permalink
Adjust manual examples
Browse files Browse the repository at this point in the history
  • Loading branch information
hulpke committed Apr 5, 2024
1 parent 5a0eda9 commit 0c68ad5
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion lib/factgrp.gd
Original file line number Diff line number Diff line change
Expand Up @@ -150,7 +150,8 @@ DeclareAttribute("NaturalHomomorphismsPool",IsGroup,
## gap> g:=Group((1,2,3,4,5),(1,2));;u:=SylowSubgroup(g,2);;Index(g,u);
## 15
## gap> FactorCosetAction(g,u);
## <action epimorphism>
## [ (1,2,3,4,5), (1,2) ] -> [ (1,4,7,10,13)(2,5,8,11,14)(3,6,9,12,15),\
## (1,4)(2,6)(3,5)(7,8)(10,12)(13,14) ]
## gap> StructureDescription(Range(last));
## "S5"
## gap> FactorCosetAction(g,[u,SylowSubgroup(g,3)]);;
Expand Down

0 comments on commit 0c68ad5

Please sign in to comment.