tinkering with yesterday's files

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 := [

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/>
 
 

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                            --> 
 <!--                                                                     -->
 <!-- ------------------------------------------------------------------- -->

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", 

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>. 

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", 

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] ];;