Skip to content

Commit 88266fc

Browse files
applied PackageJanitor and added 3 new packages:
* AdditiveClosuresForCAP * LinearClosuresForCAP * GroupsAsCategoriesForCAP
1 parent 6bb47cf commit 88266fc

File tree

4 files changed

+26
-1
lines changed

4 files changed

+26
-1
lines changed

_docs/CAP_project-based/index.md

Lines changed: 14 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -52,7 +52,7 @@ The [CAP-based packages](#packages-part-of-or-based-on-cap_project) provide vari
5252
| [CAP](https://homalg-project.github.io/pkg/CAP) | Categories, Algorithms, Programming | [![HTML stable documentation][html-CAP-img]][html-CAP-url] [![PDF stable documentation][pdf-CAP-img]][pdf-CAP-url] | [![Build Status][tests-CAP-img]][tests-CAP-url] | [![Code Coverage][codecov-CAP-img]][codecov-CAP-url] | [deposited][deposited-CAP-url] |
5353
| [Algebroids](https://homalg-project.github.io/pkg/Algebroids) | Algebroids and bialgebroids as preadditive categories generated by enhanced quivers | [![HTML stable documentation][html-Algebroids-img]][html-Algebroids-url] [![PDF stable documentation][pdf-Algebroids-img]][pdf-Algebroids-url] | [![Build Status][tests-Algebroids-img]][tests-Algebroids-url] | [![Code Coverage][codecov-Algebroids-img]][codecov-Algebroids-url] | dev |
5454
| [ActionsForCAP](https://homalg-project.github.io/pkg/ActionsForCAP) | Actions and Coactions for CAP | [![HTML stable documentation][html-ActionsForCAP-img]][html-ActionsForCAP-url] [![PDF stable documentation][pdf-ActionsForCAP-img]][pdf-ActionsForCAP-url] | [![Build Status][tests-ActionsForCAP-img]][tests-ActionsForCAP-url] | [![Code Coverage][codecov-ActionsForCAP-img]][codecov-ActionsForCAP-url] | dev |
55-
| [AdditiveClosuresForCAP](https://homalg-project.github.io/pkg/AdditiveClosuresForCAP) | Additive closures for pre-abelian categories | [![HTML stable documentation][html-AdditiveClosuresForCAP-img]][html-AdditiveClosuresForCAP-url] [![PDF stable documentation][pdf-AdditiveClosuresForCAP-img]][pdf-AdditiveClosuresForCAP-url] | [![Build Status][tests-AdditiveClosuresForCAP-img]][tests-AdditiveClosuresForCAP-url] | [![Code Coverage][codecov-AdditiveClosuresForCAP-img]][codecov-AdditiveClosuresForCAP-url] | dev |
55+
| [AdditiveClosuresForCAP](https://homalg-project.github.io/pkg/AdditiveClosuresForCAP) | Additive closures for pre-additive categories | [![HTML stable documentation][html-AdditiveClosuresForCAP-img]][html-AdditiveClosuresForCAP-url] [![PDF stable documentation][pdf-AdditiveClosuresForCAP-img]][pdf-AdditiveClosuresForCAP-url] | [![Build Status][tests-AdditiveClosuresForCAP-img]][tests-AdditiveClosuresForCAP-url] | [![Code Coverage][codecov-AdditiveClosuresForCAP-img]][codecov-AdditiveClosuresForCAP-url] | dev |
5656
| [AttributeCategoryForCAP](https://homalg-project.github.io/pkg/AttributeCategoryForCAP) | 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] | [![Build Status][tests-AttributeCategoryForCAP-img]][tests-AttributeCategoryForCAP-url] | [![Code Coverage][codecov-AttributeCategoryForCAP-img]][codecov-AttributeCategoryForCAP-url] | dev |
5757
| [Bicomplexes](https://homalg-project.github.io/pkg/Bicomplexes) | Bicomplexes for Abelian categories | [![HTML stable documentation][html-Bicomplexes-img]][html-Bicomplexes-url] [![PDF stable documentation][pdf-Bicomplexes-img]][pdf-Bicomplexes-url] | [![Build Status][tests-Bicomplexes-img]][tests-Bicomplexes-url] | [![Code Coverage][codecov-Bicomplexes-img]][codecov-Bicomplexes-url] | dev |
5858
| [CartesianCategories](https://homalg-project.github.io/pkg/CartesianCategories) | 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] | [![Build Status][tests-CartesianCategories-img]][tests-CartesianCategories-url] | [![Code Coverage][codecov-CartesianCategories-img]][codecov-CartesianCategories-url] | dev |
@@ -84,6 +84,7 @@ The [CAP-based packages](#packages-part-of-or-based-on-cap_project) provide vari
8484
| [IntrinsicModules](https://homalg-project.github.io/pkg/IntrinsicModules) | Finitely presented modules over computable rings allowing multiple presentations and the notion of elements | [![HTML stable documentation][html-IntrinsicModules-img]][html-IntrinsicModules-url] [![PDF stable documentation][pdf-IntrinsicModules-img]][pdf-IntrinsicModules-url] | [![Build Status][tests-IntrinsicModules-img]][tests-IntrinsicModules-url] | [![Code Coverage][codecov-IntrinsicModules-img]][codecov-IntrinsicModules-url] | dev |
8585
| [LazyCategories](https://homalg-project.github.io/pkg/LazyCategories) | Construct an equivalent lazy category out of a CAP category | [![HTML stable documentation][html-LazyCategories-img]][html-LazyCategories-url] [![PDF stable documentation][pdf-LazyCategories-img]][pdf-LazyCategories-url] | [![Build Status][tests-LazyCategories-img]][tests-LazyCategories-url] | [![Code Coverage][codecov-LazyCategories-img]][codecov-LazyCategories-url] | dev |
8686
| [LinearAlgebraForCAP](https://homalg-project.github.io/pkg/LinearAlgebraForCAP) | Category of Matrices over a Field for CAP | [![HTML stable documentation][html-LinearAlgebraForCAP-img]][html-LinearAlgebraForCAP-url] [![PDF stable documentation][pdf-LinearAlgebraForCAP-img]][pdf-LinearAlgebraForCAP-url] | [![Build Status][tests-LinearAlgebraForCAP-img]][tests-LinearAlgebraForCAP-url] | [![Code Coverage][codecov-LinearAlgebraForCAP-img]][codecov-LinearAlgebraForCAP-url] | [deposited][deposited-LinearAlgebraForCAP-url] |
87+
| [LinearClosuresForCAP](https://homalg-project.github.io/pkg/LinearClosuresForCAP) | Linear closures | [![HTML stable documentation][html-LinearClosuresForCAP-img]][html-LinearClosuresForCAP-url] [![PDF stable documentation][pdf-LinearClosuresForCAP-img]][pdf-LinearClosuresForCAP-url] | [![Build Status][tests-LinearClosuresForCAP-img]][tests-LinearClosuresForCAP-url] | [![Code Coverage][codecov-LinearClosuresForCAP-img]][codecov-LinearClosuresForCAP-url] | dev |
8788
| [Locales](https://homalg-project.github.io/pkg/Locales) | Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets | [![HTML stable documentation][html-Locales-img]][html-Locales-url] [![PDF stable documentation][pdf-Locales-img]][pdf-Locales-url] | [![Build Status][tests-Locales-img]][tests-Locales-url] | [![Code Coverage][codecov-Locales-img]][codecov-Locales-url] | dev |
8889
| [MachineLearningForCAP](https://homalg-project.github.io/pkg/MachineLearningForCAP) | Exploring categorical machine learning in CAP | N/A | N/A | N/A | dev |
8990
| [ModulePresentationsForCAP](https://homalg-project.github.io/pkg/ModulePresentationsForCAP) | Category R-pres for CAP | [![HTML stable documentation][html-ModulePresentationsForCAP-img]][html-ModulePresentationsForCAP-url] [![PDF stable documentation][pdf-ModulePresentationsForCAP-img]][pdf-ModulePresentationsForCAP-url] | [![Build Status][tests-ModulePresentationsForCAP-img]][tests-ModulePresentationsForCAP-url] | [![Code Coverage][codecov-ModulePresentationsForCAP-img]][codecov-ModulePresentationsForCAP-url] | [deposited][deposited-ModulePresentationsForCAP-url] |
@@ -527,6 +528,18 @@ The [CAP-based packages](#packages-part-of-or-based-on-cap_project) provide vari
527528

528529
[deposited-LinearAlgebraForCAP-url]: https://www.gap-system.org/Packages/linearalgebraforcap.html
529530

531+
[html-LinearClosuresForCAP-img]: https://img.shields.io/badge/HTML-stable-blue.svg
532+
[html-LinearClosuresForCAP-url]: https://homalg-project.github.io/CAP_project/LinearClosuresForCAP/doc/chap0_mj.html
533+
534+
[pdf-LinearClosuresForCAP-img]: https://img.shields.io/badge/PDF-stable-blue.svg
535+
[pdf-LinearClosuresForCAP-url]: https://homalg-project.github.io/CAP_project/LinearClosuresForCAP/download_pdf.html
536+
537+
[tests-LinearClosuresForCAP-img]: https://github.com/homalg-project/CAP_project/actions/workflows/Tests.yml/badge.svg?branch=master
538+
[tests-LinearClosuresForCAP-url]: https://github.com/homalg-project/CAP_project/actions/workflows/Tests.yml?query=branch%3Amaster
539+
540+
[codecov-LinearClosuresForCAP-img]: https://codecov.io/gh/homalg-project/CAP_project/branch/master/graph/badge.svg?flag=LinearClosuresForCAP
541+
[codecov-LinearClosuresForCAP-url]: https://app.codecov.io/gh/homalg-project/CAP_project/tree/master/LinearClosuresForCAP
542+
530543
[html-Locales-img]: https://img.shields.io/badge/HTML-stable-blue.svg
531544
[html-Locales-url]: https://homalg-project.github.io/CategoricalTowers/Locales/doc/chap0_mj.html
532545

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
---
2+
permalink: /pkg/AdditiveClosuresForCAP/index.html
3+
redirect_to: https://github.com/homalg-project/CAP_project/tree/master/AdditiveClosuresForCAP#readme
4+
---
Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
---
2+
permalink: /pkg/GroupsAsCategoriesForCAP/index.html
3+
redirect_to: https://github.com/homalg-project/CAP_project/tree/master/GroupsAsCategoriesForCAP#readme
4+
---
Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
---
2+
permalink: /pkg/LinearClosuresForCAP/index.html
3+
redirect_to: https://github.com/homalg-project/CAP_project/tree/master/LinearClosuresForCAP#readme
4+
---

0 commit comments

Comments
 (0)