Update website for Semigroups 5.4.0

semigroups · Oct 19, 2024 · d58d14c · d58d14c
1 parent 0660178
commit d58d14c
Show file tree

Hide file tree

Showing 23 changed files with 453 additions and 177 deletions.
diff --git a/PackageInfo.g b/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.7",
-Date := "11/03/2024",  # dd/mm/yyyy format
+Version := "5.4.0",
+Date := "19/10/2024",  # dd/mm/yyyy format
 License := "GPL-3.0-or-later",
 
 ArchiveFormats := ".tar.gz",
@@ -71,11 +71,10 @@ Persons := [
     FirstNames    := "Marina",
     IsAuthor      := true,
     IsMaintainer  := false,
-    Email         := "mam49@st-andrews.ac.uk",
-    PostalAddress := _STANDREWSMATHS,
-    Place         := "St Andrews",
-    Institution   := "University of St Andrews",
-    WWWHome       := "https://github.com/marinaanagno"),
+    Email         := "marina.anagnostopoulou-merkouri@bristol.ac.uk",
+    Place         := "Bristol",
+    Institution   := "University of Bristol",
+    WWWHome       := "https://marinaanagno.github.io"),
 
   rec(
     LastName      := "Breuer",
@@ -149,8 +148,14 @@ Persons := [
     FirstNames    := "Fernando",
     IsAuthor      := true,
     IsMaintainer  := false,
-    Email         := "ffloresbrito@gmail.com",
-    WWWHome       := "https://github.com/ffloresbrito"),
+    Email         := "ffloresbrito@gmail.com"),
+
+  rec(
+    LastName      := "Froehlich",
+    FirstNames    := "Tillman",
+    IsAuthor      := true,
+    IsMaintainer  := false,
+    Email         := "trf1@st-andrews.ac.uk"),
 
   rec(
     LastName      := "Ham",
@@ -167,7 +172,7 @@ Persons := [
     FirstNames    := "Robert",
     IsAuthor      := true,
     IsMaintainer  := false,
-    Email         := "hancock@informatik.uni-heidelberg.de",
+    Email         := "robert.hancock@maths.ox.ac.uk",
     WWWHome       := "https://sites.google.com/view/robert-hancock/"),
 
   rec(
@@ -192,7 +197,7 @@ Persons := [
     IsAuthor      := true,
     IsMaintainer  := false,
     Email         := "caj21@st-andrews.ac.uk",
-    WWWHome       := "https://caj.host.cs.st-andrews.ac.uk/",
+    WWWHome       := "https://heather.cafe/",
     PostalAddress := _STANDREWSCS,
     Place         := "St Andrews",
     Institution   := "University of St Andrews"),
@@ -210,11 +215,7 @@ Persons := [
     LastName      := "Nagpal",
     FirstNames    := "Chinmaya",
     IsAuthor      := true,
-    IsMaintainer  := false,
-    Email         := "chinmaya1011@gmail.com",
-    PostalAddress := _STANDREWSMATHS,
-    Place         := "St Andrews",
-    Institution   := "University of St Andrews"),
+    IsMaintainer  := false),
 
   rec(
     LastName      := "Konovalov",
@@ -231,11 +232,13 @@ Persons := [
     LastName      := "Konstantinidi",
     FirstNames    := "Artemis",
     IsAuthor      := true,
-    IsMaintainer  := false,
-    Email         := "ak316@st-andrews.ac.uk",
-    PostalAddress := _STANDREWSMATHS,
-    Place         := "St Andrews",
-    Institution   := "University of St Andrews"),
+    IsMaintainer  := false),
+
+  rec(
+    LastName      := "Kwon",
+    FirstNames    := "Hyeokjun",
+    IsAuthor      := true,
+    IsMaintainer  := false),
 
   rec(
     LastName      := "Pasechnik",
@@ -257,7 +260,7 @@ Persons := [
     IsAuthor      := true,
     IsMaintainer  := false,
     Email         := "markus.pfeiffer@morphism.de",
-    WWWHome       := "https://www.morphism.de/~markusp/"),
+    WWWHome       := "https://markusp.morphism.de/"),
 
   rec(
     LastName      := "Russell",
@@ -295,8 +298,7 @@ Persons := [
     LastName      := "Spiers",
     FirstNames    := "Ben",
     IsAuthor      := true,
-    IsMaintainer  := false,
-    Email         := "bspiers972@outlook.com"),
+    IsMaintainer  := false),
 
   rec(
     LastName      := "Thiéry",
@@ -344,6 +346,12 @@ Persons := [
      Email         := "gap@wilf-wilson.net",
      WWWHome       := "https://wilf.me"),
 
+   rec(
+     LastName      := "Yang",
+     FirstNames    := "Tianrun",
+     IsAuthor      := true,
+     IsMaintainer  := false),
+
    rec(
      LastName      := "Young",
      FirstNames    := "Michael",
@@ -375,7 +383,7 @@ PackageDoc := rec(
 ),
 
 Dependencies := rec(
-  GAP := ">=4.12.0",
+  GAP := ">=4.12.1",
   NeededOtherPackages := [["datastructures", ">=0.2.5"],
                           ["digraphs", ">=1.6.2"],
                           ["genss", ">=1.6.5"],
@@ -406,13 +414,10 @@ BannerString := Concatenation(
   "------\n"),
 
 AvailabilityTest := function()
-  local semigroups_so;
-  semigroups_so := Filename(DirectoriesPackagePrograms("semigroups"),
-                            "semigroups.so");
-  if (not "semigroups" in SHOW_STAT()) and semigroups_so = fail then
+  if not IsKernelExtensionAvailable("semigroups") then
     LogPackageLoadingMessage(PACKAGE_WARNING,
-                             "the kernel module is not compiled, ",
-                             "the package cannot be loaded.");
+                             ["the kernel module is not compiled, ",
+                              "the package cannot be loaded."]);
     return fail;
   fi;
   return true;

diff --git a/_data/package.yml b/_data/package.yml
@@ -1,14 +1,14 @@
 name: Semigroups
-version: 5.3.7
-date: 2024-03-11
+version: 5.4.0
+date: 2024-10-19
 description: |
     A package for semigroups and monoids
 
 authors:
     - name: James Mitchell
       url: https://jdbm.me
     - name: Marina Anagnostopoulou-Merkouri
-      url: https://github.com/marinaanagno
+      url: https://marinaanagno.github.io
     - name: Thomas Breuer
       url: https://www.math.rwth-aachen.de/~Thomas.Breuer/
     - name: Stuart Burrell
@@ -24,27 +24,28 @@ authors:
     - name: Luke Elliott
       url: https://le27.github.io/Luke-Elliott/
     - name: Fernando Flores Brito
-      url: https://github.com/ffloresbrito
+      url: mailto:ffloresbrito@gmail.com
+    - name: Tillman Froehlich
+      url: mailto:trf1@st-andrews.ac.uk
     - name: Nick Ham
       url: https://n-ham.github.io
     - name: Robert Hancock
       url: https://sites.google.com/view/robert-hancock/
     - name: Max Horn
       url: https://www.quendi.de/math
     - name: Christopher Jefferson
-      url: https://caj.host.cs.st-andrews.ac.uk/
+      url: https://heather.cafe/
     - name: Julius Jonusas
       url: http://julius.jonusas.work
     - name: Chinmaya Nagpal
-      url: mailto:chinmaya1011@gmail.com
     - name: Olexandr Konovalov
       url: https://olexandr-konovalov.github.io/
     - name: Artemis Konstantinidi
-      url: mailto:ak316@st-andrews.ac.uk
+    - name: Hyeokjun Kwon
     - name: Dima V. Pasechnik
       url: http://users.ox.ac.uk/~coml0531/
     - name: Markus Pfeiffer
-      url: https://www.morphism.de/~markusp/
+      url: https://markusp.morphism.de/
     - name: Christopher Russell
     - name: Jack Schmidt
       url: https://www.ms.uky.edu/~jack/
@@ -53,7 +54,6 @@ authors:
     - name: Finn Smith
       url: https://flsmith.github.io/
     - name: Ben Spiers
-      url: mailto:bspiers972@outlook.com
     - name: Nicolas Thiéry
       url: https://nicolas.thiery.name/
     - name: Maria Tsalakou
@@ -64,6 +64,7 @@ authors:
       url: mailto:mw231@st-andrews.ac.uk
     - name: Wilf A. Wilson
       url: https://wilf.me
+    - name: Tianrun Yang
     - name: Michael Young
       url: https://mtorpey.github.io/
     - name: Fabian Zickgraf
@@ -73,7 +74,7 @@ maintainers:
     - name: James Mitchell
       url: https://jdbm.me
 
-GAP: ">=4.12.0"
+GAP: ">=4.12.1"
 
 needed-pkgs:
     - name: "datastructures"
@@ -109,7 +110,7 @@ packageinfo: https://semigroups.github.io/Semigroups/PackageInfo.g
 
 downloads:
     - name: .tar.gz
-      url: https://github.com/semigroups/Semigroups/releases/download/v5.3.7/semigroups-5.3.7.tar.gz
+      url: https://github.com/semigroups/Semigroups/releases/download/v5.4.0/semigroups-5.4.0.tar.gz
 
 abstract: |
     

diff --git a/doc/chap0.html b/doc/chap0.html
@@ -29,10 +29,10 @@ <h1>Semigroups</h1>
 <h2>A package for semigroups and monoids</h2>
 
 <p>
-    5.3.7</p>
+    5.4.0</p>
 
 <p>
-    11 March 2024
+    19 October 2024
   </p>
 
 </div>
@@ -51,11 +51,9 @@ <h2>A package for semigroups and monoids</h2>
 
 
 
-
   </b>
-<br />Email: <span class="URL"><a href="mailto:mam49@st-andrews.ac.uk">mam49@st-andrews.ac.uk</a></span>
-<br />Homepage: <span class="URL"><a href="https://github.com/marinaanagno">https://github.com/marinaanagno</a></span>
-<br />Address: <br />Mathematical Institute, North Haugh, St Andrews, Fife, KY16 9SS, Scotland<br />
+<br />Email: <span class="URL"><a href="mailto:marina.anagnostopoulou-merkouri@bristol.ac.uk">marina.anagnostopoulou-merkouri@bristol.ac.uk</a></span>
+<br />Homepage: <span class="URL"><a href="https://marinaanagno.github.io">https://marinaanagno.github.io</a></span>
 </p><p><b>
     Thomas Breuer
 
@@ -122,10 +120,14 @@ <h2>A package for semigroups and monoids</h2>
     Fernando Flores Brito
 
 
-
   </b>
 <br />Email: <span class="URL"><a href="mailto:ffloresbrito@gmail.com">ffloresbrito@gmail.com</a></span>
-<br />Homepage: <span class="URL"><a href="https://github.com/ffloresbrito">https://github.com/ffloresbrito</a></span>
+</p><p><b>
+    Tillman Froehlich
+
+
+  </b>
+<br />Email: <span class="URL"><a href="mailto:trf1@st-andrews.ac.uk">trf1@st-andrews.ac.uk</a></span>
 </p><p><b>
     Nick Ham
 
@@ -140,7 +142,7 @@ <h2>A package for semigroups and monoids</h2>
 
 
   </b>
-<br />Email: <span class="URL"><a href="mailto:hancock@informatik.uni-heidelberg.de">hancock@informatik.uni-heidelberg.de</a></span>
+<br />Email: <span class="URL"><a href="mailto:robert.hancock@maths.ox.ac.uk">robert.hancock@maths.ox.ac.uk</a></span>
 <br />Homepage: <span class="URL"><a href="https://sites.google.com/view/robert-hancock/">https://sites.google.com/view/robert-hancock/</a></span>
 </p><p><b>
     Max Horn
@@ -160,7 +162,7 @@ <h2>A package for semigroups and monoids</h2>
 
   </b>
 <br />Email: <span class="URL"><a href="mailto:caj21@st-andrews.ac.uk">caj21@st-andrews.ac.uk</a></span>
-<br />Homepage: <span class="URL"><a href="https://caj.host.cs.st-andrews.ac.uk/">https://caj.host.cs.st-andrews.ac.uk/</a></span>
+<br />Homepage: <span class="URL"><a href="https://heather.cafe/">https://heather.cafe/</a></span>
 <br />Address: <br />Jack Cole Building, North Haugh, St Andrews, Fife, KY16 9SX, Scotland<br />
 </p><p><b>
     Julius Jonusas
@@ -173,11 +175,7 @@ <h2>A package for semigroups and monoids</h2>
 </p><p><b>
     Chinmaya Nagpal
 
-
-
   </b>
-<br />Email: <span class="URL"><a href="mailto:chinmaya1011@gmail.com">chinmaya1011@gmail.com</a></span>
-<br />Address: <br />Mathematical Institute, North Haugh, St Andrews, Fife, KY16 9SS, Scotland<br />
 </p><p><b>
     Olexandr Konovalov
 
@@ -191,11 +189,11 @@ <h2>A package for semigroups and monoids</h2>
 </p><p><b>
     Artemis Konstantinidi
 
-
+  </b>
+</p><p><b>
+    Hyeokjun Kwon
 
   </b>
-<br />Email: <span class="URL"><a href="mailto:ak316@st-andrews.ac.uk">ak316@st-andrews.ac.uk</a></span>
-<br />Address: <br />Mathematical Institute, North Haugh, St Andrews, Fife, KY16 9SS, Scotland<br />
 </p><p><b>
     Dima V. Pasechnik
 
@@ -213,7 +211,7 @@ <h2>A package for semigroups and monoids</h2>
 
   </b>
 <br />Email: <span class="URL"><a href="mailto:markus.pfeiffer@morphism.de">markus.pfeiffer@morphism.de</a></span>
-<br />Homepage: <span class="URL"><a href="https://www.morphism.de/~markusp/">https://www.morphism.de/~markusp/</a></span>
+<br />Homepage: <span class="URL"><a href="https://markusp.morphism.de/">https://markusp.morphism.de/</a></span>
 </p><p><b>
     Christopher Russell
 
@@ -245,9 +243,7 @@ <h2>A package for semigroups and monoids</h2>
 </p><p><b>
     Ben Spiers
 
-
   </b>
-<br />Email: <span class="URL"><a href="mailto:bspiers972@outlook.com">bspiers972@outlook.com</a></span>
 </p><p><b>
     Nicolas Thiéry
 
@@ -288,6 +284,10 @@ <h2>A package for semigroups and monoids</h2>
   </b>
 <br />Email: <span class="URL"><a href="mailto:gap@wilf-wilson.net">gap@wilf-wilson.net</a></span>
 <br />Homepage: <span class="URL"><a href="https://wilf.me">https://wilf.me</a></span>
+</p><p><b>
+    Tianrun Yang
+
+  </b>
 </p><p><b>
     Michael Young
 
@@ -772,9 +772,10 @@ <h3>Contents<a id="contents" name="contents"></a></h3>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap7.html#X82B07E907B3A55F0">7.8-1 TrivialSemigroup</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap7.html#X8411EBD97A220921">7.8-2 MonogenicSemigroup</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap7.html#X7E4DFDE27BF8B8F7">7.8-3 RectangularBand</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap7.html#X801FC1D97D832A6F">7.8-4 ZeroSemigroup</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap7.html#X8672CFA47CA620B2">7.8-5 LeftZeroSemigroup</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap7.html#X7E2B20C77D47F7FB">7.8-6 BrandtSemigroup</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap7.html#X7982E0667ECEB265">7.8-4 FreeSemilattice</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap7.html#X801FC1D97D832A6F">7.8-5 ZeroSemigroup</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap7.html#X8672CFA47CA620B2">7.8-6 LeftZeroSemigroup</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap7.html#X7E2B20C77D47F7FB">7.8-7 BrandtSemigroup</a></span>
 </div></div>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap7.html#X7BB29A6779E8066A">7.9 <span class="Heading">
       Free bands