Skip to content

Commit 486fc89

Browse files
TKuhTKuh
committed
New package AdditiveClosuresForCAP
split from FreydCatgoriesForCAP
1 parent 3d391cc commit 486fc89

126 files changed

Lines changed: 4667 additions & 3747 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎.github/workflows/Tests.yml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -58,6 +58,7 @@ jobs:
5858
if [ -d "CAP_project/CompilerForCAP" ]; then make -C "CAP_project/CompilerForCAP" doc; fi
5959
if [ -d "CAP_project/MonoidalCategories" ]; then make -C "CAP_project/MonoidalCategories" doc; fi
6060
if [ -d "CAP_project/CartesianCategories" ]; then make -C "CAP_project/CartesianCategories" doc; fi
61+
if [ -d "CAP_project/AdditiveClosuresForCAP" ]; then make -C "CAP_project/AdditiveClosuresForCAP" doc; fi
6162
if [ -d "CAP_project/FreydCategoriesForCAP" ]; then make -C "CAP_project/FreydCategoriesForCAP" doc; fi
6263
if [ -d "HigherHomologicalAlgebra/ToolsForHigherHomologicalAlgebra" ]; then make -C "HigherHomologicalAlgebra/ToolsForHigherHomologicalAlgebra" doc; fi
6364
if [ -d "homalg_project/homalg" ]; then make -C "homalg_project/homalg" doc; fi

‎AdditiveClosuresForCAP/.gitignore‎

Lines changed: 34 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,34 @@
1+
/doc/chap*.html
2+
/doc/chap*.txt
3+
/doc/*.css
4+
/doc/*.js
5+
/doc/chooser.html
6+
/doc/*.aux
7+
/doc/*.bbl
8+
/doc/*.blg
9+
/doc/*.brf
10+
/doc/*.idx
11+
/doc/*.ilg
12+
/doc/*.ind
13+
/doc/*.lab
14+
/doc/*.log
15+
/doc/*.out
16+
/doc/*.pnr
17+
/doc/*.six
18+
/doc/*.tex
19+
/doc/*.toc
20+
/doc/manual.pdf
21+
/doc/_*.xml
22+
23+
/bin/
24+
/gen/
25+
/Makefile
26+
27+
/tmp/
28+
/gh-pages/
29+
30+
/coverage.json
31+
/doc/*.xml
32+
/doc_tmp/
33+
/stats
34+
/tst/additiveclosuresforcap*.tst

‎AdditiveClosuresForCAP/LICENSE‎

Lines changed: 339 additions & 0 deletions
Large diffs are not rendered by default.

‎AdditiveClosuresForCAP/PackageInfo.g‎

Lines changed: 152 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,152 @@
1+
# SPDX-License-Identifier: GPL-2.0-or-later
2+
# AdditiveClosuresForCAP: Additive closures for pre-abelian categories
3+
#
4+
# This file contains package meta data. For additional information on
5+
# the meaning and correct usage of these fields, please consult the
6+
# manual of the "Example" package as well as the comments in its
7+
# PackageInfo.g file.
8+
#
9+
SetPackageInfo( rec(
10+
11+
PackageName := "AdditiveClosuresForCAP",
12+
Subtitle := "Additive closures for pre-abelian categories",
13+
Version := "2025.06-01",
14+
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)( ),
15+
License := "GPL-2.0-or-later",
16+
17+
Persons := [
18+
rec(
19+
IsAuthor := true,
20+
IsMaintainer := true,
21+
FirstNames := "Sebastian",
22+
LastName := "Posur",
23+
WWWHome := "https://sebastianpos.github.io",
24+
Email := "sebastian.posur@uni-siegen.de",
25+
PostalAddress := Concatenation(
26+
"Department Mathematik\n",
27+
"Universität Siegen\n",
28+
"Walter-Flex-Straße 3\n",
29+
"57068 Siegen\n",
30+
"Germany" ),
31+
Place := "Siegen",
32+
Institution := "University of Siegen",
33+
),
34+
rec(
35+
IsAuthor := true,
36+
IsMaintainer := true,
37+
FirstNames := "Martin",
38+
LastName := "Bies",
39+
WWWHome := "https://www.ulb.ac.be/sciences/ptm/pmif/people.html",
40+
Email := "martin.bies@alumni.uni-heidelberg.de",
41+
PostalAddress := Concatenation(
42+
"Physique Théorique et Mathématique \n",
43+
"Université Libre de Bruxelles \n",
44+
"Campus Plaine - CP 231 \n",
45+
"Building NO - Level 6 - Office O.6.111 \n",
46+
"1050 Brussels \n",
47+
"Belgium" ),
48+
Place := "Brussels",
49+
Institution := "ULB Brussels",
50+
),
51+
rec(
52+
IsAuthor := true,
53+
IsMaintainer := true,
54+
FirstNames := "Mohamed",
55+
LastName := "Barakat",
56+
WWWHome := "https://mohamed-barakat.github.io",
57+
Email := "mohamed.barakat@uni-siegen.de",
58+
PostalAddress := Concatenation(
59+
"Walter-Flex-Str. 3\n",
60+
"57068 Siegen\n",
61+
"Germany" ),
62+
Place := "Siegen",
63+
Institution := "University of Siegen",
64+
),
65+
rec(
66+
IsAuthor := true,
67+
IsMaintainer := true,
68+
FirstNames := "Kamal",
69+
LastName := "Saleh",
70+
WWWHome := "https://github.com/kamalsaleh",
71+
Email := "kamal.saleh@uni-siegen.de",
72+
PostalAddress := Concatenation(
73+
"Department Mathematik\n",
74+
"Universität Siegen\n",
75+
"Walter-Flex-Straße 3\n",
76+
"57072 Siegen\n",
77+
"Germany" ),
78+
Place := "Siegen",
79+
Institution := "Universität Siegen",
80+
),
81+
rec(
82+
IsAuthor := true,
83+
IsMaintainer := true,
84+
FirstNames := "Fabian",
85+
LastName := "Zickgraf",
86+
WWWHome := "https://github.com/zickgraf/",
87+
Email := "fabian.zickgraf@uni-siegen.de",
88+
PostalAddress := Concatenation(
89+
"Walter-Flex-Str. 3\n",
90+
"57068 Siegen\n",
91+
"Germany" ),
92+
Place := "Siegen",
93+
Institution := "University of Siegen",
94+
),
95+
],
96+
97+
# BEGIN URLS
98+
SourceRepository := rec(
99+
Type := "git",
100+
URL := "https://github.com/homalg-project/CAP_project",
101+
),
102+
IssueTrackerURL := Concatenation( ~.SourceRepository.URL, "/issues" ),
103+
PackageWWWHome := "https://homalg-project.github.io/pkg/AdditiveClosuresForCAP",
104+
PackageInfoURL := "https://homalg-project.github.io/CAP_project/AdditiveClosuresForCAP/PackageInfo.g",
105+
README_URL := "https://homalg-project.github.io/CAP_project/AdditiveClosuresForCAP/README.md",
106+
ArchiveURL := Concatenation( "https://github.com/homalg-project/CAP_project/releases/download/AdditiveClosuresForCAP-", ~.Version, "/AdditiveClosuresForCAP-", ~.Version ),
107+
# END URLS
108+
109+
ArchiveFormats := ".tar.gz .zip",
110+
111+
## Status information. Currently the following cases are recognized:
112+
## "accepted" for successfully refereed packages
113+
## "submitted" for packages submitted for the refereeing
114+
## "deposited" for packages for which the GAP developers agreed
115+
## to distribute them with the core GAP system
116+
## "dev" for development versions of packages
117+
## "other" for all other packages
118+
##
119+
Status := "dev",
120+
121+
AbstractHTML := "",
122+
123+
PackageDoc := rec(
124+
BookName := "AdditiveClosuresForCAP",
125+
ArchiveURLSubset := ["doc"],
126+
HTMLStart := "doc/chap0.html",
127+
PDFFile := "doc/manual.pdf",
128+
SixFile := "doc/manual.six",
129+
LongTitle := "Additive closures for pre-abelian categories",
130+
),
131+
132+
Dependencies := rec(
133+
GAP := ">= 4.13.0",
134+
NeededOtherPackages := [ [ "CAP", ">= 2025.06-05" ],
135+
[ "GradedRingForHomalg", ">=2019.08.07" ],
136+
[ "MonoidalCategories", ">= 2024.09-02" ],
137+
],
138+
SuggestedOtherPackages := [ ],
139+
ExternalConditions := [ ],
140+
),
141+
142+
Extensions := [
143+
],
144+
145+
AvailabilityTest := function()
146+
return true;
147+
end,
148+
#Keywords := [ "TODO" ],
149+
150+
TestFile := "tst/testall.g",
151+
152+
));

‎AdditiveClosuresForCAP/README.md‎

Lines changed: 44 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,44 @@
1+
<!-- BEGIN HEADER -->
2+
# AdditiveClosuresForCAP&ensp;<sup><sup>[![View code][code-img]][code-url]</sup></sup>
3+
4+
### Additive closures for pre-abelian categories
5+
6+
| Documentation | Latest Release | Build Status of [CAP_project](/../../) | Code Coverage |
7+
| ------------- | -------------- | ------------ | ------------- |
8+
| [![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] |
9+
10+
<!-- END HEADER -->
11+
12+
This package includes an implementation of:
13+
- [Additive closures](#additive-closures)
14+
15+
## Additive closures
16+
17+
Additive closures provide a universal way of equipping a given Ab-category with finite direct sums.
18+
19+
#### Paper (describing the underlying algorithms)
20+
21+
Sebastian Posur, [*Methods of constructive category theory*](https://arxiv.org/abs/1908.04132).
22+
23+
<!-- BEGIN FOOTER -->
24+
[html-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
25+
[html-url]: https://homalg-project.github.io/CAP_project/AdditiveClosuresForCAP/doc/chap0_mj.html
26+
27+
[pdf-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
28+
[pdf-url]: https://homalg-project.github.io/CAP_project/AdditiveClosuresForCAP/download_pdf.html
29+
30+
[version-img]: https://img.shields.io/endpoint?url=https://homalg-project.github.io/CAP_project/AdditiveClosuresForCAP/badge_version.json&label=🔗%20version&color=yellow
31+
[version-url]: https://homalg-project.github.io/CAP_project/AdditiveClosuresForCAP/view_release.html
32+
33+
[date-img]: https://img.shields.io/endpoint?url=https://homalg-project.github.io/CAP_project/AdditiveClosuresForCAP/badge_date.json&label=🔗%20released%20on&color=yellow
34+
[date-url]: https://homalg-project.github.io/CAP_project/AdditiveClosuresForCAP/view_release.html
35+
36+
[tests-img]: https://github.com/homalg-project/CAP_project/actions/workflows/Tests.yml/badge.svg?branch=master
37+
[tests-url]: https://github.com/homalg-project/CAP_project/actions/workflows/Tests.yml?query=branch%3Amaster
38+
39+
[codecov-img]: https://codecov.io/gh/homalg-project/CAP_project/branch/master/graph/badge.svg?flag=AdditiveClosuresForCAP
40+
[codecov-url]: https://app.codecov.io/gh/homalg-project/CAP_project/tree/master/AdditiveClosuresForCAP
41+
42+
[code-img]: https://img.shields.io/badge/-View%20code-blue?logo=github
43+
[code-url]: https://github.com/homalg-project/CAP_project/tree/master/AdditiveClosuresForCAP#top
44+
<!-- END FOOTER -->

‎AdditiveClosuresForCAP/doc/Doc.autodoc‎

Lines changed: 53 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,53 @@
1+
@Chapter Rings as categories
2+
3+
@Section GAP Categories
4+
@Section Constructors
5+
@Section Attributes
6+
@Section Operations
7+
@Section Random methods
8+
9+
@Chapter Additive closure
10+
@Section Constructors
11+
@Section Attributes
12+
@Section Operators
13+
@Section Global functions
14+
@Section Random methods for additive closure category
15+
@Section GAP Categories
16+
17+
@Chapter Example on additive closure
18+
19+
@Chapter Category of rows
20+
@Section Constructors
21+
@Section Attributes
22+
@Section Global functions
23+
@Section Random Methods in Category of Rows
24+
@Section GAP Categories
25+
@Section Supported CAP operations
26+
@Subsection CategoryOfRows of an arbitrary ring
27+
@Subsection CategoryOfRows of an exterior algebra over a field
28+
@Subsection CategoryOfRows of a commutative ring
29+
@Subsection CategoryOfRows of a field
30+
31+
@Chapter Example on category of rows
32+
33+
@Chapter Category of columns
34+
@Section Constructors
35+
@Section Attributes
36+
@Section GAP Categories
37+
38+
@Chapter Example on category of columns
39+
40+
@Chapter Category of rows and columns over a field
41+
@Section Abelian operations
42+
43+
@Chapter Category of graded rows and category of graded columns
44+
@Section Constructors
45+
@Section Attributes
46+
47+
@Chapter Examples on graded rows and columns
48+
49+
@Chapter Basic operations
50+
51+
@Chapter Examples and Tests
52+
53+
@Chapter Add Functions

‎AdditiveClosuresForCAP/doc/clean‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
#!/bin/sh
2+
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 renamed to AdditiveClosuresForCAP/examples/AdditiveClosure.g

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22

33
#! @Section Using matrix data structures
44

5-
LoadPackage( "FreydCategoriesForCAP" );;
5+
LoadPackage( "AdditiveClosuresForCAP" );;
66

77
#! @Example
88
QQ := HomalgFieldOfRationalsInSingular();;

FreydCategoriesForCAP/examples/AdditiveClosureKronecker.g renamed to AdditiveClosuresForCAP/examples/AdditiveClosureKronecker.g

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
#! @Section Monoidal structure of AdditiveClosure
44

55
#! @Example
6-
LoadPackage( "FreydCategoriesForCAP", false );
6+
LoadPackage( "AdditiveClosuresForCAP", false );
77
#! true
88
Q := HomalgFieldOfRationals();;
99
R := RingAsCategory( Q );

FreydCategoriesForCAP/examples/AdditiveClosureMonoidal.g renamed to AdditiveClosuresForCAP/examples/AdditiveClosureMonoidal.g

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
#! @Section Monoidal structure of AdditiveClosure
44

55
#! @Example
6-
LoadPackage( "FreydCategoriesForCAP", false );
6+
LoadPackage( "AdditiveClosuresForCAP", false );
77
#! true
88
T := TerminalCategoryWithMultipleObjects( );
99
#! TerminalCategoryWithMultipleObjects( )

0 commit comments

Comments
 (0)