DOC2

gap-system · Jul 29, 2024 · b3f628c · b3f628c
1 parent 6dc0dc6
commit b3f628c
Showing 1 changed file with 4 additions and 8 deletions.
diff --git a/lib/grp.gd b/lib/grp.gd
@@ -4362,10 +4362,6 @@ DeclareAttribute( "IsomorphismFpGroup", IsGroup );
 ##  [ (1,2), (1,2,3,4,5) ] -> [ F1, F2 ]
 ##  gap> fp := Image( iso );
 ##  <fp group of size 120 on the generators [ F1, F2 ]>
-##  gap> RelatorsOfFpGroup( fp );
-##  [ F1^2, F2^5, (F2^-1*F1)^4, (F1*F2^-1*F1*F2)^3, (F1*F2^-2*F1*F2^2)^2\
-##    F2^-1*(F2^-1*F1)^2*F2^2*(F1*F2^-1)^2*F2^-1*F1*F2*F1,
-##    (F1*F2^-2)^2*F2^-1*F1*F2^3*F1*F2^-3 ]
 ##  ]]></Example>
 ##  <P/>
 ##  The main task of the function
@@ -4392,9 +4388,9 @@ DeclareAttribute( "IsomorphismFpGroup", IsGroup );
 ##    (1,12)(2,11)(3,6)(4,8)(5,9)(7,10) ])
 ##  gap> gens := GeneratorsOfGroup( M12 );;
 ##  gap> iso := IsomorphismFpGroupByGenerators( M12, gens );;
-##  #I  the image group has 3 gens and 21 rels of total length 669
+##  #I  the image group has 3 gens and 24 rels of total length 669
 ##  gap> iso := IsomorphismFpGroupByGenerators( M12, gens );;
-##  #I  the image group has 3 gens and 21 rels of total length 414
+##  #I  the image group has 3 gens and 20 rels of total length 414
 ##  ]]></Example>
 ##  <P/>
 ##  Also in the case of a permutation group <A>G</A>, the function
@@ -4443,7 +4439,7 @@ DeclareAttribute( "IsomorphismFpGroup", IsGroup );
 ##  #I  the image group has 3 gens and 11 rels of total length 92
 ##  gap> iso := IsomorphismFpGroupByGenerators( M12, gens :
 ##  >                                           method := "fast" );;
-##  #I  the image group has 3 gens and 176 rels of total length 3170
+##  #I  the image group has 3 gens and 136 rels of total length 3170
 ##  ]]></Example>
 ##  <P/>
 ##  Though the option <C>method := "regular"</C> is only checked in the case
@@ -4465,7 +4461,7 @@ DeclareAttribute( "IsomorphismFpGroup", IsGroup );
 ##    [ [ 0, 1, 0, 0, 0 ], [ 0, 0, 1, 0, 0 ], [ 0, 0, 0, 1, 0 ],
 ##        [ 1, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 1 ] ] ]
 ##  gap> iso := IsomorphismFpGroupByGenerators( G, gens );;
-##  #I  the image group has 2 gens and 8 rels of total length 128
+##  #I  the image group has 2 gens and 11 rels of total length 128
 ##  gap> iso := IsomorphismFpGroupByGenerators( G, gens :
 ##  >                                           method := "regular");;
 ##  #I  the image group has 2 gens and 6 rels of total length 56