Update website for FinSetsForCAP 2024.07-01

homalg-project · Jul 10, 2024 · 49a7875 · 49a7875
1 parent 2111f33
commit 49a7875
Show file tree

Hide file tree

Showing 14 changed files with 43 additions and 43 deletions.
diff --git 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
@@ -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: |
     <p class='BibEntry'>
-    [<span class='BibKey'>BMZ18</span>]   <b class='BibAuthor'>Barakat, M., Mickisch, J. and Zickgraf, F.</b>,
+    [<span class='BibKey'>BMZ10</span>]   <b class='BibAuthor'>Barakat, M., Mickisch, J. and Zickgraf, F.</b>,
      <i class='BibTitle'>FinSetsForCAP, The elementary topos of (skeletal) finite sets,
-             Version 2024.03-03</i>
-     (<span class='BibYear'>3-18</span>)<br />
+             Version 2024.07-01</i>
+     (<span class='BibYear'>7-10</span>)<br />
     (<span class='BibNote'>GAP package</span>),
     <span class='BibHowpublished'><a href="https://homalg-project.github.io/pkg/FinSetsForCAP">https://homalg-project.github.io/pkg/FinSetsForCAP</a></span>.
     </p>
     
 
 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
@@ -29,10 +29,10 @@ <h1>FinSetsForCAP</h1>
 <h2>The elementary topos of (skeletal) finite sets</h2>
 
 <p>
-    2024.03-03</p>
+    2024.07-01</p>
 
 <p>
-    18 March 2024
+    10 July 2024
   </p>
 
 </div>
@@ -271,6 +271,6 @@ <h3>Contents<a id="contents" name="contents"></a></h3>
 <div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a>  <a href="chap1.html">1</a>  <a href="chap2.html">2</a>  <a href="chap3.html">3</a>  <a href="chapInd.html">Ind</a>  </div>
 
 <hr />
-<p class="foot">generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
+<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
 </body>
 </html>
diff --git a/doc/chap0.txt b/doc/chap0.txt
@@ -6,10 +6,10 @@
                 [1X The elementary topos of (skeletal) finite sets [101X
 
 
-                                   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
@@ -6,7 +6,7 @@
 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
 <head>
 <script type="text/javascript"
-  src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
+  src="https://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
 </script>
 <title>GAP (FinSetsForCAP) - Contents</title>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8" />
@@ -32,10 +32,10 @@ <h1>FinSetsForCAP</h1>
 <h2>The elementary topos of (skeletal) finite sets</h2>
 
 <p>
-    2024.03-03</p>
+    2024.07-01</p>
 
 <p>
-    18 March 2024
+    10 July 2024
   </p>
 
 </div>
@@ -274,6 +274,6 @@ <h3>Contents<a id="contents" name="contents"></a></h3>
 <div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a>  <a href="chap1_mj.html">1</a>  <a href="chap2_mj.html">2</a>  <a href="chap3_mj.html">3</a>  <a href="chapInd_mj.html">Ind</a>  </div>
 
 <hr />
-<p class="foot">generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
+<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
 </body>
 </html>
diff --git a/doc/chap1.html b/doc/chap1.html
@@ -1543,6 +1543,6 @@ <h5>1.5-21 <span class="Heading">Pushout Complement</span></h5>
 <div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a>  <a href="chap1.html">1</a>  <a href="chap2.html">2</a>  <a href="chap3.html">3</a>  <a href="chapInd.html">Ind</a>  </div>
 
 <hr />
-<p class="foot">generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
+<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
 </body>
 </html>
diff --git a/doc/chap1_mj.html b/doc/chap1_mj.html
@@ -6,7 +6,7 @@
 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
 <head>
 <script type="text/javascript"
-  src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
+  src="https://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
 </script>
 <title>GAP (FinSetsForCAP) - Chapter 1: The category of finite sets</title>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8" />
@@ -1546,6 +1546,6 @@ <h5>1.5-21 <span class="Heading">Pushout Complement</span></h5>
 <div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a>  <a href="chap1_mj.html">1</a>  <a href="chap2_mj.html">2</a>  <a href="chap3_mj.html">3</a>  <a href="chapInd_mj.html">Ind</a>  </div>
 
 <hr />
-<p class="foot">generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
+<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
 </body>
 </html>
diff --git a/doc/chap2.html b/doc/chap2.html
@@ -1452,6 +1452,6 @@ <h5>2.5-22 <span class="Heading">Skeletal Pushout Complement</span></h5>
 <div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a>  <a href="chap1.html">1</a>  <a href="chap2.html">2</a>  <a href="chap3.html">3</a>  <a href="chapInd.html">Ind</a>  </div>
 
 <hr />
-<p class="foot">generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
+<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
 </body>
 </html>
diff --git a/doc/chap2_mj.html b/doc/chap2_mj.html
@@ -6,7 +6,7 @@
 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
 <head>
 <script type="text/javascript"
-  src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
+  src="https://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
 </script>
 <title>GAP (FinSetsForCAP) - Chapter 2: The category of skeletal finite sets</title>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8" />
@@ -1455,6 +1455,6 @@ <h5>2.5-22 <span class="Heading">Skeletal Pushout Complement</span></h5>
 <div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a>  <a href="chap1_mj.html">1</a>  <a href="chap2_mj.html">2</a>  <a href="chap3_mj.html">3</a>  <a href="chapInd_mj.html">Ind</a>  </div>
 
 <hr />
-<p class="foot">generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
+<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
 </body>
 </html>
diff --git a/doc/chap3.html b/doc/chap3.html
@@ -48,7 +48,7 @@ <h4>3.1 <span class="Heading">Precompiling the category of skeletal finite sets<
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">category_constructor := {} -&gt; SkeletalCategoryOfFiniteSets( );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">given_arguments := [ ];;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">compiled_category_name :=</span>
-<span class="GAPprompt">&gt;</span> <span class="GAPinput">  "SkeletalCategoryOfFiniteSetsWithMorphismsGivenByListsPrecompiled";;</span>
+<span class="GAPprompt">&gt;</span> <span class="GAPinput">  "SkeletalCategoryOfFiniteSetsWithMorphismsGivenByLists_precompiled";;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">package_name := "FinSetsForCAP";;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">primitive_operations :=</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">  ListPrimitivelyInstalledOperationsOfCategory(</span>
@@ -79,7 +79,7 @@ <h4>3.1 <span class="Heading">Precompiling the category of skeletal finite sets<
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">        number_of_objectified_objects_in_data_structure_of_morphism := 2,</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">        number_of_objectified_morphisms_in_data_structure_of_morphism := 1</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">);;</span>
-<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">SkeletalCategoryOfFiniteSetsWithMorphismsGivenByListsPrecompiled( );</span>
+<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">SkeletalCategoryOfFiniteSetsWithMorphismsGivenByLists_precompiled( );</span>
 SkeletalFinSets
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">cat := SkeletalCategoryOfFiniteSets( );</span>
 SkeletalFinSets
@@ -162,6 +162,6 @@ <h4>3.2 <span class="Heading">Precompiling ProjectionInFactorOfBinaryDirectProdu
 <div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a>  <a href="chap1.html">1</a>  <a href="chap2.html">2</a>  <a href="chap3.html">3</a>  <a href="chapInd.html">Ind</a>  </div>
 
 <hr />
-<p class="foot">generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
+<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
 </body>
 </html>
diff --git a/doc/chap3.txt b/doc/chap3.txt
@@ -15,7 +15,7 @@
     [4X[25Xgap>[125X [27Xcategory_constructor := {} -> SkeletalCategoryOfFiniteSets( );;[127X[104X
     [4X[25Xgap>[125X [27Xgiven_arguments := [ ];;[127X[104X
     [4X[25Xgap>[125X [27Xcompiled_category_name :=[127X[104X
-    [4X[25X>[125X [27X  "SkeletalCategoryOfFiniteSetsWithMorphismsGivenByListsPrecompiled";;[127X[104X
+    [4X[25X>[125X [27X  "SkeletalCategoryOfFiniteSetsWithMorphismsGivenByLists_precompiled";;[127X[104X
     [4X[25Xgap>[125X [27Xpackage_name := "FinSetsForCAP";;[127X[104X
     [4X[25Xgap>[125X [27Xprimitive_operations :=[127X[104X
     [4X[25X>[125X [27X  ListPrimitivelyInstalledOperationsOfCategory([127X[104X
@@ -46,7 +46,7 @@
     [4X[25X>[125X [27X        number_of_objectified_objects_in_data_structure_of_morphism := 2,[127X[104X
     [4X[25X>[125X [27X        number_of_objectified_morphisms_in_data_structure_of_morphism := 1[127X[104X
     [4X[25X>[125X [27X);;[127X[104X
-    [4X[25Xgap>[125X [27XSkeletalCategoryOfFiniteSetsWithMorphismsGivenByListsPrecompiled( );[127X[104X
+    [4X[25Xgap>[125X [27XSkeletalCategoryOfFiniteSetsWithMorphismsGivenByLists_precompiled( );[127X[104X
     [4X[28XSkeletalFinSets[128X[104X
     [4X[25Xgap>[125X [27Xcat := SkeletalCategoryOfFiniteSets( );[127X[104X
     [4X[28XSkeletalFinSets[128X[104X

diff --git a/doc/chap3_mj.html b/doc/chap3_mj.html
@@ -6,7 +6,7 @@
 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
 <head>
 <script type="text/javascript"
-  src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
+  src="https://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
 </script>
 <title>GAP (FinSetsForCAP) - Chapter 3: Precompilation</title>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8" />
@@ -51,7 +51,7 @@ <h4>3.1 <span class="Heading">Precompiling the category of skeletal finite sets<
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">category_constructor := {} -&gt; SkeletalCategoryOfFiniteSets( );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">given_arguments := [ ];;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">compiled_category_name :=</span>
-<span class="GAPprompt">&gt;</span> <span class="GAPinput">  "SkeletalCategoryOfFiniteSetsWithMorphismsGivenByListsPrecompiled";;</span>
+<span class="GAPprompt">&gt;</span> <span class="GAPinput">  "SkeletalCategoryOfFiniteSetsWithMorphismsGivenByLists_precompiled";;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">package_name := "FinSetsForCAP";;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">primitive_operations :=</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">  ListPrimitivelyInstalledOperationsOfCategory(</span>
@@ -82,7 +82,7 @@ <h4>3.1 <span class="Heading">Precompiling the category of skeletal finite sets<
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">        number_of_objectified_objects_in_data_structure_of_morphism := 2,</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">        number_of_objectified_morphisms_in_data_structure_of_morphism := 1</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">);;</span>
-<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">SkeletalCategoryOfFiniteSetsWithMorphismsGivenByListsPrecompiled( );</span>
+<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">SkeletalCategoryOfFiniteSetsWithMorphismsGivenByLists_precompiled( );</span>
 SkeletalFinSets
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">cat := SkeletalCategoryOfFiniteSets( );</span>
 SkeletalFinSets
@@ -165,6 +165,6 @@ <h4>3.2 <span class="Heading">Precompiling ProjectionInFactorOfBinaryDirectProdu
 <div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a>  <a href="chap1_mj.html">1</a>  <a href="chap2_mj.html">2</a>  <a href="chap3_mj.html">3</a>  <a href="chapInd_mj.html">Ind</a>  </div>
 
 <hr />
-<p class="foot">generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
+<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
 </body>
 </html>
diff --git a/doc/chapInd.html b/doc/chapInd.html
@@ -84,6 +84,6 @@ <h3>Index</h3>
 <div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a>  <a href="chap1.html">1</a>  <a href="chap2.html">2</a>  <a href="chap3.html">3</a>  <a href="chapInd.html">Ind</a>  </div>
 
 <hr />
-<p class="foot">generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
+<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
 </body>
 </html>
diff --git a/doc/chapInd_mj.html b/doc/chapInd_mj.html
@@ -6,7 +6,7 @@
 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
 <head>
 <script type="text/javascript"
-  src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
+  src="https://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
 </script>
 <title>GAP (FinSetsForCAP) - Index</title>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8" />
@@ -87,6 +87,6 @@ <h3>Index</h3>
 <div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a>  <a href="chap1_mj.html">1</a>  <a href="chap2_mj.html">2</a>  <a href="chap3_mj.html">3</a>  <a href="chapInd_mj.html">Ind</a>  </div>
 
 <hr />
-<p class="foot">generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
+<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
 </body>
 </html>