Update website for Semigroups 5.3.7

PackageInfo.g

@@ -34,8 +34,8 @@ _STANDREWSCS := Concatenation(["Jack Cole Building, North Haugh, ",
 SetPackageInfo(rec(
 PackageName := "Semigroups",
 Subtitle := "A package for semigroups and monoids",
-Version := "5.3.6",
-Date := "19/02/2024",  # dd/mm/yyyy format
+Version := "5.3.7",
+Date := "11/03/2024",  # dd/mm/yyyy format
 License := "GPL-3.0-or-later",
 
 ArchiveFormats := ".tar.gz",
@@ -114,10 +114,10 @@ Persons := [
 
   rec(
     LastName      := "Edwards",
-    FirstNames    := "Joe",
+    FirstNames    := "Joseph",
     IsAuthor      := true,
     IsMaintainer  := false,
-    Email         := "je53@st-andrews.ac.uk",
+    Email         := "jde1@st-andrews.ac.uk",
     PostalAddress := _STANDREWSMATHS,
     Place         := "St Andrews",
     Institution   := "University of St Andrews",

_data/package.yml

@@ -1,6 +1,6 @@
 name: Semigroups
-version: 5.3.6
-date: 2024-02-19
+version: 5.3.7
+date: 2024-03-11
 description: |
     A package for semigroups and monoids
 
@@ -17,7 +17,7 @@ authors:
       url: https://reinisc.id.lv/
     - name: Tom Conti-Leslie
       url: https://tomcontileslie.com/
-    - name: Joe Edwards
+    - name: Joseph Edwards
       url: https://github.com/Joseph-Edwards
     - name: Attila Egri-Nagy
       url: http://www.egri-nagy.hu
@@ -109,7 +109,7 @@ packageinfo: https://semigroups.github.io/Semigroups/PackageInfo.g
 
 downloads:
     - name: .tar.gz
-      url: https://github.com/semigroups/Semigroups/releases/download/v5.3.6/semigroups-5.3.6.tar.gz
+      url: https://github.com/semigroups/Semigroups/releases/download/v5.3.7/semigroups-5.3.7.tar.gz
 
 abstract: |
     

doc/chap0.html

@@ -29,10 +29,10 @@ <h1>Semigroups</h1>
 <h2>A package for semigroups and monoids</h2>
 
 <p>
-    5.3.6</p>
+    5.3.7</p>
 
 <p>
-    19 February 2024
+    11 March 2024
   </p>
 
 </div>
@@ -91,13 +91,13 @@ <h2>A package for semigroups and monoids</h2>
 <br />Email: <span class="URL"><a href="mailto:[email protected]">[email protected]</a></span>
 <br />Homepage: <span class="URL"><a href="https://tomcontileslie.com/">https://tomcontileslie.com/</a></span>
 </p><p><b>
-    Joe Edwards
+    Joseph Edwards
 
 
 
 
   </b>
-<br />Email: <span class="URL"><a href="mailto:je53@st-andrews.ac.uk">je53@st-andrews.ac.uk</a></span>
+<br />Email: <span class="URL"><a href="mailto:jde1@st-andrews.ac.uk">jde1@st-andrews.ac.uk</a></span>
 <br />Homepage: <span class="URL"><a href="https://github.com/Joseph-Edwards">https://github.com/Joseph-Edwards</a></span>
 <br />Address: <br />Mathematical Institute, North Haugh, St Andrews, Fife, KY16 9SS, Scotland<br />
 </p><p><b>

doc/chap0.txt

@@ -6,10 +6,10 @@
                       A package for semigroups and monoids 
 
 
-                                     5.3.6
+                                     5.3.7
 
 
-                                19 February 2024
+                                 11 March 2024
 
 
                                  James Mitchell
@@ -24,7 +24,7 @@
 
                                 Tom Conti-Leslie
 
-                                  Joe Edwards
+                                 Joseph Edwards
 
                                 Attila Egri-Nagy
 
@@ -108,8 +108,8 @@
   Tom Conti-Leslie
       Email:    mailto:[email protected]
       Homepage: https://tomcontileslie.com/
-  Joe Edwards
-      Email:    mailto:je53@st-andrews.ac.uk
+  Joseph Edwards
+      Email:    mailto:jde1@st-andrews.ac.uk
       Homepage: https://github.com/Joseph-Edwards
       Address:  Mathematical  Institute,  North  Haugh, St Andrews, Fife, KY16
                 9SS, Scotland

doc/chap0_mj.html

@@ -32,10 +32,10 @@ <h1>Semigroups</h1>
 <h2>A package for semigroups and monoids</h2>
 
 <p>
-    5.3.6</p>
+    5.3.7</p>
 
 <p>
-    19 February 2024
+    11 March 2024
   </p>
 
 </div>
@@ -94,13 +94,13 @@ <h2>A package for semigroups and monoids</h2>
 <br />Email: <span class="URL"><a href="mailto:[email protected]">[email protected]</a></span>
 <br />Homepage: <span class="URL"><a href="https://tomcontileslie.com/">https://tomcontileslie.com/</a></span>
 </p><p><b>
-    Joe Edwards
+    Joseph Edwards
 
 
 
 
   </b>
-<br />Email: <span class="URL"><a href="mailto:je53@st-andrews.ac.uk">je53@st-andrews.ac.uk</a></span>
+<br />Email: <span class="URL"><a href="mailto:jde1@st-andrews.ac.uk">jde1@st-andrews.ac.uk</a></span>
 <br />Homepage: <span class="URL"><a href="https://github.com/Joseph-Edwards">https://github.com/Joseph-Edwards</a></span>
 <br />Address: <br />Mathematical Institute, North Haugh, St Andrews, Fife, KY16 9SS, Scotland<br />
 </p><p><b>

doc/chap1.html

@@ -48,7 +48,7 @@ <h4>1.1 <span class="Heading">
       Introduction
     </span></h4>
 
-<p>This is the manual for the <strong class="pkg">Semigroups</strong> package for <strong class="pkg">GAP</strong> version 5.3.6. <strong class="pkg">Semigroups</strong> 5.3.6 is a distant descendant of the <span class="URL"><a href=" http://schmidt.nuigalway.ie/monoid/index.html">Monoid package for GAP 3</a></span> by Goetz Pfeiffer, Steve A. Linton, Edmund F. Robertson, and Nik Ruskuc.</p>
+<p>This is the manual for the <strong class="pkg">Semigroups</strong> package for <strong class="pkg">GAP</strong> version 5.3.7. <strong class="pkg">Semigroups</strong> 5.3.7 is a distant descendant of the <span class="URL"><a href=" http://schmidt.nuigalway.ie/monoid/index.html">Monoid package for GAP 3</a></span> by Goetz Pfeiffer, Steve A. Linton, Edmund F. Robertson, and Nik Ruskuc.</p>
 
 <p>From Version 3.0.0, <strong class="pkg">Semigroups</strong> includes a copy of the <span class="URL"><a href="https://libsemigroups.readthedocs.io/en/latest/">libsemigroups</a></span> C++ library which contains implementations of the Froidure-Pin, Todd-Coxeter, and Knuth-Bendix algorithms (among others) that <strong class="pkg">Semigroups</strong> utilises.</p>
 

doc/chap1.txt

@@ -4,8 +4,8 @@
 
   1.1 Introduction
 
-  This  is  the  manual  for  the  Semigroups  package  for GAP version 5.3.6.
-  Semigroups  5.3.6  is  a  distant descendant of the Monoid package for GAP 3
+  This  is  the  manual  for  the  Semigroups  package  for GAP version 5.3.7.
+  Semigroups  5.3.7  is  a  distant descendant of the Monoid package for GAP 3
   (http://schmidt.nuigalway.ie/monoid/index.html)  by Goetz Pfeiffer, Steve A.
   Linton, Edmund F. Robertson, and Nik Ruskuc.
 

doc/chap11.html

@@ -2064,7 +2064,7 @@ <h5>11.14-9 VagnerPrestonRepresentation</h5>
 <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#8227; VagnerPrestonRepresentation</code>( <var class="Arg">S</var> )</td><td class="tdright">(&nbsp;attribute&nbsp;)</td></tr></table></div>
 <p>Returns: An isomorphism to an inverse semigroup of partial permutations.</p>
 
-<p><code class="code">VagnerPrestonRepresentation</code> returns an isomorphism from an inverse semigroup <var class="Arg">S</var> where the elements of <var class="Arg">S</var> have a unique semigroup inverse accessible via <code class="func">Inverse</code> (<a href="https://www.gap-system.org/Manuals/doc/ref/chap24_mj.html#X7899335779A39A95"><span class="RefLink">Reference: inverse</span></a>), to the inverse semigroup of partial permutations <var class="Arg">T</var> of degree equal to the size of <var class="Arg">S</var>, which is obtained using the Vagner-Preston Representation Theorem.</p>
+<p><code class="code">VagnerPrestonRepresentation</code> returns an isomorphism from an inverse semigroup <var class="Arg">S</var> where the elements of <var class="Arg">S</var> have a unique semigroup inverse accessible via <code class="func">Inverse</code> (<a href="https://www.gap-system.org/Manuals/doc/ref/chap31_mj.html#X78EE524E83624057"><span class="RefLink">Reference: Inverse</span></a>), to the inverse semigroup of partial permutations <var class="Arg">T</var> of degree equal to the size of <var class="Arg">S</var>, which is obtained using the Vagner-Preston Representation Theorem.</p>
 
 <p>More precisely, if <span class="SimpleMath">f:S-&gt; T</span> is the isomorphism returned by <code class="code">VagnerPrestonRepresentation(<var class="Arg">S</var>)</code> and <span class="SimpleMath">x</span> is in <var class="Arg">S</var>, then <span class="SimpleMath">f(x)</span> is the partial permutation with domain <span class="SimpleMath">Sx^-1</span> and range <span class="SimpleMath">Sx^-1x</span> defined by <span class="SimpleMath">f(x): sx^-1↦ sx^-1x</span>.</p>
 

doc/chap11.txt

@@ -2020,7 +2020,7 @@
 
   VagnerPrestonRepresentation returns an isomorphism from an inverse semigroup
   S  where  the  elements  of S have a unique semigroup inverse accessible via
-  Inverse   (Reference:   inverse),   to  the  inverse  semigroup  of  partial
+  Inverse   (Reference:   Inverse),   to  the  inverse  semigroup  of  partial
   permutations T of degree equal to the size of S, which is obtained using the
   Vagner-Preston Representation Theorem.
 

doc/chap11_mj.html

@@ -2067,7 +2067,7 @@ <h5>11.14-9 VagnerPrestonRepresentation</h5>
 <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#8227; VagnerPrestonRepresentation</code>( <var class="Arg">S</var> )</td><td class="tdright">(&nbsp;attribute&nbsp;)</td></tr></table></div>
 <p>Returns: An isomorphism to an inverse semigroup of partial permutations.</p>
 
-<p><code class="code">VagnerPrestonRepresentation</code> returns an isomorphism from an inverse semigroup <var class="Arg">S</var> where the elements of <var class="Arg">S</var> have a unique semigroup inverse accessible via <code class="func">Inverse</code> (<a href="https://www.gap-system.org/Manuals/doc/ref/chap24_mj.html#X7899335779A39A95"><span class="RefLink">Reference: inverse</span></a>), to the inverse semigroup of partial permutations <var class="Arg">T</var> of degree equal to the size of <var class="Arg">S</var>, which is obtained using the Vagner-Preston Representation Theorem.</p>
+<p><code class="code">VagnerPrestonRepresentation</code> returns an isomorphism from an inverse semigroup <var class="Arg">S</var> where the elements of <var class="Arg">S</var> have a unique semigroup inverse accessible via <code class="func">Inverse</code> (<a href="https://www.gap-system.org/Manuals/doc/ref/chap31_mj.html#X78EE524E83624057"><span class="RefLink">Reference: Inverse</span></a>), to the inverse semigroup of partial permutations <var class="Arg">T</var> of degree equal to the size of <var class="Arg">S</var>, which is obtained using the Vagner-Preston Representation Theorem.</p>
 
 <p>More precisely, if <span class="SimpleMath">\(f:S\to T\)</span> is the isomorphism returned by <code class="code">VagnerPrestonRepresentation(<var class="Arg">S</var>)</code> and <span class="SimpleMath">\(x\)</span> is in <var class="Arg">S</var>, then <span class="SimpleMath">\(f(x)\)</span> is the partial permutation with domain <span class="SimpleMath">\(Sx^{-1}\)</span> and range <span class="SimpleMath">\(Sx^{-1}x\)</span> defined by <span class="SimpleMath">\(f(x): sx^{-1}\mapsto sx^{-1}x\)</span>.</p>
 

doc/chap16.html

@@ -144,7 +144,7 @@ <h5>16.1-3 DotSemilatticeOfIdempotents</h5>
 <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#8227; DotSemilatticeOfIdempotents</code>( <var class="Arg">S</var> )</td><td class="tdright">(&nbsp;attribute&nbsp;)</td></tr></table></div>
 <p>Returns: A string.</p>
 
-<p>This function produces a graphical representation of the semilattice of the idempotents of an inverse semigroup <var class="Arg">S</var> where the elements of <var class="Arg">S</var> have a unique semigroup inverse accessible via <code class="func">Inverse</code> (<a href="https://www.gap-system.org/Manuals/doc/ref/chap24_mj.html#X7899335779A39A95"><span class="RefLink">Reference: inverse</span></a>). The idempotents are grouped by the <em>D</em>-class they belong to.</p>
+<p>This function produces a graphical representation of the semilattice of the idempotents of an inverse semigroup <var class="Arg">S</var> where the elements of <var class="Arg">S</var> have a unique semigroup inverse accessible via <code class="func">Inverse</code> (<a href="https://www.gap-system.org/Manuals/doc/ref/chap31_mj.html#X78EE524E83624057"><span class="RefLink">Reference: Inverse</span></a>). The idempotents are grouped by the <em>D</em>-class they belong to.</p>
 
 <p>The output is in <code class="code">dot</code> format (also known as <code class="code">GraphViz</code>) format. For details about this file format, and information about how to display or edit this format see <span class="URL"><a href="https://www.graphviz.org">https://www.graphviz.org</a></span>.</p>
 

doc/chap16.txt

@@ -115,7 +115,7 @@
 
   This  function produces a graphical representation of the semilattice of the
   idempotents  of an inverse semigroup S where the elements of S have a unique
-  semigroup   inverse   accessible   via  Inverse  (Reference:  inverse).  The
+  semigroup   inverse   accessible   via  Inverse  (Reference:  Inverse).  The
   idempotents are grouped by the D-class they belong to.
 
   The  output  is  in  dot format (also known as GraphViz) format. For details

doc/chap16_mj.html

@@ -147,7 +147,7 @@ <h5>16.1-3 DotSemilatticeOfIdempotents</h5>
 <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#8227; DotSemilatticeOfIdempotents</code>( <var class="Arg">S</var> )</td><td class="tdright">(&nbsp;attribute&nbsp;)</td></tr></table></div>
 <p>Returns: A string.</p>
 
-<p>This function produces a graphical representation of the semilattice of the idempotents of an inverse semigroup <var class="Arg">S</var> where the elements of <var class="Arg">S</var> have a unique semigroup inverse accessible via <code class="func">Inverse</code> (<a href="https://www.gap-system.org/Manuals/doc/ref/chap24_mj.html#X7899335779A39A95"><span class="RefLink">Reference: inverse</span></a>). The idempotents are grouped by the \(\mathscr{D}\)-class they belong to.</p>
+<p>This function produces a graphical representation of the semilattice of the idempotents of an inverse semigroup <var class="Arg">S</var> where the elements of <var class="Arg">S</var> have a unique semigroup inverse accessible via <code class="func">Inverse</code> (<a href="https://www.gap-system.org/Manuals/doc/ref/chap31_mj.html#X78EE524E83624057"><span class="RefLink">Reference: Inverse</span></a>). The idempotents are grouped by the \(\mathscr{D}\)-class they belong to.</p>
 
 <p>The output is in <code class="code">dot</code> format (also known as <code class="code">GraphViz</code>) format. For details about this file format, and information about how to display or edit this format see <span class="URL"><a href="https://www.graphviz.org">https://www.graphviz.org</a></span>.</p>
 

doc/chap1_mj.html

@@ -51,7 +51,7 @@ <h4>1.1 <span class="Heading">
       Introduction
     </span></h4>
 
-<p>This is the manual for the <strong class="pkg">Semigroups</strong> package for <strong class="pkg">GAP</strong> version 5.3.6. <strong class="pkg">Semigroups</strong> 5.3.6 is a distant descendant of the <span class="URL"><a href=" http://schmidt.nuigalway.ie/monoid/index.html">Monoid package for GAP 3</a></span> by Goetz Pfeiffer, Steve A. Linton, Edmund F. Robertson, and Nik Ruskuc.</p>
+<p>This is the manual for the <strong class="pkg">Semigroups</strong> package for <strong class="pkg">GAP</strong> version 5.3.7. <strong class="pkg">Semigroups</strong> 5.3.7 is a distant descendant of the <span class="URL"><a href=" http://schmidt.nuigalway.ie/monoid/index.html">Monoid package for GAP 3</a></span> by Goetz Pfeiffer, Steve A. Linton, Edmund F. Robertson, and Nik Ruskuc.</p>
 
 <p>From Version 3.0.0, <strong class="pkg">Semigroups</strong> includes a copy of the <span class="URL"><a href="https://libsemigroups.readthedocs.io/en/latest/">libsemigroups</a></span> C++ library which contains implementations of the Froidure-Pin, Todd-Coxeter, and Knuth-Bendix algorithms (among others) that <strong class="pkg">Semigroups</strong> utilises.</p>
 

doc/chap2.html

@@ -78,16 +78,16 @@ <h4>2.1 <span class="Heading">For those in a hurry</span></h4>
 <li><p>ensure that the <span class="URL"><a href="https://gap-packages.github.io/orb">orb</a></span> package version 4.8.2 or higher is available. <span class="URL"><a href="https://gap-packages.github.io/orb">orb</a></span> and <strong class="pkg">Semigroups</strong> both perform better if <span class="URL"><a href="https://gap-packages.github.io/orb">orb</a></span> is compiled.</p>
 
 </li>
-<li><p>download the package archive <code class="file">semigroups-5.3.6.tar.gz</code> from <span class="URL"><a href="https://semigroups.github.io/Semigroups">the Semigroups package webpage</a></span>.</p>
+<li><p>download the package archive <code class="file">semigroups-5.3.7.tar.gz</code> from <span class="URL"><a href="https://semigroups.github.io/Semigroups">the Semigroups package webpage</a></span>.</p>
 
 </li>
-<li><p>unzip and untar the file, this should create a directory called <code class="file">semigroups-5.3.6</code>.</p>
+<li><p>unzip and untar the file, this should create a directory called <code class="file">semigroups-5.3.7</code>.</p>
 
 </li>
-<li><p>locate your <strong class="pkg">GAP</strong> directory, the one containing the directories <code class="file">lib</code>, <code class="file">doc</code> and so on. Move the directory <code class="file">semigroups-5.3.6.tar.gz</code> into the <code class="file">pkg</code> subdirectory of your <strong class="pkg">GAP</strong> directory.</p>
+<li><p>locate your <strong class="pkg">GAP</strong> directory, the one containing the directories <code class="file">lib</code>, <code class="file">doc</code> and so on. Move the directory <code class="file">semigroups-5.3.7.tar.gz</code> into the <code class="file">pkg</code> subdirectory of your <strong class="pkg">GAP</strong> directory.</p>
 
 </li>
-<li><p>from version 3.0.0, it is necessary to compile the <strong class="pkg">Semigroups</strong> package. <strong class="pkg">Semigroups</strong> uses the <span class="URL"><a href=" https://libsemigroups.github.io/libsemigroups/ ">libsemigroups</a></span> C++ library, which requires a compiler implementing the C++14 standard. Inside the <code class="file">pkg/semigroups-5.3.6</code> directory, in your terminal type</p>
+<li><p>from version 3.0.0, it is necessary to compile the <strong class="pkg">Semigroups</strong> package. <strong class="pkg">Semigroups</strong> uses the <span class="URL"><a href=" https://libsemigroups.github.io/libsemigroups/ ">libsemigroups</a></span> C++ library, which requires a compiler implementing the C++14 standard. Inside the <code class="file">pkg/semigroups-5.3.7</code> directory, in your terminal type</p>
 
 
 <div class="example"><pre>
@@ -114,7 +114,7 @@ <h4>2.2 <span class="Heading">Compiling the kernel module</span></h4>
 
 <p>As of version 3.0.0, the <strong class="pkg">Semigroups</strong> package has a kernel module written in C++ and this must be compiled. The kernel module contains the interface to the C++ library <span class="URL"><a href="https://libsemigroups.readthedocs.io/en/latest/">libsemigroups</a></span> . It is not possible to use the <strong class="pkg">Semigroups</strong> package without compiling it.</p>
 
-<p>To compile the kernel component inside the <code class="file">pkg/semigroups-5.3.6.tar.gz</code> directory, type</p>
+<p>To compile the kernel component inside the <code class="file">pkg/semigroups-5.3.7.tar.gz</code> directory, type</p>
 
 
 <div class="example"><pre>
@@ -138,7 +138,7 @@ <h4>2.3 <span class="Heading">Rebuilding the documentation</span></h4>
 gap makedoc.g
     </pre></div>
 
-<p>when you're inside the <code class="file">pkg/semigroups-5.3.6</code> directory.</p>
+<p>when you're inside the <code class="file">pkg/semigroups-5.3.7</code> directory.</p>
 
 <p><a id="X7862D3F37C5BBDEF" name="X7862D3F37C5BBDEF"></a></p>