New package AdditiveClosuresForCAP

.github/workflows/Tests.yml

@@ -58,6 +58,7 @@ jobs:
           if [ -d "CAP_project/CompilerForCAP" ]; then make -C "CAP_project/CompilerForCAP" doc; fi
           if [ -d "CAP_project/MonoidalCategories" ]; then make -C "CAP_project/MonoidalCategories" doc; fi
           if [ -d "CAP_project/CartesianCategories" ]; then make -C "CAP_project/CartesianCategories" doc; fi
+          if [ -d "CAP_project/AdditiveClosuresForCAP" ]; then make -C "CAP_project/AdditiveClosuresForCAP" doc; fi
           if [ -d "CAP_project/FreydCategoriesForCAP" ]; then make -C "CAP_project/FreydCategoriesForCAP" doc; fi
           if [ -d "HigherHomologicalAlgebra/ToolsForHigherHomologicalAlgebra" ]; then make -C "HigherHomologicalAlgebra/ToolsForHigherHomologicalAlgebra" doc; fi
           if [ -d "homalg_project/homalg" ]; then make -C "homalg_project/homalg" doc; fi

AdditiveClosuresForCAP/.gitignore

@@ -0,0 +1,34 @@
+/doc/chap*.html
+/doc/chap*.txt
+/doc/*.css
+/doc/*.js
+/doc/chooser.html
+/doc/*.aux
+/doc/*.bbl
+/doc/*.blg
+/doc/*.brf
+/doc/*.idx
+/doc/*.ilg
+/doc/*.ind
+/doc/*.lab
+/doc/*.log
+/doc/*.out
+/doc/*.pnr
+/doc/*.six
+/doc/*.tex
+/doc/*.toc
+/doc/manual.pdf
+/doc/_*.xml
+
+/bin/
+/gen/
+/Makefile
+
+/tmp/
+/gh-pages/
+
+/coverage.json
+/doc/*.xml
+/doc_tmp/
+/stats
+/tst/additiveclosuresforcap*.tst

AdditiveClosuresForCAP/PackageInfo.g

@@ -0,0 +1,152 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
+#
+# This file contains package meta data. For additional information on
+# the meaning and correct usage of these fields, please consult the
+# manual of the "Example" package as well as the comments in its
+# PackageInfo.g file.
+#
+SetPackageInfo( rec(
+
+PackageName := "AdditiveClosuresForCAP",
+Subtitle := "Additive closures for pre-abelian categories",
+Version := "2025.06-01",
+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",
+
+Persons := [
+  rec(
+    IsAuthor := true,
+    IsMaintainer := true,
+    FirstNames := "Sebastian",
+    LastName := "Posur",
+    WWWHome := "https://sebastianpos.github.io",
+    Email := "sebastian.posur@uni-siegen.de",
+    PostalAddress := Concatenation(
+               "Department Mathematik\n",
+               "Universität Siegen\n",
+               "Walter-Flex-Straße 3\n",
+               "57068 Siegen\n",
+               "Germany" ),
+    Place := "Siegen",
+    Institution := "University of Siegen",
+  ),
+  rec(
+    IsAuthor := true,
+    IsMaintainer := true,
+    FirstNames := "Martin",
+    LastName := "Bies",
+    WWWHome := "https://www.ulb.ac.be/sciences/ptm/pmif/people.html",
+    Email := "martin.bies@alumni.uni-heidelberg.de",
+    PostalAddress := Concatenation(
+                 "Physique Théorique et Mathématique \n",
+                 "Université Libre de Bruxelles \n",
+                 "Campus Plaine - CP 231 \n",
+                 "Building NO - Level 6 - Office O.6.111 \n",
+                 "1050 Brussels \n",
+                 "Belgium" ),
+    Place := "Brussels",
+    Institution := "ULB Brussels",
+  ),
+  rec(
+    IsAuthor := true,
+    IsMaintainer := true,
+    FirstNames := "Mohamed",
+    LastName := "Barakat",
+    WWWHome := "https://mohamed-barakat.github.io",
+    Email := "mohamed.barakat@uni-siegen.de",
+    PostalAddress := Concatenation(
+               "Walter-Flex-Str. 3\n",
+               "57068 Siegen\n",
+               "Germany" ),
+    Place := "Siegen",
+    Institution := "University of Siegen",
+  ),
+  rec(
+   IsAuthor := true,
+    IsMaintainer := true,
+    FirstNames := "Kamal",
+    LastName := "Saleh",
+    WWWHome := "https://github.com/kamalsaleh",
+    Email := "kamal.saleh@uni-siegen.de",
+    PostalAddress := Concatenation(
+                       "Department Mathematik\n",
+                       "Universität Siegen\n",
+                       "Walter-Flex-Straße 3\n",
+                       "57072 Siegen\n",
+                       "Germany" ),
+    Place := "Siegen",
+    Institution := "Universität Siegen",
+  ),
+  rec(
+    IsAuthor := true,
+    IsMaintainer := true,
+    FirstNames := "Fabian",
+    LastName := "Zickgraf",
+    WWWHome := "https://github.com/zickgraf/",
+    Email := "fabian.zickgraf@uni-siegen.de",
+    PostalAddress := Concatenation(
+               "Walter-Flex-Str. 3\n",
+               "57068 Siegen\n",
+               "Germany" ),
+    Place := "Siegen",
+    Institution := "University of Siegen",
+  ),
+],
+
+# BEGIN URLS
+SourceRepository := rec(
+    Type := "git",
+    URL := "https://github.com/homalg-project/CAP_project",
+),
+IssueTrackerURL := Concatenation( ~.SourceRepository.URL, "/issues" ),
+PackageWWWHome  := "https://homalg-project.github.io/pkg/AdditiveClosuresForCAP",
+PackageInfoURL  := "https://homalg-project.github.io/CAP_project/AdditiveClosuresForCAP/PackageInfo.g",
+README_URL      := "https://homalg-project.github.io/CAP_project/AdditiveClosuresForCAP/README.md",
+ArchiveURL      := Concatenation( "https://github.com/homalg-project/CAP_project/releases/download/AdditiveClosuresForCAP-", ~.Version, "/AdditiveClosuresForCAP-", ~.Version ),
+# END URLS
+
+ArchiveFormats := ".tar.gz .zip",
+
+##  Status information. Currently the following cases are recognized:
+##    "accepted"      for successfully refereed packages
+##    "submitted"     for packages submitted for the refereeing
+##    "deposited"     for packages for which the GAP developers agreed
+##                    to distribute them with the core GAP system
+##    "dev"           for development versions of packages
+##    "other"         for all other packages
+##
+Status := "dev",
+
+AbstractHTML   :=  "",
+
+PackageDoc := rec(
+  BookName  := "AdditiveClosuresForCAP",
+  ArchiveURLSubset := ["doc"],
+  HTMLStart := "doc/chap0.html",
+  PDFFile   := "doc/manual.pdf",
+  SixFile   := "doc/manual.six",
+  LongTitle := "Additive closures for pre-abelian categories",
+),
+
+Dependencies := rec(
+  GAP := ">= 4.13.0",
+  NeededOtherPackages := [ [ "CAP", ">= 2025.06-05" ],
+                           [ "GradedRingForHomalg", ">=2019.08.07" ],
+                           [ "MonoidalCategories", ">= 2024.09-02" ],
+                         ],
+  SuggestedOtherPackages := [ ],
+  ExternalConditions := [ ],
+),
+
+Extensions := [
+],
+
+AvailabilityTest := function()
+        return true;
+    end,
+#Keywords := [ "TODO" ],
+
+TestFile := "tst/testall.g",
+
+));

AdditiveClosuresForCAP/README.md

@@ -0,0 +1,44 @@
+<!-- BEGIN HEADER -->
+# AdditiveClosuresForCAP&ensp;<sup><sup>[![View code][code-img]][code-url]</sup></sup>
+
+### Additive closures for pre-abelian categories
+
+| Documentation | Latest Release | Build Status of [CAP_project](/../../) | Code Coverage |
+| ------------- | -------------- | ------------ | ------------- |
+| [![HTML stable documentation][html-img]][html-url] [![PDF stable documentation][pdf-img]][pdf-url] | [![version][version-img]][version-url] [![date][date-img]][date-url] | [![Build Status][tests-img]][tests-url] | [![Code Coverage][codecov-img]][codecov-url] |
+
+<!-- END HEADER -->
+
+This package includes an implementation of:
+- [Additive closures](#additive-closures)
+
+## Additive closures
+
+Additive closures provide a universal way of equipping a given Ab-category with finite direct sums.
+
+#### Paper (describing the underlying algorithms)
+
+Sebastian Posur, [*Methods of constructive category theory*](https://arxiv.org/abs/1908.04132).
+
+<!-- BEGIN FOOTER -->
+[html-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
+[html-url]: https://homalg-project.github.io/CAP_project/AdditiveClosuresForCAP/doc/chap0_mj.html
+
+[pdf-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
+[pdf-url]: https://homalg-project.github.io/CAP_project/AdditiveClosuresForCAP/download_pdf.html
+
+[version-img]: https://img.shields.io/endpoint?url=https://homalg-project.github.io/CAP_project/AdditiveClosuresForCAP/badge_version.json&label=🔗%20version&color=yellow
+[version-url]: https://homalg-project.github.io/CAP_project/AdditiveClosuresForCAP/view_release.html
+
+[date-img]: https://img.shields.io/endpoint?url=https://homalg-project.github.io/CAP_project/AdditiveClosuresForCAP/badge_date.json&label=🔗%20released%20on&color=yellow
+[date-url]: https://homalg-project.github.io/CAP_project/AdditiveClosuresForCAP/view_release.html
+
+[tests-img]: https://github.com/homalg-project/CAP_project/actions/workflows/Tests.yml/badge.svg?branch=master
+[tests-url]: https://github.com/homalg-project/CAP_project/actions/workflows/Tests.yml?query=branch%3Amaster
+
+[codecov-img]: https://codecov.io/gh/homalg-project/CAP_project/branch/master/graph/badge.svg?flag=AdditiveClosuresForCAP
+[codecov-url]: https://app.codecov.io/gh/homalg-project/CAP_project/tree/master/AdditiveClosuresForCAP
+
+[code-img]: https://img.shields.io/badge/-View%20code-blue?logo=github
+[code-url]: https://github.com/homalg-project/CAP_project/tree/master/AdditiveClosuresForCAP#top
+<!-- END FOOTER -->

AdditiveClosuresForCAP/doc/Doc.autodoc

@@ -0,0 +1,53 @@
+@Chapter Rings as categories
+
+@Section GAP Categories
+@Section Constructors
+@Section Attributes
+@Section Operations
+@Section Random methods
+
+@Chapter Additive closure
+@Section Constructors
+@Section Attributes
+@Section Operators
+@Section Global functions
+@Section Random methods for additive closure category
+@Section GAP Categories
+
+@Chapter Example on additive closure
+
+@Chapter Category of rows
+@Section Constructors
+@Section Attributes
+@Section Global functions
+@Section Random Methods in Category of Rows
+@Section GAP Categories
+@Section Supported CAP operations
+@Subsection CategoryOfRows of an arbitrary ring
+@Subsection CategoryOfRows of an exterior algebra over a field
+@Subsection CategoryOfRows of a commutative ring
+@Subsection CategoryOfRows of a field
+
+@Chapter Example on category of rows
+
+@Chapter Category of columns
+@Section Constructors
+@Section Attributes
+@Section GAP Categories
+
+@Chapter Example on category of columns
+
+@Chapter Category of rows and columns over a field
+@Section Abelian operations
+
+@Chapter Category of graded rows and category of graded columns
+@Section Constructors
+@Section Attributes
+
+@Chapter Examples on graded rows and columns
+
+@Chapter Basic operations
+
+@Chapter Examples and Tests
+
+@Chapter Add Functions

AdditiveClosuresForCAP/doc/clean

@@ -0,0 +1,2 @@
+#!/bin/sh
+rm -f *.{aux,bbl,blg,brf,css,html,idx,ilg,ind,js,lab,log,out,pdf,pnr,six,tex,toc,txt,xml,xml.bib}

FreydCategoriesForCAP/examples/AdditiveClosure.g → AdditiveClosuresForCAP/examples/AdditiveClosure.g

@@ -2,7 +2,7 @@
 
 #! @Section Using matrix data structures
 
-LoadPackage( "FreydCategoriesForCAP" );;
+LoadPackage( "AdditiveClosuresForCAP" );;
 
 #! @Example
 QQ := HomalgFieldOfRationalsInSingular();;

FreydCategoriesForCAP/examples/AdditiveClosureKronecker.g → AdditiveClosuresForCAP/examples/AdditiveClosureKronecker.g

@@ -3,7 +3,7 @@
 #! @Section Monoidal structure of AdditiveClosure
 
 #! @Example
-LoadPackage( "FreydCategoriesForCAP", false );
+LoadPackage( "AdditiveClosuresForCAP", false );
 #! true
 Q := HomalgFieldOfRationals();;
 R := RingAsCategory( Q );

FreydCategoriesForCAP/examples/AdditiveClosureMonoidal.g → AdditiveClosuresForCAP/examples/AdditiveClosureMonoidal.g

@@ -3,7 +3,7 @@
 #! @Section Monoidal structure of AdditiveClosure
 
 #! @Example
-LoadPackage( "FreydCategoriesForCAP", false );
+LoadPackage( "AdditiveClosuresForCAP", false );
 #! true
 T := TerminalCategoryWithMultipleObjects( );
 #! TerminalCategoryWithMultipleObjects( )