Merge pull request #1792 from mohamed-barakat/pre-additive

mohamed-barakat · web-flow · commit b96b75cd2627 · 2025-08-18T00:51:02.000+02:00
pre-abelian -&gt; pre-additive
diff --git a/AdditiveClosuresForCAP/PackageInfo.g b/AdditiveClosuresForCAP/PackageInfo.g
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # This file contains package meta data. For additional information on
 # the meaning and correct usage of these fields, please consult the
@@ -9,8 +9,8 @@
 SetPackageInfo( rec(
 
 PackageName := "AdditiveClosuresForCAP",
-Subtitle := "Additive closures for pre-abelian categories",
-Version := "2025.08-01",
+Subtitle := "Additive closures for pre-additive categories",
+Version := "2025.08-02",
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
 
@@ -126,7 +126,7 @@ PackageDoc := rec(
   HTMLStart := "doc/chap0.html",
   PDFFile   := "doc/manual.pdf",
   SixFile   := "doc/manual.six",
-  LongTitle := "Additive closures for pre-abelian categories",
+  LongTitle := "Additive closures for pre-additive categories",
 ),
 
 Dependencies := rec(
diff --git a/AdditiveClosuresForCAP/README.md b/AdditiveClosuresForCAP/README.md
@@ -1,7 +1,7 @@
 <!-- BEGIN HEADER -->
 # AdditiveClosuresForCAP&ensp;<sup><sup>[![View code][code-img]][code-url]</sup></sup>
 
-### Additive closures for pre-abelian categories
+### Additive closures for pre-additive categories
 
 | Documentation | Latest Release | Build Status of [CAP_project](/../../) | Code Coverage |
 | ------------- | -------------- | ------------ | ------------- |
diff --git a/AdditiveClosuresForCAP/gap/AdditiveClosure.gd b/AdditiveClosuresForCAP/gap/AdditiveClosure.gd
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Declarations
 #
diff --git a/AdditiveClosuresForCAP/gap/AdditiveClosure.gi b/AdditiveClosuresForCAP/gap/AdditiveClosure.gi
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Implementations
 #
diff --git a/AdditiveClosuresForCAP/gap/AdditiveClosureDerivedMethods.gi b/AdditiveClosuresForCAP/gap/AdditiveClosureDerivedMethods.gi
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Implementations
 #
diff --git a/AdditiveClosuresForCAP/gap/AdditiveClosureMethodRecord.gd b/AdditiveClosuresForCAP/gap/AdditiveClosureMethodRecord.gd
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Declarations
 #
diff --git a/AdditiveClosuresForCAP/gap/AdditiveClosureMethodRecord.gi b/AdditiveClosuresForCAP/gap/AdditiveClosureMethodRecord.gi
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Implementations
 #
diff --git a/AdditiveClosuresForCAP/gap/CategoryOfColumns.gd b/AdditiveClosuresForCAP/gap/CategoryOfColumns.gd
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Declarations
 #
diff --git a/AdditiveClosuresForCAP/gap/CategoryOfColumns.gi b/AdditiveClosuresForCAP/gap/CategoryOfColumns.gi
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Implementations
 #
diff --git a/AdditiveClosuresForCAP/gap/CategoryOfColumns_as_Opposite_CategoryOfRows.gd b/AdditiveClosuresForCAP/gap/CategoryOfColumns_as_Opposite_CategoryOfRows.gd
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Declarations
 #
diff --git a/AdditiveClosuresForCAP/gap/CategoryOfColumns_as_Opposite_CategoryOfRows.gi b/AdditiveClosuresForCAP/gap/CategoryOfColumns_as_Opposite_CategoryOfRows.gi
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Implementations
 #
diff --git a/AdditiveClosuresForCAP/gap/CategoryOfRows.autogen.gd b/AdditiveClosuresForCAP/gap/CategoryOfRows.autogen.gd
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Declarations
 #
diff --git a/AdditiveClosuresForCAP/gap/CategoryOfRows.gd b/AdditiveClosuresForCAP/gap/CategoryOfRows.gd
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Declarations
 #
diff --git a/AdditiveClosuresForCAP/gap/CategoryOfRows.gi b/AdditiveClosuresForCAP/gap/CategoryOfRows.gi
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Implementations
 #
diff --git a/AdditiveClosuresForCAP/gap/CategoryOfRows_as_AdditiveClosure_RingAsCategory.gd b/AdditiveClosuresForCAP/gap/CategoryOfRows_as_AdditiveClosure_RingAsCategory.gd
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Declarations
 #
diff --git a/AdditiveClosuresForCAP/gap/CategoryOfRows_as_AdditiveClosure_RingAsCategory.gi b/AdditiveClosuresForCAP/gap/CategoryOfRows_as_AdditiveClosure_RingAsCategory.gi
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Implementations
 #
diff --git a/AdditiveClosuresForCAP/gap/CategoryOfRows_as_AdditiveClosure_RingAsCategory_CompilerLogic.gi b/AdditiveClosuresForCAP/gap/CategoryOfRows_as_AdditiveClosure_RingAsCategory_CompilerLogic.gi
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Implementations
 #
diff --git a/AdditiveClosuresForCAP/gap/MethodRecordDeclarations.autogen.gd b/AdditiveClosuresForCAP/gap/MethodRecordDeclarations.autogen.gd
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Declarations
 #
diff --git a/AdditiveClosuresForCAP/gap/MethodRecordInstallations.autogen.gi b/AdditiveClosuresForCAP/gap/MethodRecordInstallations.autogen.gi
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Implementations
 #
diff --git a/AdditiveClosuresForCAP/gap/RingsAsAbCats.gd b/AdditiveClosuresForCAP/gap/RingsAsAbCats.gd
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Declarations
 #
diff --git a/AdditiveClosuresForCAP/gap/RingsAsAbCats.gi b/AdditiveClosuresForCAP/gap/RingsAsAbCats.gi
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Implementations
 #
diff --git a/AdditiveClosuresForCAP/gap/precompiled_categories/CategoryOfColumns_as_Opposite_CategoryOfRows_ArbitraryRing_precompiled.gi b/AdditiveClosuresForCAP/gap/precompiled_categories/CategoryOfColumns_as_Opposite_CategoryOfRows_ArbitraryRing_precompiled.gi
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Implementations
 #
diff --git a/AdditiveClosuresForCAP/gap/precompiled_categories/CategoryOfColumns_as_Opposite_CategoryOfRows_CommutativeRing_precompiled.gi b/AdditiveClosuresForCAP/gap/precompiled_categories/CategoryOfColumns_as_Opposite_CategoryOfRows_CommutativeRing_precompiled.gi
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Implementations
 #
diff --git a/AdditiveClosuresForCAP/gap/precompiled_categories/CategoryOfColumns_as_Opposite_CategoryOfRows_Field_precompiled.gi b/AdditiveClosuresForCAP/gap/precompiled_categories/CategoryOfColumns_as_Opposite_CategoryOfRows_Field_precompiled.gi
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Implementations
 #
diff --git a/AdditiveClosuresForCAP/gap/precompiled_categories/CategoryOfColumns_as_Opposite_CategoryOfRows_HomalgExteriorRingOverField_precompiled.gi b/AdditiveClosuresForCAP/gap/precompiled_categories/CategoryOfColumns_as_Opposite_CategoryOfRows_HomalgExteriorRingOverField_precompiled.gi
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Implementations
 #
diff --git a/AdditiveClosuresForCAP/gap/precompiled_categories/CategoryOfRows_as_AdditiveClosure_RingAsCategory_ArbitraryRing_precompiled.gi b/AdditiveClosuresForCAP/gap/precompiled_categories/CategoryOfRows_as_AdditiveClosure_RingAsCategory_ArbitraryRing_precompiled.gi
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Implementations
 #
diff --git a/AdditiveClosuresForCAP/gap/precompiled_categories/CategoryOfRows_as_AdditiveClosure_RingAsCategory_CommutativeRing_precompiled.gi b/AdditiveClosuresForCAP/gap/precompiled_categories/CategoryOfRows_as_AdditiveClosure_RingAsCategory_CommutativeRing_precompiled.gi
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Implementations
 #
diff --git a/AdditiveClosuresForCAP/gap/precompiled_categories/CategoryOfRows_as_AdditiveClosure_RingAsCategory_Field_precompiled.gi b/AdditiveClosuresForCAP/gap/precompiled_categories/CategoryOfRows_as_AdditiveClosure_RingAsCategory_Field_precompiled.gi
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Implementations
 #
diff --git a/AdditiveClosuresForCAP/gap/precompiled_categories/CategoryOfRows_as_AdditiveClosure_RingAsCategory_HomalgExteriorRingOverField_precompiled.gi b/AdditiveClosuresForCAP/gap/precompiled_categories/CategoryOfRows_as_AdditiveClosure_RingAsCategory_HomalgExteriorRingOverField_precompiled.gi
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Implementations
 #
diff --git a/AdditiveClosuresForCAP/init.g b/AdditiveClosuresForCAP/init.g
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Reading the declaration part of the package.
 #
diff --git a/AdditiveClosuresForCAP/makedoc.g b/AdditiveClosuresForCAP/makedoc.g
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # This file is a script which compiles the package manual.
 #
diff --git a/AdditiveClosuresForCAP/makedoc_with_overfull_hbox_warnings.g b/AdditiveClosuresForCAP/makedoc_with_overfull_hbox_warnings.g
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # This file is a script which compiles the package manual and prints overfull hbox warnings.
 #
diff --git a/AdditiveClosuresForCAP/read.g b/AdditiveClosuresForCAP/read.g
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # Reading the implementation part of the package.
 #
diff --git a/AdditiveClosuresForCAP/tst/100_LoadPackage.tst b/AdditiveClosuresForCAP/tst/100_LoadPackage.tst
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # This file tests if the package can be loaded without errors or warnings.
 #
diff --git a/AdditiveClosuresForCAP/tst/testall.g b/AdditiveClosuresForCAP/tst/testall.g
@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+# AdditiveClosuresForCAP: Additive closures for pre-additive categories
 #
 # This file runs package tests. It is also referenced in the package
 # metadata in PackageInfo.g.
diff --git a/README.md b/README.md
@@ -23,7 +23,7 @@ Please take a look at our [manual](https://github.com/homalg-project/CAP_project
 | ---- | ----------- | ------------- |
 | [CAP](CAP#readme) | Categories, Algorithms, Programming | [![HTML stable documentation][html-CAP-img]][html-CAP-url] [![PDF stable documentation][pdf-CAP-img]][pdf-CAP-url] |
 | [ActionsForCAP](ActionsForCAP#readme) | Actions and Coactions for CAP | [![HTML stable documentation][html-ActionsForCAP-img]][html-ActionsForCAP-url] [![PDF stable documentation][pdf-ActionsForCAP-img]][pdf-ActionsForCAP-url] |
-| [AdditiveClosuresForCAP](AdditiveClosuresForCAP#readme) | Additive closures for pre-abelian categories | [![HTML stable documentation][html-AdditiveClosuresForCAP-img]][html-AdditiveClosuresForCAP-url] [![PDF stable documentation][pdf-AdditiveClosuresForCAP-img]][pdf-AdditiveClosuresForCAP-url] |
+| [AdditiveClosuresForCAP](AdditiveClosuresForCAP#readme) | Additive closures for pre-additive categories | [![HTML stable documentation][html-AdditiveClosuresForCAP-img]][html-AdditiveClosuresForCAP-url] [![PDF stable documentation][pdf-AdditiveClosuresForCAP-img]][pdf-AdditiveClosuresForCAP-url] |
 | [AttributeCategoryForCAP](AttributeCategoryForCAP#readme) | Automatic enhancement with attributes of a CAP category | [![HTML stable documentation][html-AttributeCategoryForCAP-img]][html-AttributeCategoryForCAP-url] [![PDF stable documentation][pdf-AttributeCategoryForCAP-img]][pdf-AttributeCategoryForCAP-url] |
 | [CartesianCategories](CartesianCategories#readme) | Cartesian and cocartesian categories and various subdoctrines | [![HTML stable documentation][html-CartesianCategories-img]][html-CartesianCategories-url] [![PDF stable documentation][pdf-CartesianCategories-img]][pdf-CartesianCategories-url] |
 | [CompilerForCAP](CompilerForCAP#readme) | Speed up and verify categorical algorithms | [![HTML stable documentation][html-CompilerForCAP-img]][html-CompilerForCAP-url] [![PDF stable documentation][pdf-CompilerForCAP-img]][pdf-CompilerForCAP-url] |

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`# SPDX-License-Identifier: GPL-2.0-or-later`
`2`		`-# AdditiveClosuresForCAP: Additive closures for pre-abelian categories`
	`2`	`+# AdditiveClosuresForCAP: Additive closures for pre-additive categories`
`3`	`3`	`#`
`4`	`4`	`# Declarations`
`5`	`5`	`#`