Update website for CAP 2023.10-07

homalg-project · Oct 19, 2023 · dc8c0a9 · dc8c0a9
1 parent 976a65d
commit dc8c0a9
Show file tree

Hide file tree

Showing 8 changed files with 26 additions and 26 deletions.
diff --git a/CAP/PackageInfo.g b/CAP/PackageInfo.g
@@ -10,8 +10,8 @@ SetPackageInfo( rec(
 
 PackageName := "CAP",
 Subtitle := "Categories, Algorithms, Programming",
-Version := "2023.10-06",
-Date := "2023-10-10",
+Version := "2023.10-07",
+Date := "2023-10-20",
 License := "GPL-2.0-or-later",
 
 Persons := [

diff --git a/CAP/doc/chap0.html b/CAP/doc/chap0.html
@@ -29,10 +29,10 @@ <h1>CAP</h1>
 <h2>Categories, Algorithms, Programming</h2>
 
 <p>
-    2023.10-06</p>
+    2023.10-07</p>
 
 <p>
-    10 October 2023
+    20 October 2023
   </p>
 
 </div>

diff --git a/CAP/doc/chap0.txt b/CAP/doc/chap0.txt
@@ -6,10 +6,10 @@
                      [1X Categories, Algorithms, Programming [101X
 
 
-                                   2023.10-06
+                                   2023.10-07
 
 
-                                10 October 2023
+                                20 October 2023
 
 
                                Sebastian Gutsche

diff --git a/CAP/doc/chap0_mj.html b/CAP/doc/chap0_mj.html
@@ -32,10 +32,10 @@ <h1>CAP</h1>
 <h2>Categories, Algorithms, Programming</h2>
 
 <p>
-    2023.10-06</p>
+    2023.10-07</p>
 
 <p>
-    10 October 2023
+    20 October 2023
   </p>
 
 </div>

diff --git a/CAP/doc/chap15.html b/CAP/doc/chap15.html
@@ -721,7 +721,7 @@ <h4>15.11 <span class="Heading">Terminal category</span></h4>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( T );</span>
 A CAP category with name TerminalCategoryWithMultipleObjects( ):
 
-65 primitive operations were used to derive 309 operations for this category \
+65 primitive operations were used to derive 311 operations for this category \
 which algorithmically
 * IsCategoryWithDecidableColifts
 * IsCategoryWithDecidableLifts
@@ -878,7 +878,7 @@ <h4>15.11 <span class="Heading">Terminal category</span></h4>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( T );</span>
 A CAP category with name TerminalCategoryWithSingleObject( ):
 
-63 primitive operations were used to derive 309 operations for this category \
+63 primitive operations were used to derive 311 operations for this category \
 which algorithmically
 * IsCategoryWithDecidableColifts
 * IsCategoryWithDecidableLifts

diff --git a/CAP/doc/chap15.txt b/CAP/doc/chap15.txt
@@ -637,7 +637,7 @@
     [4X[25Xgap>[125X [27XDisplay( T );[127X[104X
     [4X[28XA CAP category with name TerminalCategoryWithMultipleObjects( ):[128X[104X
     [4X[28X[128X[104X
-    [4X[28X65 primitive operations were used to derive 309 operations for this category \[128X[104X
+    [4X[28X65 primitive operations were used to derive 311 operations for this category \[128X[104X
     [4X[28Xwhich algorithmically[128X[104X
     [4X[28X* IsCategoryWithDecidableColifts[128X[104X
     [4X[28X* IsCategoryWithDecidableLifts[128X[104X
@@ -793,7 +793,7 @@
     [4X[25Xgap>[125X [27XDisplay( T );[127X[104X
     [4X[28XA CAP category with name TerminalCategoryWithSingleObject( ):[128X[104X
     [4X[28X[128X[104X
-    [4X[28X63 primitive operations were used to derive 309 operations for this category \[128X[104X
+    [4X[28X63 primitive operations were used to derive 311 operations for this category \[128X[104X
     [4X[28Xwhich algorithmically[128X[104X
     [4X[28X* IsCategoryWithDecidableColifts[128X[104X
     [4X[28X* IsCategoryWithDecidableLifts[128X[104X

diff --git a/CAP/doc/chap15_mj.html b/CAP/doc/chap15_mj.html
@@ -724,7 +724,7 @@ <h4>15.11 <span class="Heading">Terminal category</span></h4>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( T );</span>
 A CAP category with name TerminalCategoryWithMultipleObjects( ):
 
-65 primitive operations were used to derive 309 operations for this category \
+65 primitive operations were used to derive 311 operations for this category \
 which algorithmically
 * IsCategoryWithDecidableColifts
 * IsCategoryWithDecidableLifts
@@ -881,7 +881,7 @@ <h4>15.11 <span class="Heading">Terminal category</span></h4>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( T );</span>
 A CAP category with name TerminalCategoryWithSingleObject( ):
 
-63 primitive operations were used to derive 309 operations for this category \
+63 primitive operations were used to derive 311 operations for this category \
 which algorithmically
 * IsCategoryWithDecidableColifts
 * IsCategoryWithDecidableLifts

diff --git a/_data/CAP.yml b/_data/CAP.yml
@@ -1,7 +1,7 @@
 name: CAP
-version: "2023.10-06"
+version: "2023.10-07"
 license: "GPL-2.0-or-later"
-date: 2023-10-10
+date: 2023-10-20
 description: |
     Categories, Algorithms, Programming
 
@@ -42,11 +42,11 @@ packageinfo: https://homalg-project.github.io/CAP_project/CAP/PackageInfo.g
 
 downloads:
     - name: .tar.gz
-      url: https://github.com/homalg-project/CAP_project/releases/download/CAP-2023.10-06/CAP-2023.10-06.tar.gz
+      url: https://github.com/homalg-project/CAP_project/releases/download/CAP-2023.10-07/CAP-2023.10-07.tar.gz
     - name: .zip
-      url: https://github.com/homalg-project/CAP_project/releases/download/CAP-2023.10-06/CAP-2023.10-06.zip
+      url: https://github.com/homalg-project/CAP_project/releases/download/CAP-2023.10-07/CAP-2023.10-07.zip
 
-pdf: https://github.com/homalg-project/CAP_project/releases/download/CAP-2023.10-06/CAP-2023.10-06-manual.pdf
+pdf: https://github.com/homalg-project/CAP_project/releases/download/CAP-2023.10-07/CAP-2023.10-07-manual.pdf
 
 abstract: |
     <span class="pkgname">CAP</span> (Categories, Algorithms, Programming) is a package for category theory.
@@ -58,27 +58,27 @@ doc-html: doc/chap0.html
 doc-pdf: doc/manual.pdf
 citeas: |
     <p class='BibEntry'>
-    [<span class='BibKey'>GPS10</span>]   <b class='BibAuthor'>Gutsche, S., Posur, S. and Skartsæterhagen, Ø.</b>,
+    [<span class='BibKey'>GPS20</span>]   <b class='BibAuthor'>Gutsche, S., Posur, S. and Skartsæterhagen, Ø.</b>,
      <i class='BibTitle'>CAP, Categories, Algorithms, Programming,
-             Version 2023.10-06</i>
-     (<span class='BibYear'>0-10</span>)<br />
+             Version 2023.10-07</i>
+     (<span class='BibYear'>0-20</span>)<br />
     (<span class='BibNote'>GAP package</span>),
     <span class='BibHowpublished'><a href="https://homalg-project.github.io/pkg/CAP">https://homalg-project.github.io/pkg/CAP</a></span>.
     </p>
     
 
 bibtex: |
-    @misc{ CAP2023.10-06,
+    @misc{ CAP2023.10-07,
       author =           {Gutsche,  S.  and  Posur,  S. and Skarts{\ae}terhagen,
                           {\O}.},
       title =            {{CAP},  Categories, Algorithms, Programming, {V}ersion
-                          2023.10-06},
+                          2023.10-07},
       month =            {3-},
-      year =             {0-10},
+      year =             {0-20},
       note =             {GAP package},
       howpublished =     {\href       {https://homalg-project.github.io/pkg/CAP}
                           {\texttt{https://homalg-project.github.io/}\discretionary
                           {}{}{}\texttt{pkg/}\discretionary {}{}{}\texttt{CAP}}},
-      printedkey =       {GPS10}
+      printedkey =       {GPS20}
     }