From bbc4d12f2909b194c6b9f3b192a9a5a59d8deac6 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Thu, 23 Apr 2026 23:30:59 +0200
Subject: [PATCH 1/2] Remove spurious depdendency on smallgrps library

---
 doc/examples.tex         | 4 ++--
 tst/manual.example-6.tst | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/doc/examples.tex b/doc/examples.tex
index 692ab25..f490866 100644
--- a/doc/examples.tex
+++ b/doc/examples.tex
@@ -100,7 +100,7 @@
 
 We could also have started with a pc group or a nice enough matrix group.
 \beginexample
-gap> s4 := SmallGroup(IdGroup(G));
+gap> s4 := SymmetricGroup(IsPcGroup, 4);
 <pc group of size 24 with 4 generators>
 \endexample
 This is $S_4$ again. The answers just look different now.
@@ -113,7 +113,7 @@
 \beginexample
 gap> sl := SpecialLinearGroup(2,3);
 SL(2,3)
-gap> h := SmallGroup(IdGroup(sl));
+gap> h := PcGroupWithPcgs(Pcgs(sl));
 <pc group of size 24 with 4 generators>
 \endexample
 We get the following subgroups.
diff --git a/tst/manual.example-6.tst b/tst/manual.example-6.tst
index 9e989c1..0db5ecd 100644
--- a/tst/manual.example-6.tst
+++ b/tst/manual.example-6.tst
@@ -34,14 +34,14 @@ gap> ComputedCoveringSubgroup2s(G);
 gap> ComputedCoveringSubgroup1s(G);
 [ formation of Nilpotent groups, Group([ (3,4), (1,3)(2,4), (1,2)(3,4) ]), 
   formation of Supersolvable groups, Group([ (3,4), (2,4,3) ]) ]
-gap> s4 := SmallGroup(IdGroup(G));
+gap> s4 := SymmetricGroup(IsPcGroup, 4);
 <pc group of size 24 with 4 generators>
 gap> SystemNormalizer(s4); CarterSubgroup(s4);
 Group([ f1 ])
 Group([ f1, f4, f3*f4 ])
 gap> sl := SpecialLinearGroup(2,3);
 SL(2,3)
-gap> h := SmallGroup(IdGroup(sl));
+gap> h := PcGroupWithPcgs(Pcgs(sl));
 <pc group of size 24 with 4 generators>
 gap> CarterSubgroup(sl); Size(last);
 <group of 2x2 matrices over GF(3)>

From d228f998445d9aac6d7e42e7d2425b705442d05e Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Fri, 24 Apr 2026 00:09:14 +0200
Subject: [PATCH 2/2] Adjust examples

---
 doc/examples.tex         | 4 ++--
 tst/manual.example-6.tst | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/doc/examples.tex b/doc/examples.tex
index f490866..c07fbdb 100644
--- a/doc/examples.tex
+++ b/doc/examples.tex
@@ -157,7 +157,7 @@
 \beginexample
 gap> ResidualWrtFormation(G, form);  ResidualWrtFormation(G, form2);
 Group(())
-Group([ (1,3)(2,4), (1,2)(3,4) ])
+Group([ (1,2)(3,4), (1,3)(2,4) ])
 gap> KnownPropertiesOfObject(form2);
 [  ]
 \endexample
@@ -242,7 +242,7 @@
 \beginexample
 gap> SetIsIntegrated(form, true);
 gap> ResidualWrtFormation(G, form);
-Group([ (1,4)(2,3), (1,2)(3,4) ])
+Group([ (1,2)(3,4), (1,3)(2,4) ])
 gap> FNormalizerWrtFormation(G, form);
 Group([ (3,4), (2,4,3) ])
 gap> CoveringSubgroup1(G, form);
diff --git a/tst/manual.example-6.tst b/tst/manual.example-6.tst
index 0db5ecd..8e20062 100644
--- a/tst/manual.example-6.tst
+++ b/tst/manual.example-6.tst
@@ -69,7 +69,7 @@ gap> KnownAttributesOfObject(form2);
 [ "NameOfFormation", "ScreenOfFormation", "ResidualFunctionOfFormation" ]
 gap> ResidualWrtFormation(G, form);  ResidualWrtFormation(G, form2);
 Group(())
-Group([ (1,4)(2,3), (1,2)(3,4) ])
+Group([ (1,2)(3,4), (1,3)(2,4) ])
 gap> KnownPropertiesOfObject(form2);
 [  ]
 gap> Integrated(form2);
@@ -115,7 +115,7 @@ gap> KnownAttributesOfObject(form); KnownPropertiesOfObject(form);
 [  ]
 gap> SetIsIntegrated(form, true);
 gap> ResidualWrtFormation(G, form);
-Group([ (1,4)(2,3), (1,2)(3,4) ])
+Group([ (1,2)(3,4), (1,3)(2,4) ])
 gap> FNormalizerWrtFormation(G, form);
 Group([ (3,4), (2,4,3) ])
 gap> CoveringSubgroup1(G, form);