Proper attribution for symmetric_inverse_monoid_Gay18

Author: james-d-mitchell

docs/source/data-structures/presentations/examples.rst

@@ -117,7 +117,7 @@ function that is documented in the :ref:`default-presentations` section.
    symmetric_group_Car56
    symmetric_group_Moo97_a
    symmetric_group_Moo97_b
-   symmetric_inverse_monoid_Gay18
+   symmetric_inverse_monoid_Sol04
    symmetric_inverse_monoid_MW24
    symmetric_inverse_monoid_Shu60
    temperley_lieb_monoid_Eas21

libsemigroups_pybind11/presentation/examples.py

@@ -85,7 +85,7 @@
     symmetric_group_Moo97_a,
     symmetric_group_Moo97_b,
     symmetric_inverse_monoid,
-    symmetric_inverse_monoid_Gay18,
+    symmetric_inverse_monoid_Sol04,
     symmetric_inverse_monoid_MW24,
     symmetric_inverse_monoid_Shu60,
     temperley_lieb_monoid,

src/presentation-examples.cpp

@@ -578,8 +578,8 @@ monoid of degree *n*, as in Theorem 1.6 of :cite:`Mitchell2024aa`.
 
 :raises LibsemigroupsError:  if ``n < 2``.
 )pbdoc");
-    m.def("symmetric_inverse_monoid_Gay18",
-          &examples::symmetric_inverse_monoid_Gay18,
+    m.def("symmetric_inverse_monoid_Sol04",
+          &examples::symmetric_inverse_monoid_Sol04,
           py::arg("n"),
           R"pbdoc(
 :sig=(n: int) -> PresentationStrings:
@@ -1457,7 +1457,7 @@ monoid of degree *n*, as in Theorem 1.6 of :cite:`Mitchell2024aa`.
       For a specific presentation of the full transformation monoid, see one of
       the following functions:
 
-            * :any:`symmetric_inverse_monoid_Gay18`;
+            * :any:`symmetric_inverse_monoid_Sol04`;
             * :any:`symmetric_inverse_monoid_Shu60`;
             * :any:`symmetric_inverse_monoid_MW24`.
 )pbdoc");

tests/test_presentation_examples.py

@@ -112,7 +112,7 @@ def test_monoid_status():
     assert examples.symmetric_group_Car56(5).contains_empty_word()
     assert examples.symmetric_group_Moo97_a(5).contains_empty_word()
     assert examples.symmetric_group_Moo97_b(5).contains_empty_word()
-    assert examples.symmetric_inverse_monoid_Gay18(5).contains_empty_word()
+    assert examples.symmetric_inverse_monoid_Sol04(5).contains_empty_word()
     assert examples.symmetric_inverse_monoid_MW24(5).contains_empty_word()
     assert examples.symmetric_inverse_monoid_Shu60(5).contains_empty_word()
     assert examples.temperley_lieb_monoid_Eas21(5).contains_empty_word()
@@ -199,8 +199,8 @@ def test_symmetric_inverse_monoid_Shu60():
     check_symmetric_inverse_monoid(examples.symmetric_inverse_monoid_Shu60)
 
 
-def test_symmetric_inverse_monoid_Gay18():
-    check_symmetric_inverse_monoid(examples.symmetric_inverse_monoid_Gay18)
+def test_symmetric_inverse_monoid_Sol04():
+    check_symmetric_inverse_monoid(examples.symmetric_inverse_monoid_Sol04)
 
 
 def test_symmetric_inverse_monoid_MW24():