From d751eda6d46fd90c255f24956072530977420806 Mon Sep 17 00:00:00 2001
From: cdwensley <cdwensley.maths@btinternet.com>
Date: Fri, 11 Sep 2026 15:45:34 +0100
Subject: [PATCH 1/2] tinkering with yesterday's files

---
 PackageInfo.g   | 2 +-
 doc/algebra.xml | 4 ++--
 doc/intro.xml   | 2 +-
 doc/xmod.xml    | 2 +-
 lib/module.gd   | 4 ++--
 tst/algebra.tst | 2 ++
 6 files changed, 9 insertions(+), 7 deletions(-)

diff --git a/PackageInfo.g b/PackageInfo.g
index 6e12b0f..25389b3 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -9,7 +9,7 @@ SetPackageInfo( rec(
 PackageName := "XModAlg",
 Subtitle := "Crossed Modules and Cat1-Algebras",
 Version := "1.32-dev",
-Date := "17/03/2026", # dd/mm/yyyy format
+Date := "11/09/2026", # dd/mm/yyyy format
 License := "GPL-2.0-or-later",
 
 Persons := [
diff --git a/doc/algebra.xml b/doc/algebra.xml
index 74a5b8e..fce3bc4 100644
--- a/doc/algebra.xml
+++ b/doc/algebra.xml
@@ -19,8 +19,8 @@ All the algebras considered in this package will be associative
 and commutative. 
 Scalars belong to a commutative ring <B>k</B> with <M>1 \neq 0</M>. 
 <P/>
-<E>(Why not a field?  
-A group ring over the integers is not an algebra. [CDW])</E>
+<E>(Why not a field? A group ring over the integers is not an algebra.
+[CDW])</E>
 <P/>
 
 
diff --git a/doc/intro.xml b/doc/intro.xml
index 836c54e..2f89552 100644
--- a/doc/intro.xml
+++ b/doc/intro.xml
@@ -2,7 +2,7 @@
 <!--                                                                     -->
 <!--  intro.xml           XModAlg documentation               Z. Arvasi  -->
 <!--                                                        & A. Odabas  -->
-<!--  Copyright (C) 2014-2025, Z. Arvasi & A. Odabas,              	 --> 
+<!--  Copyright (C) 2014-2026, Z. Arvasi & A. Odabas,              	 --> 
 <!--  Osmangazi University, Eskisehir, Turkey                            --> 
 <!--                                                                     -->
 <!-- ------------------------------------------------------------------- -->
diff --git a/doc/xmod.xml b/doc/xmod.xml
index 5bf8c44..1d58947 100644
--- a/doc/xmod.xml
+++ b/doc/xmod.xml
@@ -194,7 +194,7 @@ We also show usage of the attributes listed above.
 </ManSection>
 
 <Example><![CDATA[
-gap> RepresentationsOfObject( XIAk4 );
+gap> Set( RepresentationsOfObject( XIAk4 ) );
 [ "IsComponentObjectRep", "IsAttributeStoringRep", "IsPreXModAlgebraObj" ]
 gap> Set( KnownPropertiesOfObject( XIAk4 ) );
 [ "CanEasilyCompareElements", "CanEasilySortElements", "Is2dAlgebraObject", 
diff --git a/lib/module.gd b/lib/module.gd
index 95fc261..7ce1817 100644
--- a/lib/module.gd
+++ b/lib/module.gd
@@ -173,8 +173,8 @@ DeclareProperty( "IsModuleAsAlgebra", IsAlgebra );
 ## <Oper Name="AlgebraToModuleIsomorphism" Arg="alg" />
 ##
 ## <Description>
-## These two algebra mappings are attributes of a module converted into 
-## an algebra. They are required for the process of converting 
+## These two algebra mappings are attributes of a module converted into an
+## algebra. They are required for the process of converting
 ## the action of <M>A</M> on <M>M</M> into an action on <M>B</M>.
 ## Note that these left module homomorphisms have as source 
 ## or range the underlying module <M>V</M>, not <M>M</M>. 
diff --git a/tst/algebra.tst b/tst/algebra.tst
index a3a9278..3672671 100644
--- a/tst/algebra.tst
+++ b/tst/algebra.tst
@@ -84,7 +84,9 @@ gap> theta1 := NaturalHomomorphismByIdeal( A1, I1 );
 gap> List( BA1, v -> ImageElm( theta1, v ) ); 
 [ v.1, v.2, v.3, v.4, (Z(5)^2)*v.1+(Z(5)^2)*v.3, (Z(5)^2)*v.2+(Z(5)^2)*v.4 ]
 gap> AlgebraActionBySurjection( theta1 );
+!!!
 kernel of hom is not in the annihilator of A
+!!!
 fail
 gap> ## an example which does not fail: 
 gap> m2 := [ [0,1,2,3], [0,0,1,2], [0,0,0,1], [0,0,0,0] ];; 

From 52cc896fb7a377c233253ed717ddbc28e25e1d86 Mon Sep 17 00:00:00 2001
From: cdwensley <cdwensley.maths@btinternet.com>
Date: Fri, 11 Sep 2026 15:48:58 +0100
Subject: [PATCH 2/2] adjust makedoc.g

---
 makedoc.g | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/makedoc.g b/makedoc.g
index e99c7a3..9925de7 100644
--- a/makedoc.g
+++ b/makedoc.g
@@ -7,15 +7,15 @@ LoadPackage( "GAPDoc" );
 LoadPackage( "AutoDoc" ); 
 
 AutoDoc( rec( 
-    extract_examples := rec(
-        subdir := "tst",
-    ),
     gapdoc := rec( 
         LaTeXOptions := rec( EarlyExtraPreamble := """
             \usepackage[all]{xy} 
             \newcommand{\hello} {\mathrm{hello}}
         """ )
     ),  
+    extract_examples := rec(
+        subdir := "tst",
+    ),
     scaffold := rec(
         ## MainPage := false, 
         includes := [ "intro.xml", "algebra.xml", "cat1.xml",