From 49a7875b0c653d81c2abca1fb346e95cafdd0f7a Mon Sep 17 00:00:00 2001 From: Bot Date: Wed, 10 Jul 2024 11:49:17 +0200 Subject: [PATCH] Update website for FinSetsForCAP 2024.07-01 --- PackageInfo.g | 4 ++-- _data/package.yml | 28 ++++++++++++++-------------- doc/chap0.html | 6 +++--- doc/chap0.txt | 4 ++-- doc/chap0_mj.html | 8 ++++---- doc/chap1.html | 2 +- doc/chap1_mj.html | 4 ++-- doc/chap2.html | 2 +- doc/chap2_mj.html | 4 ++-- doc/chap3.html | 6 +++--- doc/chap3.txt | 4 ++-- doc/chap3_mj.html | 8 ++++---- doc/chapInd.html | 2 +- doc/chapInd_mj.html | 4 ++-- 14 files changed, 43 insertions(+), 43 deletions(-) diff --git a/PackageInfo.g b/PackageInfo.g index c445aca..c242b88 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -10,9 +10,9 @@ SetPackageInfo( rec( PackageName := "FinSetsForCAP", Subtitle := "The elementary topos of (skeletal) finite sets", -Version := "2024.03-03", +Version := "2024.07-01", -Date := "2024-03-18", +Date := "2024-07-10", License := "GPL-2.0-or-later", Persons := [ diff --git a/_data/package.yml b/_data/package.yml index 9544a3a..2db1d24 100644 --- a/_data/package.yml +++ b/_data/package.yml @@ -1,7 +1,7 @@ name: FinSetsForCAP -version: "2024.03-03" +version: "2024.07-01" license: "GPL-2.0-or-later" -date: 2024-03-18 +date: 2024-07-10 description: | The elementary topos of (skeletal) finite sets @@ -40,11 +40,11 @@ packageinfo: https://homalg-project.github.io/FinSetsForCAP/PackageInfo.g downloads: - name: .tar.gz - url: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.03-03/FinSetsForCAP-2024.03-03.tar.gz + url: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.07-01/FinSetsForCAP-2024.07-01.tar.gz - name: .zip - url: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.03-03/FinSetsForCAP-2024.03-03.zip + url: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.07-01/FinSetsForCAP-2024.07-01.zip -pdf: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.03-03/FinSetsForCAP-2024.03-03-manual.pdf +pdf: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.07-01/FinSetsForCAP-2024.07-01-manual.pdf abstract: | @@ -53,28 +53,28 @@ doc-html: doc/chap0.html doc-pdf: doc/manual.pdf citeas: |

- [BMZ18] Barakat, M., Mickisch, J. and Zickgraf, F., + [BMZ10] Barakat, M., Mickisch, J. and Zickgraf, F., FinSetsForCAP, The elementary topos of (skeletal) finite sets, - Version 2024.03-03 - (3-18)
+ Version 2024.07-01 + (7-10)
(GAP package), https://homalg-project.github.io/pkg/FinSetsForCAP.

bibtex: | - @misc{ FinSetsForCAP2024.03-03, + @misc{ FinSetsForCAP, author = {Barakat, M. and Mickisch, J. and Zickgraf, F.}, title = {{FinSetsForCAP}, The elementary topos of (skeletal) - finite sets, {V}ersion 2024.03-03}, - month = {4-}, - year = {3-18}, + finite sets, {V}ersion 2024.07\texttt{\symbol{45}}01}, + month = {4\texttt{\symbol{45}}}, + year = {7\texttt{\symbol{45}}10}, note = {GAP package}, howpublished = {\href {https://homalg-project.github.io/pkg/FinSetsForCAP} - {\texttt{https://homalg-project.github.io/}\discretionary + {\texttt{https://homalg\texttt{\symbol{45}}project.github.io/}\discretionary {}{}{}\texttt{pkg/}\discretionary {}{}{}\texttt{FinSetsForCAP}}}, - printedkey = {BMZ18} + printedkey = {BMZ10} } diff --git a/doc/chap0.html b/doc/chap0.html index a94f0b4..ef53bad 100644 --- a/doc/chap0.html +++ b/doc/chap0.html @@ -29,10 +29,10 @@

FinSetsForCAP

The elementary topos of (skeletal) finite sets

- 2024.03-03

+ 2024.07-01

- 18 March 2024 + 10 July 2024

@@ -271,6 +271,6 @@

Contents

Goto Chapter: Top 1 2 3 Ind
-

generated by GAPDoc2HTML

+

generated by GAPDoc2HTML

diff --git a/doc/chap0.txt b/doc/chap0.txt index 754ae2f..1792085 100644 --- a/doc/chap0.txt +++ b/doc/chap0.txt @@ -6,10 +6,10 @@  The elementary topos of (skeletal) finite sets  - 2024.03-03 + 2024.07-01 - 18 March 2024 + 10 July 2024 Mohamed Barakat diff --git a/doc/chap0_mj.html b/doc/chap0_mj.html index d82abf8..8fb7bc7 100644 --- a/doc/chap0_mj.html +++ b/doc/chap0_mj.html @@ -6,7 +6,7 @@ GAP (FinSetsForCAP) - Contents @@ -32,10 +32,10 @@

FinSetsForCAP

The elementary topos of (skeletal) finite sets

- 2024.03-03

+ 2024.07-01

- 18 March 2024 + 10 July 2024

@@ -274,6 +274,6 @@

Contents

Goto Chapter: Top 1 2 3 Ind
-

generated by GAPDoc2HTML

+

generated by GAPDoc2HTML

diff --git a/doc/chap1.html b/doc/chap1.html index 6b05659..01e4018 100644 --- a/doc/chap1.html +++ b/doc/chap1.html @@ -1543,6 +1543,6 @@
1.5-21 Pushout Complement
Goto Chapter: Top 1 2 3 Ind
-

generated by GAPDoc2HTML

+

generated by GAPDoc2HTML

diff --git a/doc/chap1_mj.html b/doc/chap1_mj.html index 6f8ac0b..78fda59 100644 --- a/doc/chap1_mj.html +++ b/doc/chap1_mj.html @@ -6,7 +6,7 @@ GAP (FinSetsForCAP) - Chapter 1: The category of finite sets @@ -1546,6 +1546,6 @@
1.5-21 Pushout Complement
Goto Chapter: Top 1 2 3 Ind
-

generated by GAPDoc2HTML

+

generated by GAPDoc2HTML

diff --git a/doc/chap2.html b/doc/chap2.html index 8c11c62..cdbadd1 100644 --- a/doc/chap2.html +++ b/doc/chap2.html @@ -1452,6 +1452,6 @@
2.5-22 Skeletal Pushout Complement
Goto Chapter: Top 1 2 3 Ind
-

generated by GAPDoc2HTML

+

generated by GAPDoc2HTML

diff --git a/doc/chap2_mj.html b/doc/chap2_mj.html index dff26aa..07a70d3 100644 --- a/doc/chap2_mj.html +++ b/doc/chap2_mj.html @@ -6,7 +6,7 @@ GAP (FinSetsForCAP) - Chapter 2: The category of skeletal finite sets @@ -1455,6 +1455,6 @@
2.5-22 Skeletal Pushout Complement
Goto Chapter: Top 1 2 3 Ind
-

generated by GAPDoc2HTML

+

generated by GAPDoc2HTML

diff --git a/doc/chap3.html b/doc/chap3.html index 3375159..6d4a82f 100644 --- a/doc/chap3.html +++ b/doc/chap3.html @@ -48,7 +48,7 @@

3.1 Precompiling the category of skeletal finite sets< gap> category_constructor := {} -> SkeletalCategoryOfFiniteSets( );; gap> given_arguments := [ ];; gap> compiled_category_name := -> "SkeletalCategoryOfFiniteSetsWithMorphismsGivenByListsPrecompiled";; +> "SkeletalCategoryOfFiniteSetsWithMorphismsGivenByLists_precompiled";; gap> package_name := "FinSetsForCAP";; gap> primitive_operations := > ListPrimitivelyInstalledOperationsOfCategory( @@ -79,7 +79,7 @@

3.1 Precompiling the category of skeletal finite sets< > number_of_objectified_objects_in_data_structure_of_morphism := 2, > number_of_objectified_morphisms_in_data_structure_of_morphism := 1 > );; -gap> SkeletalCategoryOfFiniteSetsWithMorphismsGivenByListsPrecompiled( ); +gap> SkeletalCategoryOfFiniteSetsWithMorphismsGivenByLists_precompiled( ); SkeletalFinSets gap> cat := SkeletalCategoryOfFiniteSets( ); SkeletalFinSets @@ -162,6 +162,6 @@

3.2 Precompiling ProjectionInFactorOfBinaryDirectProdu
Goto Chapter: Top 1 2 3 Ind
-

generated by GAPDoc2HTML

+

generated by GAPDoc2HTML

diff --git a/doc/chap3.txt b/doc/chap3.txt index 647f3f3..28ded33 100644 --- a/doc/chap3.txt +++ b/doc/chap3.txt @@ -15,7 +15,7 @@ gap> category_constructor := {} -> SkeletalCategoryOfFiniteSets( );; gap> given_arguments := [ ];; gap> compiled_category_name := - >  "SkeletalCategoryOfFiniteSetsWithMorphismsGivenByListsPrecompiled";; + >  "SkeletalCategoryOfFiniteSetsWithMorphismsGivenByLists_precompiled";; gap> package_name := "FinSetsForCAP";; gap> primitive_operations := >  ListPrimitivelyInstalledOperationsOfCategory( @@ -46,7 +46,7 @@ >  number_of_objectified_objects_in_data_structure_of_morphism := 2, >  number_of_objectified_morphisms_in_data_structure_of_morphism := 1 > );; - gap> SkeletalCategoryOfFiniteSetsWithMorphismsGivenByListsPrecompiled( ); + gap> SkeletalCategoryOfFiniteSetsWithMorphismsGivenByLists_precompiled( ); SkeletalFinSets gap> cat := SkeletalCategoryOfFiniteSets( ); SkeletalFinSets diff --git a/doc/chap3_mj.html b/doc/chap3_mj.html index 6d08c79..dc5702e 100644 --- a/doc/chap3_mj.html +++ b/doc/chap3_mj.html @@ -6,7 +6,7 @@ GAP (FinSetsForCAP) - Chapter 3: Precompilation @@ -51,7 +51,7 @@

3.1 Precompiling the category of skeletal finite sets< gap> category_constructor := {} -> SkeletalCategoryOfFiniteSets( );; gap> given_arguments := [ ];; gap> compiled_category_name := -> "SkeletalCategoryOfFiniteSetsWithMorphismsGivenByListsPrecompiled";; +> "SkeletalCategoryOfFiniteSetsWithMorphismsGivenByLists_precompiled";; gap> package_name := "FinSetsForCAP";; gap> primitive_operations := > ListPrimitivelyInstalledOperationsOfCategory( @@ -82,7 +82,7 @@

3.1 Precompiling the category of skeletal finite sets< > number_of_objectified_objects_in_data_structure_of_morphism := 2, > number_of_objectified_morphisms_in_data_structure_of_morphism := 1 > );; -gap> SkeletalCategoryOfFiniteSetsWithMorphismsGivenByListsPrecompiled( ); +gap> SkeletalCategoryOfFiniteSetsWithMorphismsGivenByLists_precompiled( ); SkeletalFinSets gap> cat := SkeletalCategoryOfFiniteSets( ); SkeletalFinSets @@ -165,6 +165,6 @@

3.2 Precompiling ProjectionInFactorOfBinaryDirectProdu
Goto Chapter: Top 1 2 3 Ind
-

generated by GAPDoc2HTML

+

generated by GAPDoc2HTML

diff --git a/doc/chapInd.html b/doc/chapInd.html index 56b7602..b028902 100644 --- a/doc/chapInd.html +++ b/doc/chapInd.html @@ -84,6 +84,6 @@

Index

Goto Chapter: Top 1 2 3 Ind
-

generated by GAPDoc2HTML

+

generated by GAPDoc2HTML

diff --git a/doc/chapInd_mj.html b/doc/chapInd_mj.html index 53efd1a..8c48f42 100644 --- a/doc/chapInd_mj.html +++ b/doc/chapInd_mj.html @@ -6,7 +6,7 @@ GAP (FinSetsForCAP) - Index @@ -87,6 +87,6 @@

Index

Goto Chapter: Top 1 2 3 Ind
-

generated by GAPDoc2HTML

+

generated by GAPDoc2HTML