Merge pull request gap-packages#83 from cdwensley/issue77

Issue77

Author: cdwensley

CHANGES.md

@@ -1,5 +1,10 @@
 # CHANGES to the 'XModAlg' package
 
+## 1.27 -> 1.28 (31/01/25) 
+ * (31/01/25) removed all operations involving direct sums of crossed modules
+              of algebras because the theoretical basis needs checking;
+              added Nizar Shammu's thesis to the list of references
+ 
 ## 1.26 -> 1.27 (26/10/24) 
  * (21/10/24) removed references to "Type2" and "XModAlgebraConst"
               tests now use local variables and are mirrored in /examples

PackageInfo.g

@@ -8,8 +8,8 @@ SetPackageInfo( rec(
 
 PackageName := "XModAlg",
 Subtitle := "Crossed Modules and Cat1-Algebras",
-Version := "1.27dev",
-Date := "03/01/2025", # dd/mm/yyyy format
+Version := "1.28",
+Date := "31/01/2025", # dd/mm/yyyy format
 License := "GPL-2.0-or-later",
 
 Persons := [

README.md

@@ -16,7 +16,7 @@ This package allows for computation with crossed modules of commutative algebras
 
 ## Copyright
 
-The 'XModAlg' package is Copyright © Zekeriya Arvasi and Alper Odabas et al, 2014--2022. 
+The 'XModAlg' package is Copyright © Zekeriya Arvasi and Alper Odabas et al, 2014--2025. 
 
 'XModAlg' is free software; you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by

doc/algebra.xml

@@ -2,7 +2,7 @@
 <!--                                                                     -->
 <!--  algebra.xml           XModAlg documentation             Z. Arvasi  -->
 <!--                                                        & A. Odabas  -->
-<!--  Copyright (C) 2014-2024, Z. Arvasi & A. Odabas,                    -->
+<!--  Copyright (C) 2014-2025, Z. Arvasi & A. Odabas,                    -->
 <!--  Osmangazi University, Eskisehir, Turkey                            --> 
 <!--                                                                     -->
 <!-- ------------------------------------------------------------------- -->
@@ -353,12 +353,6 @@ gap> [ Image(b2,m2)=m2^3, b2=b1^2 ];
 
 <#Include Label="EmbeddingForDirectSumOfAlgebras">
 
-<#Include Label="DirectSumOfAlgebraHomomorphisms">
-
-<#Include Label="AlgebraActionOnDirectSum">
-
-<#Include Label="DirectSumOfAlgebraActions">
-
 </Section>
 
 <Section>

doc/bib.xml

@@ -185,6 +185,15 @@
   <school>Osmangazi University, Eskisehir</school> 
 </phdthesis></entry>
 
+<entry id="shammu1"><phdthesis> 
+  <author> 
+    <name><first>N. M.</first><last>Shammu</last></name> 
+  </author>
+  <title>Algebraic and categorical structure of categories of crossed modules of algebras</title> 
+  <year>1992</year> 
+  <school>University of Wales, Bangor (U.K.)</school> 
+</phdthesis></entry>
+
 <entry id="porter1"><article>
   <author> 
     <name><first>T.</first><last>Porter</last></name> 

doc/cat1.xml

@@ -2,7 +2,7 @@
 <!--                                                                     -->
 <!--  cat1.xml            XModAlg documentation               Z. Arvasi  -->
 <!--                                                        & A. Odabas  -->
-<!--  Copyright (C) 2014-2024, Z. Arvasi & A. Odabas,                    --> 
+<!--  Copyright (C) 2014-2025, Z. Arvasi & A. Odabas,                    --> 
 <!--  Osmangazi University, Eskisehir, Turkey                            --> 
 <!--                                                                     -->
 <!-- ------------------------------------------------------------------- -->

doc/convert.xml

@@ -2,7 +2,7 @@
 <!--                                                                     -->
 <!--  convert.xml          XModAlg documentation              Z. Arvasi  -->
 <!--                                                        & A. Odabas  -->
-<!--  Copyright (C) 2014-2024, Z. Arvasi & A. Odabas,                    --> 
+<!--  Copyright (C) 2014-2025, Z. Arvasi & A. Odabas,                    --> 
 <!--  Osmangazi University, Eskisehir, Turkey                            --> 
 <!--                                                                     -->
 <!-- ------------------------------------------------------------------- -->

doc/intro.xml

@@ -18,12 +18,14 @@
 In 1950 S. MacLane and J.H.C. Whitehead, <Cite Key="whitehead"/>
 suggested that crossed modules modeled homotopy <M>2</M>-types. 
 Later crossed modules have been considered as 
-<M>2</M><E>-dimensional groups</E>, <Cite Key="brown1"/>, <Cite Key="brown2"/>. 
+<M>2</M><E>-dimensional groups</E>, <Cite Key="brown1"/>, 
+<Cite Key="brown2"/>. 
 The commutative algebra version of this construction has been adapted by 
 T. Porter, <Cite Key="arvasi2"/>, <Cite Key="porter1"/>. 
 This algebraic version is called <E>combinatorial algebra theory</E>, 
 which contains potentially important new ideas 
-(see <Cite Key="arvasi2"/>, <Cite Key="arvasi3"/>, <Cite Key="arvasi4"/>).
+(see <Cite Key="shammu1"/>, <Cite Key="arvasi2"/>, <Cite Key="arvasi3"/>,
+<Cite Key="arvasi4"/>).
 <P/>
 A share package <Package>XMod</Package>, <Cite Key="alp3"/>, 
 <Cite Key="alp2"/>, was prepared by 

doc/xmod.xml

@@ -2,7 +2,7 @@
 <!--                                                                     -->
 <!--  xmod.xml            XModAlg documentation               Z. Arvasi  -->
 <!--                                                        & A. Odabas  -->
-<!--  Copyright (C) 2014-2024, Z. Arvasi & A. Odabas,                    --> 
+<!--  Copyright (C) 2014-2025, Z. Arvasi & A. Odabas,                    --> 
 <!--  Osmangazi University, Eskisehir, Turkey                            --> 
 <!--                                                                     -->
 <!-- ------------------------------------------------------------------- -->
@@ -262,8 +262,6 @@ Crossed module [A2->Q2] :-
 
 <#Include Label="XModAlgebraByModule">
 
-<#Include Label="DirectSumOfXModAlgebras">
-
 
 <ManSection>
    <Oper Name="SubXModAlgebra"

examples/convert.g

@@ -45,6 +45,8 @@ Cn := Cat1AlgebraOfXModAlgebra( Xn );
 Print( "Cn = Cat1AlgebraOfXModAlgebra( Xn ): ", Cn, "\n" );
 Display( Cn );
 
+bdy3 := AlgebraHomomorphismByImages( Rc3, A3, [ g3 ], [ m3 ] );;
+X3 := XModAlgebraByBoundaryAndAction( bdy3, actg3 );;
 C3 := Cat1AlgebraOfXModAlgebra( X3 );
 Print( "\nC3 = Cat1AlgebraOfXModAlgebra( X3 ): ", C3, "\n" );
 Display( C3 );