Skip to content

Commit 6873a54

Browse files
mohamed-barakatmohamed-barakat
authored
Merge pull request #1751 from TKuh/groups_as_cats_pkg
Extract `GroupsAsCats` into new package
2 parents 14b2ba9 + 79ca48a commit 6873a54

26 files changed

Lines changed: 924 additions & 118 deletions

‎FreydCategoriesForCAP/PackageInfo.g‎

Lines changed: 6 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
1010

1111
PackageName := "FreydCategoriesForCAP",
1212
Subtitle := "Freyd categories - Formal (co)kernels for additive categories",
13-
Version := "2025.06-05",
13+
Version := "2025.06-06",
1414
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)( ),
1515
License := "GPL-2.0-or-later",
1616

@@ -108,24 +108,23 @@ Dependencies := rec(
108108
[ "GeneralizedMorphismsForCAP", ">= 2018.06.15" ]
109109
],
110110
SuggestedOtherPackages := [
111-
[ "FinSetsForCAP", ">= 2023.07-03" ]
111+
[ "FinSetsForCAP", ">= 2023.07-03" ],
112+
[ "GroupsAsCategoriesForCAP", ">= 2025.06-01" ],
112113
],
113114
ExternalConditions := [ ],
114115
),
115116

116117
Extensions := [
117118
rec(
118-
needed := [ [ "FinSetsForCAP", ">= 2023.07-03" ] ],
119+
needed := [ [ "FinSetsForCAP", ">= 2023.07-03" ],
120+
[ "GroupsAsCategoriesForCAP", ">= 2025.06-01" ],
121+
],
119122
filename := "gap/LinearClosure.gi",
120123
),
121124
rec(
122125
needed := [ [ "FinSetsForCAP", ">= 2023.07-03" ] ],
123126
filename := "gap/ProSetsAsCats.gi",
124127
),
125-
rec(
126-
needed := [ [ "FinSetsForCAP", ">= 2023.07-03" ] ],
127-
filename := "gap/GroupsAsCats.gi",
128-
),
129128
],
130129

131130
AvailabilityTest := function()

‎FreydCategoriesForCAP/init.g‎

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -39,8 +39,6 @@ ReadPackage( "FreydCategoriesForCAP", "gap/LinearClosure.gd" );
3939

4040
ReadPackage( "FreydCategoriesForCAP", "gap/ProSetsAsCats.gd" );
4141

42-
ReadPackage( "FreydCategoriesForCAP", "gap/GroupsAsCats.gd" );
43-
4442
ReadPackage( "FreydCategoriesForCAP", "gap/RingsAsAbCats.gd" );
4543

4644
ReadPackage( "FreydCategoriesForCAP", "gap/GradeFiltration.gd" );

‎GroupsAsCategoriesForCAP/.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/groupsascategoriesforcap*.tst

‎GroupsAsCategoriesForCAP/LICENSE‎

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

‎GroupsAsCategoriesForCAP/PackageInfo.g‎

Lines changed: 108 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,108 @@
1+
# SPDX-License-Identifier: GPL-2.0-or-later
2+
# GroupsAsCategoriesForCAP: Groups as categories on one object
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 := "GroupsAsCategoriesForCAP",
12+
Subtitle := "Groups as categories on one object",
13+
Version := "2025.06-02",
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 := "Fabian",
38+
LastName := "Zickgraf",
39+
WWWHome := "https://github.com/zickgraf/",
40+
Email := "fabian.zickgraf@uni-siegen.de",
41+
PostalAddress := Concatenation(
42+
"Walter-Flex-Str. 3\n",
43+
"57068 Siegen\n",
44+
"Germany" ),
45+
Place := "Siegen",
46+
Institution := "University of Siegen",
47+
),
48+
],
49+
50+
# BEGIN URLS
51+
SourceRepository := rec(
52+
Type := "git",
53+
URL := "https://github.com/homalg-project/CAP_project",
54+
),
55+
IssueTrackerURL := Concatenation( ~.SourceRepository.URL, "/issues" ),
56+
PackageWWWHome := "https://homalg-project.github.io/pkg/GroupsAsCategoriesForCAP",
57+
PackageInfoURL := "https://homalg-project.github.io/CAP_project/GroupsAsCategoriesForCAP/PackageInfo.g",
58+
README_URL := "https://homalg-project.github.io/CAP_project/GroupsAsCategoriesForCAP/README.md",
59+
ArchiveURL := Concatenation( "https://github.com/homalg-project/CAP_project/releases/download/GroupsAsCategoriesForCAP-", ~.Version, "/GroupsAsCategoriesForCAP-", ~.Version ),
60+
# END URLS
61+
62+
ArchiveFormats := ".tar.gz .zip",
63+
64+
## Status information. Currently the following cases are recognized:
65+
## "accepted" for successfully refereed packages
66+
## "submitted" for packages submitted for the refereeing
67+
## "deposited" for packages for which the GAP developers agreed
68+
## to distribute them with the core GAP system
69+
## "dev" for development versions of packages
70+
## "other" for all other packages
71+
##
72+
Status := "dev",
73+
74+
AbstractHTML := "",
75+
76+
PackageDoc := rec(
77+
BookName := "GroupsAsCategoriesForCAP",
78+
ArchiveURLSubset := ["doc"],
79+
HTMLStart := "doc/chap0.html",
80+
PDFFile := "doc/manual.pdf",
81+
SixFile := "doc/manual.six",
82+
LongTitle := "Groups as categories on one object",
83+
),
84+
85+
Dependencies := rec(
86+
GAP := ">= 4.13.0",
87+
NeededOtherPackages := [ [ "CAP", ">= 2025.06-05" ],
88+
],
89+
SuggestedOtherPackages := [ [ "FinSetsForCAP", ">= 2023.07-03" ],
90+
],
91+
ExternalConditions := [ ],
92+
),
93+
94+
Extensions := [
95+
rec(
96+
needed := [ [ "FinSetsForCAP", ">= 2023.07-03" ] ],
97+
filename := "gap/HomomorphismStructure.gi",
98+
),
99+
],
100+
101+
AvailabilityTest := function()
102+
return true;
103+
end,
104+
#Keywords := [ "TODO" ],
105+
106+
TestFile := "tst/testall.g",
107+
108+
));

‎GroupsAsCategoriesForCAP/README.md‎

Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
<!-- BEGIN HEADER -->
2+
# GroupsAsCategoriesForCAP&ensp;<sup><sup>[![View code][code-img]][code-url]</sup></sup>
3+
4+
### Groups as categories on one object
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+
<!-- BEGIN FOOTER -->
13+
[html-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
14+
[html-url]: https://homalg-project.github.io/CAP_project/GroupsAsCategoriesForCAP/doc/chap0_mj.html
15+
16+
[pdf-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
17+
[pdf-url]: https://homalg-project.github.io/CAP_project/GroupsAsCategoriesForCAP/download_pdf.html
18+
19+
[version-img]: https://img.shields.io/endpoint?url=https://homalg-project.github.io/CAP_project/GroupsAsCategoriesForCAP/badge_version.json&label=🔗%20version&color=yellow
20+
[version-url]: https://homalg-project.github.io/CAP_project/GroupsAsCategoriesForCAP/view_release.html
21+
22+
[date-img]: https://img.shields.io/endpoint?url=https://homalg-project.github.io/CAP_project/GroupsAsCategoriesForCAP/badge_date.json&label=🔗%20released%20on&color=yellow
23+
[date-url]: https://homalg-project.github.io/CAP_project/GroupsAsCategoriesForCAP/view_release.html
24+
25+
[tests-img]: https://github.com/homalg-project/CAP_project/actions/workflows/Tests.yml/badge.svg?branch=master
26+
[tests-url]: https://github.com/homalg-project/CAP_project/actions/workflows/Tests.yml?query=branch%3Amaster
27+
28+
[codecov-img]: https://codecov.io/gh/homalg-project/CAP_project/branch/master/graph/badge.svg?flag=GroupsAsCategoriesForCAP
29+
[codecov-url]: https://app.codecov.io/gh/homalg-project/CAP_project/tree/master/GroupsAsCategoriesForCAP
30+
31+
[code-img]: https://img.shields.io/badge/-View%20code-blue?logo=github
32+
[code-url]: https://github.com/homalg-project/CAP_project/tree/master/GroupsAsCategoriesForCAP#top
33+
<!-- END FOOTER -->

‎GroupsAsCategoriesForCAP/doc/Doc.autodoc‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
@Chapter Groups as categories
2+
3+
@Section Attributes
4+
@Section Constructors
5+
@Section Operations
6+
@Section GAP Categories
7+
@Section Examples and Tests

‎GroupsAsCategoriesForCAP/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/GroupsAsCats.g renamed to GroupsAsCategoriesForCAP/examples/GroupsAsCats.g

Lines changed: 6 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,18 +1,19 @@
11
#! @Chapter Examples and Tests
22

3-
#! @Section Groups as categories
4-
5-
LoadPackage( "FreydCategoriesForCAP" );;
3+
LoadPackage( "GroupsAsCategoriesForCAP" );;
64

75
#! @Example
8-
#! #@if IsPackageMarkedForLoading( "FinSetsForCAP", ">= 2023.07-03" )
96
G := SymmetricGroup( 3 );;
107
CG := GroupAsCategory( G );;
118
u := GroupAsCategoryUniqueObject( CG );;
129
SetOfObjectsOfCategory( CG ) = [ u ];
1310
#! true
1411
Length( SetOfMorphismsOfFiniteCategory( CG ) ) = Size( G );
1512
#! true
13+
x := (2,3)/CG;;
14+
id := ()/CG;;
15+
IsIdenticalObj( x * x, id );
16+
#! true
1617
alpha := GroupAsCategoryMorphism( (1,2,3), CG );;
1718
alpha * Inverse( alpha ) = IdentityMorphism( u );
1819
#! true
@@ -26,6 +27,7 @@ Lift( alpha, gamma ) * gamma = alpha;
2627
#! true
2728
alpha * Colift( alpha, gamma ) = gamma;
2829
#! true
30+
#! #@if IsPackageMarkedForLoading( "FinSetsForCAP", ">= 2023.07-03" )
2931
Length( HomomorphismStructureOnObjects( u, u ) ) = Size( G );
3032
#! true
3133
InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism(
@@ -37,9 +39,5 @@ InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism(
3739
=
3840
gamma * alpha * Inverse( gamma );
3941
#! true
40-
x := (2,3)/CG;;
41-
id := ()/CG;;
42-
IsIdenticalObj( x * x, id );
43-
#! true
4442
#! #@fi
4543
#! @EndExample

FreydCategoriesForCAP/gap/GroupsAsCats.gd renamed to GroupsAsCategoriesForCAP/gap/GroupsAsCats.gd

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
# SPDX-License-Identifier: GPL-2.0-or-later
2-
# FreydCategoriesForCAP: Freyd categories - Formal (co)kernels for additive categories
2+
# GroupsAsCategoriesForCAP: Groups as categories on one object
33
#
44
# Declarations
55
#

0 commit comments

Comments
 (0)