From 8b935b07aad48c58c11a11104b7f7b1de9cd7576 Mon Sep 17 00:00:00 2001
From: Alexander Hulpke <hulpke@math.colostate.edu>
Date: Tue, 27 Dec 2022 08:01:13 -0700
Subject: [PATCH] Subsequent example changes

---
 lib/ctblfuns.gd | 2 +-
 lib/factgrp.gd  | 1 +
 lib/grp.gd      | 5 ++---
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/lib/ctblfuns.gd b/lib/ctblfuns.gd
index 76b49784db..6b388d548d 100644
--- 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
index 9be74a06cc..ac2d696221 100644
--- 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
index 684b829ae8..c5c4f7edab 100644
--- 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