Action renovated!

Author: james-d-mitchell

docs/source/_ext/libsemigroups_pybind11_extensions.py

@@ -104,7 +104,6 @@ def no_doc_run(self):
     r"libsemigroups::Sims2": r"Sims2",
     r"libsemigroups::RepOrc": r"RepOrc",
     r"libsemigroups::MinimalRepOrc": r"MinimalRepOrc",
-    r"libsemigroups::BooleanOne, int>": r"Matrix",
 }
 
 # This dictionary should be of the form class_name -> (pattern, repl), where
@@ -141,7 +140,7 @@ def no_doc_run(self):
     # FIXME can't disable signatures in c++ for the next one because it is
     # overloaded, and then there are no signatures at all (and the overloads
     # are seemingly documented as a single function because of this)
-    # r"knuth_bendix_non_trivial_classes.*$": "",
+    r"knuth_bendix_non_trivial_classes.*$": "",
     r"pbr_one\(\*args, \*\*kwargs\)": "",
     r"word_graph_dot\(.*\)(\s*->\s*(\w+::)*\w*)?": "",
 }

libsemigroups_pybind11/action.py

@@ -189,7 +189,7 @@ def __init__(
             * **generators** (*List[Element]*)-- at least one generator for the action.
             * **seeds** (*List[Point]*) -- at least one seed point for the action.
             * **func** (*Callable[[Point, Element], Point]*) -- the function defining the action.
-            * **side** (:any:`side <side>`)-- the side of the action.
+            * **side** (:py:class:`side <side>`)-- the side of the action.
 
         :raises TypeError:
             if *generators* or *seeds* is not a list.

src/kambites.cpp

@@ -73,8 +73,12 @@ included for uniformity of interface between with
       def_construct_kind_presentation(
           thing, "Kambites", doc{.detail = extra_detail});
 
+      // FIXME the following doesn't get included in the doc for some reason.
+      // This is probably a problem in libsemigroups_pybind11_extensions.py,
+      // since introducing an error in the string below goes yield a
+      // warning/error in sphinx.
       auto extra_raises = R"pbdoc(
-:raises LibsemigroupsError: if *knd* is not :any:`congruence_kind.twosided`.
+:raises LibsemigroupsError: if *knd* is not ``congruence_kind.twosided``.
 )pbdoc"sv;
 
       def_init_kind_presentation(