Update website for CAP 2024.10-04

homalg-project · Oct 10, 2024 · 0a3dfb5 · 0a3dfb5
1 parent b3d46ac
commit 0a3dfb5
Show file tree

Hide file tree

Showing 11 changed files with 34 additions and 34 deletions.
diff --git a/CAP/PackageInfo.g b/CAP/PackageInfo.g
@@ -10,8 +10,8 @@ SetPackageInfo( rec(
 
 PackageName := "CAP",
 Subtitle := "Categories, Algorithms, Programming",
-Version := "2024.10-03",
-Date := "2024-10-09",
+Version := "2024.10-04",
+Date := "2024-10-10",
 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>
-    2024.10-03</p>
+    2024.10-04</p>
 
 <p>
-    9 October 2024
+    10 October 2024
   </p>
 
 </div>
@@ -1121,7 +1121,7 @@ <h3>Contents<a id="contents" name="contents"></a></h3>
 </span>
 <div class="ContSSBlock">
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8.html#X8445F6F187784DF1">8.2-1 IsDerivedMethod</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8.html#X870C435486E0CA6C">8.2-2 CreateDerivation</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8.html#X7A90E47C7D0EE8F4">8.2-2 CreateDerivation</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8.html#X87FAA68185CE87A4">8.2-3 Description</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8.html#X7FB3A67D81A47B14">8.2-4 AdditionalWeight</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8.html#X7CBD06FC8461DCA9">8.2-5 DerivationFunction</a></span>

diff --git a/CAP/doc/chap0.txt b/CAP/doc/chap0.txt
@@ -6,10 +6,10 @@
                      [1X Categories, Algorithms, Programming [101X
 
 
-                                   2024.10-03
+                                   2024.10-04
 
 
-                                 9 October 2024
+                                10 October 2024
 
 
                                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>
-    2024.10-03</p>
+    2024.10-04</p>
 
 <p>
-    9 October 2024
+    10 October 2024
   </p>
 
 </div>
@@ -1124,7 +1124,7 @@ <h3>Contents<a id="contents" name="contents"></a></h3>
 </span>
 <div class="ContSSBlock">
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8_mj.html#X8445F6F187784DF1">8.2-1 IsDerivedMethod</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8_mj.html#X870C435486E0CA6C">8.2-2 CreateDerivation</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8_mj.html#X7A90E47C7D0EE8F4">8.2-2 CreateDerivation</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8_mj.html#X87FAA68185CE87A4">8.2-3 Description</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8_mj.html#X7FB3A67D81A47B14">8.2-4 AdditionalWeight</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8_mj.html#X7CBD06FC8461DCA9">8.2-5 DerivationFunction</a></span>

diff --git a/CAP/doc/chap8.html b/CAP/doc/chap8.html
@@ -33,7 +33,7 @@
 </span>
 <div class="ContSSBlock">
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8.html#X8445F6F187784DF1">8.2-1 IsDerivedMethod</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8.html#X870C435486E0CA6C">8.2-2 CreateDerivation</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8.html#X7A90E47C7D0EE8F4">8.2-2 CreateDerivation</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8.html#X87FAA68185CE87A4">8.2-3 Description</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8.html#X7FB3A67D81A47B14">8.2-4 AdditionalWeight</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8.html#X7CBD06FC8461DCA9">8.2-5 DerivationFunction</a></span>
@@ -112,11 +112,11 @@ <h5>8.2-1 IsDerivedMethod</h5>
 
 <p>A derivation object describes a derived method. It contains information about which operation the derived method implements, and which other operations it relies on.</p>
 
-<p><a id="X870C435486E0CA6C" name="X870C435486E0CA6C"></a></p>
+<p><a id="X7A90E47C7D0EE8F4" name="X7A90E47C7D0EE8F4"></a></p>
 
 <h5>8.2-2 CreateDerivation</h5>
 
-<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#8227; CreateDerivation</code>( <var class="Arg">target_op_name</var>, <var class="Arg">description</var>, <var class="Arg">used_ops_with_multiples</var>, <var class="Arg">func</var>, <var class="Arg">weight</var>, <var class="Arg">category_filter</var> )</td><td class="tdright">(&nbsp;operation&nbsp;)</td></tr></table></div>
+<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#8227; CreateDerivation</code>( <var class="Arg">target_op_name</var>, <var class="Arg">description</var>, <var class="Arg">used_ops_with_multiples</var>, <var class="Arg">func</var>, <var class="Arg">weight</var>, <var class="Arg">category_filter</var>, <var class="Arg">loop_multiplier</var>, <var class="Arg">category_getters</var> )</td><td class="tdright">(&nbsp;function&nbsp;)</td></tr></table></div>
 <p>Creates a new derivation object. The argument <var class="Arg">target_op_name</var> is the name of the operation which the derived method implements. The argument <var class="Arg">description</var> should describe the derivation. The argument <var class="Arg">used_ops_with_multiples</var> contains</p>
 
 
@@ -318,7 +318,7 @@ <h5>8.4-7 DerivationOfOperation</h5>
 <h5>8.4-8 TriggerDerivationsUsingOperation</h5>
 
 <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#8227; TriggerDerivationsUsingOperation</code>( <var class="Arg">owl</var>, <var class="Arg">op_name</var> )</td><td class="tdright">(&nbsp;operation&nbsp;)</td></tr></table></div>
-<p>Performs a search from the operation <var class="Arg">op_name</var>, and triggers all derivations that give improvements over the current state. This is used internally by <code class="code">TriggerAllDerivations</code> and <code class="code">Reevaluate</code>. It should normally not be necessary to call this function directly.</p>
+<p>Performs a search from the operation <var class="Arg">op_name</var>, and triggers all derivations that give improvements over the current state. This is used internally by <code class="code">InstallDerivations</code> and <code class="code">Reevaluate</code>. It should normally not be necessary to call this function directly.</p>
 
 <p><a id="X7E2279C47AFE3FAD" name="X7E2279C47AFE3FAD"></a></p>
 

diff --git a/CAP/doc/chap8.txt b/CAP/doc/chap8.txt
@@ -32,7 +32,7 @@
 
   [1X8.2-2 CreateDerivation[101X
 
-  [33X[1;0Y[29X[2XCreateDerivation[102X( [3Xtarget_op_name[103X, [3Xdescription[103X, [3Xused_ops_with_multiples[103X, [3Xfunc[103X, [3Xweight[103X, [3Xcategory_filter[103X ) [32X operation[133X
+  [33X[1;0Y[29X[2XCreateDerivation[102X( [3Xtarget_op_name[103X, [3Xdescription[103X, [3Xused_ops_with_multiples[103X, [3Xfunc[103X, [3Xweight[103X, [3Xcategory_filter[103X, [3Xloop_multiplier[103X, [3Xcategory_getters[103X ) [32X function[133X
 
   [33X[0;0YCreates  a new derivation object. The argument [3Xtarget_op_name[103X is the name of
   the  operation which the derived method implements. The argument [3Xdescription[103X
@@ -254,7 +254,7 @@
 
   [33X[0;0YPerforms  a  search from the operation [3Xop_name[103X, and triggers all derivations
   that  give  improvements  over the current state. This is used internally by
-  [10XTriggerAllDerivations[110X and [10XReevaluate[110X. It should normally not be necessary to
+  [10XInstallDerivations[110X  and  [10XReevaluate[110X.  It should normally not be necessary to
   call this function directly.[133X
 
   [1X8.4-9 Reevaluate[101X

diff --git a/CAP/doc/chap8_mj.html b/CAP/doc/chap8_mj.html
@@ -36,7 +36,7 @@
 </span>
 <div class="ContSSBlock">
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8_mj.html#X8445F6F187784DF1">8.2-1 IsDerivedMethod</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8_mj.html#X870C435486E0CA6C">8.2-2 CreateDerivation</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8_mj.html#X7A90E47C7D0EE8F4">8.2-2 CreateDerivation</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8_mj.html#X87FAA68185CE87A4">8.2-3 Description</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8_mj.html#X7FB3A67D81A47B14">8.2-4 AdditionalWeight</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8_mj.html#X7CBD06FC8461DCA9">8.2-5 DerivationFunction</a></span>
@@ -115,11 +115,11 @@ <h5>8.2-1 IsDerivedMethod</h5>
 
 <p>A derivation object describes a derived method. It contains information about which operation the derived method implements, and which other operations it relies on.</p>
 
-<p><a id="X870C435486E0CA6C" name="X870C435486E0CA6C"></a></p>
+<p><a id="X7A90E47C7D0EE8F4" name="X7A90E47C7D0EE8F4"></a></p>
 
 <h5>8.2-2 CreateDerivation</h5>
 
-<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#8227; CreateDerivation</code>( <var class="Arg">target_op_name</var>, <var class="Arg">description</var>, <var class="Arg">used_ops_with_multiples</var>, <var class="Arg">func</var>, <var class="Arg">weight</var>, <var class="Arg">category_filter</var> )</td><td class="tdright">(&nbsp;operation&nbsp;)</td></tr></table></div>
+<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#8227; CreateDerivation</code>( <var class="Arg">target_op_name</var>, <var class="Arg">description</var>, <var class="Arg">used_ops_with_multiples</var>, <var class="Arg">func</var>, <var class="Arg">weight</var>, <var class="Arg">category_filter</var>, <var class="Arg">loop_multiplier</var>, <var class="Arg">category_getters</var> )</td><td class="tdright">(&nbsp;function&nbsp;)</td></tr></table></div>
 <p>Creates a new derivation object. The argument <var class="Arg">target_op_name</var> is the name of the operation which the derived method implements. The argument <var class="Arg">description</var> should describe the derivation. The argument <var class="Arg">used_ops_with_multiples</var> contains</p>
 
 
@@ -321,7 +321,7 @@ <h5>8.4-7 DerivationOfOperation</h5>
 <h5>8.4-8 TriggerDerivationsUsingOperation</h5>
 
 <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#8227; TriggerDerivationsUsingOperation</code>( <var class="Arg">owl</var>, <var class="Arg">op_name</var> )</td><td class="tdright">(&nbsp;operation&nbsp;)</td></tr></table></div>
-<p>Performs a search from the operation <var class="Arg">op_name</var>, and triggers all derivations that give improvements over the current state. This is used internally by <code class="code">TriggerAllDerivations</code> and <code class="code">Reevaluate</code>. It should normally not be necessary to call this function directly.</p>
+<p>Performs a search from the operation <var class="Arg">op_name</var>, and triggers all derivations that give improvements over the current state. This is used internally by <code class="code">InstallDerivations</code> and <code class="code">Reevaluate</code>. It should normally not be necessary to call this function directly.</p>
 
 <p><a id="X7E2279C47AFE3FAD" name="X7E2279C47AFE3FAD"></a></p>
 

diff --git a/CAP/doc/chapInd.html b/CAP/doc/chapInd.html
@@ -721,7 +721,7 @@ <h3>Index</h3>
 <code class="func">CreateCapCategoryObjectWithAttributes</code>  <a href="chap2.html#X87BD8BB88206D940">2.2-3</a>  <br />
 <code class="func">CreateCapCategoryTwoCellWithAttributes</code>  <a href="chap4.html#X7B449CCB7C8050A3">4.2-3</a>  <br />
 <code class="func">CreateCapCategoryWithDataTypes</code>  <a href="chap1.html#X8090078F7C5EF5E9">1.3-4</a>  <br />
-<code class="func">CreateDerivation</code>, for IsString, IsString, IsDenseList, IsFunction, IsPosInt, IsFunction  <a href="chap8.html#X870C435486E0CA6C">8.2-2</a>  <br />
+<code class="func">CreateDerivation</code>  <a href="chap8.html#X7A90E47C7D0EE8F4">8.2-2</a>  <br />
 <code class="func">CreateGapObjectWithAttributes</code>  <a href="chap9.html#X81386B5D7CE25406">9.2-55</a>  <br />
 <code class="func">CurrentOperationWeight</code>, for IsOperationWeightList, IsString  <a href="chap8.html#X7BE16AB2849D0107">8.4-5</a>  <br />
 <code class="func">DeactivateCachingOfCategory</code>  <a href="chap1.html#X87AA14F27892F14F">1.9-2</a>  <br />

diff --git a/CAP/doc/chapInd.txt b/CAP/doc/chapInd.txt
@@ -698,7 +698,7 @@
   [2XCreateCapCategoryObjectWithAttributes[102X 2.2-3 
   [2XCreateCapCategoryTwoCellWithAttributes[102X 4.2-3 
   [2XCreateCapCategoryWithDataTypes[102X 1.3-4 
-  [2XCreateDerivation[102X, for IsString, IsString, IsDenseList, IsFunction, IsPosInt, IsFunction 8.2-2 
+  [2XCreateDerivation[102X 8.2-2 
   [2XCreateGapObjectWithAttributes[102X 9.2-55 
   [2XCurrentOperationWeight[102X, for IsOperationWeightList, IsString 8.4-5 
   [2XDeactivateCachingOfCategory[102X 1.9-2 

diff --git a/CAP/doc/chapInd_mj.html b/CAP/doc/chapInd_mj.html
@@ -724,7 +724,7 @@ <h3>Index</h3>
 <code class="func">CreateCapCategoryObjectWithAttributes</code>  <a href="chap2_mj.html#X87BD8BB88206D940">2.2-3</a>  <br />
 <code class="func">CreateCapCategoryTwoCellWithAttributes</code>  <a href="chap4_mj.html#X7B449CCB7C8050A3">4.2-3</a>  <br />
 <code class="func">CreateCapCategoryWithDataTypes</code>  <a href="chap1_mj.html#X8090078F7C5EF5E9">1.3-4</a>  <br />
-<code class="func">CreateDerivation</code>, for IsString, IsString, IsDenseList, IsFunction, IsPosInt, IsFunction  <a href="chap8_mj.html#X870C435486E0CA6C">8.2-2</a>  <br />
+<code class="func">CreateDerivation</code>  <a href="chap8_mj.html#X7A90E47C7D0EE8F4">8.2-2</a>  <br />
 <code class="func">CreateGapObjectWithAttributes</code>  <a href="chap9_mj.html#X81386B5D7CE25406">9.2-55</a>  <br />
 <code class="func">CurrentOperationWeight</code>, for IsOperationWeightList, IsString  <a href="chap8_mj.html#X7BE16AB2849D0107">8.4-5</a>  <br />
 <code class="func">DeactivateCachingOfCategory</code>  <a href="chap1_mj.html#X87AA14F27892F14F">1.9-2</a>  <br />

diff --git a/_data/CAP.yml b/_data/CAP.yml
@@ -1,7 +1,7 @@
 name: CAP
-version: "2024.10-03"
+version: "2024.10-04"
 license: "GPL-2.0-or-later"
-date: 2024-10-09
+date: 2024-10-10
 description: |
     Categories, Algorithms, Programming
 
@@ -46,11 +46,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-2024.10-03/CAP-2024.10-03.tar.gz
+      url: https://github.com/homalg-project/CAP_project/releases/download/CAP-2024.10-04/CAP-2024.10-04.tar.gz
     - name: .zip
-      url: https://github.com/homalg-project/CAP_project/releases/download/CAP-2024.10-03/CAP-2024.10-03.zip
+      url: https://github.com/homalg-project/CAP_project/releases/download/CAP-2024.10-04/CAP-2024.10-04.zip
 
-pdf: https://github.com/homalg-project/CAP_project/releases/download/CAP-2024.10-03/CAP-2024.10-03-manual.pdf
+pdf: https://github.com/homalg-project/CAP_project/releases/download/CAP-2024.10-04/CAP-2024.10-04-manual.pdf
 
 abstract: |
     <span class="pkgname">CAP</span> (Categories, Algorithms, Programming) is a package for category theory.
@@ -62,10 +62,10 @@ doc-html: doc/chap0.html
 doc-pdf: doc/manual.pdf
 citeas: |
     <p class='BibEntry'>
-    [<span class='BibKey'>GPSZ09</span>]   <b class='BibAuthor'>Gutsche, S., Posur, S., Skartsæterhagen, Ø. and Zickgraf, F.</b>,
+    [<span class='BibKey'>GPSZ10</span>]   <b class='BibAuthor'>Gutsche, S., Posur, S., Skartsæterhagen, Ø. and Zickgraf, F.</b>,
      <i class='BibTitle'>CAP, Categories, Algorithms, Programming,
-             Version 2024.10-03</i>
-     (<span class='BibYear'>0-09</span>)<br />
+             Version 2024.10-04</i>
+     (<span class='BibYear'>0-10</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>
@@ -76,13 +76,13 @@ bibtex: |
       author =           {Gutsche,  S.  and  Posur,  S. and Skarts{\ae}terhagen,
                           {\O}. and Zickgraf, F.},
       title =            {{CAP},  Categories, Algorithms, Programming, {V}ersion
-                          2024.10\texttt{\symbol{45}}03},
+                          2024.10\texttt{\symbol{45}}04},
       month =            {4\texttt{\symbol{45}}},
-      year =             {0\texttt{\symbol{45}}09},
+      year =             {0\texttt{\symbol{45}}10},
       note =             {GAP package},
       howpublished =     {\href       {https://homalg-project.github.io/pkg/CAP}
                           {\texttt{https://homalg\texttt{\symbol{45}}project.github.io/}\discretionary
                           {}{}{}\texttt{pkg/}\discretionary {}{}{}\texttt{CAP}}},
-      printedkey =       {GPSZ09}
+      printedkey =       {GPSZ10}
     }