Subsequent example changes

gap-system · Dec 27, 2022 · 8b935b0 · 8b935b0
1 parent 3230054
commit 8b935b0
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/lib/ctblfuns.gd b/lib/ctblfuns.gd
@@ -1013,7 +1013,7 @@ DeclareAttribute( "TrivialCharacter", IsGroup );
 ##  gap> NaturalCharacter( Group( [ [ 0, -1 ], [ 1, -1 ] ] ) );
 ##  Character( CharacterTable( Group([ [ [ 0, -1 ], [ 1, -1 ] ] ]) ),
 ##  [ 2, -1, -1 ] )
-##  gap> d8:= DihedralGroup( 8 );;  hom:= IsomorphismPermGroup( d8 );;
+##  gap> d8:= DihedralGroup( 8 );;  hom:= RegularActionHomomorphism( d8 );;
 ##  gap> NaturalCharacter( hom );
 ##  Character( CharacterTable( <pc group of size 8 with 3 generators> ),
 ##  [ 8, 0, 0, 0, 0 ] )

diff --git a/lib/factgrp.gd b/lib/factgrp.gd
@@ -232,6 +232,7 @@ DeclareSynonym( "ImproveOperationDegreeByBlocks",
 ##  called internally might try a degree reduction.)
 ##  <P/>
 ##  <Example><![CDATA[
+##  gap> iso:=RegularActionHomomorphism(SymmetricGroup(4));;
 ##  gap> image:= Image( iso );;  NrMovedPoints( image );
 ##  24
 ##  gap> small:= SmallerDegreePermutationRepresentation( image );;

diff --git a/lib/grp.gd b/lib/grp.gd
@@ -4279,10 +4279,9 @@ DeclareAttribute( "IsomorphismSpecialPcGroup", IsGroup );
 ##  gap> g:=SmallGroup(24,12);
 ##  <pc group of size 24 with 4 generators>
 ##  gap> iso:=IsomorphismPermGroup(g);
-##  <action isomorphism>
+##  [ f1, f2, f3, f4 ] -> [ (2,3), (2,3,4), (1,2)(3,4), (1,3)(2,4) ]
 ##  gap> Image(iso,g.3*g.4);
-##  (1,12)(2,16)(3,19)(4,5)(6,22)(7,8)(9,23)(10,11)(13,24)(14,15)(17,
-##  18)(20,21)
+##  (1,4)(2,3)
 ##  ]]></Example>
 ##  <P/>
 ##  In many cases the permutation representation constructed by