Presentation -> PresentationStrings

Author: Joseph-Edwards

src/kambites.cpp

@@ -189,7 +189,7 @@ contained in the congruence, but that this is not currently known.
           py::arg("knd"),
           py::arg("p"),
           R"pbdoc(
-:sig=(self: Kambites, knd: congruence_kind, p: Presentation) -> Kambites:
+:sig=(self: Kambites, knd: congruence_kind, p: PresentationStrings) -> Kambites:
 :only-document-once:
 
 Re-initialize a :any:`Kambites` instance.

src/knuth-bendix.cpp

@@ -364,7 +364,7 @@ constructed.
               py::arg("knd"),
               py::arg("p"),
               R"pbdoc(
-:sig=(self: KnuthBendixRewriteTrie, knd: congruence_kind, p: Presentation) -> KnuthBendixRewriteTrie:
+:sig=(self: KnuthBendixRewriteTrie, knd: congruence_kind, p: PresentationStrings) -> KnuthBendixRewriteTrie:
 :only-document-once:
 
 Re-initialize a KnuthBendix instance.
@@ -377,7 +377,7 @@ that it would have been in if it had just been newly constructed from *knd* and
 :type knd: congruence_kind
 
 :param p: the presentation.
-:type p: Presentation
+:type p: PresentationStrings
 
 :returns: ``self``.
 :rtype: KnuthBendix
@@ -394,7 +394,7 @@ that it would have been in if it had just been newly constructed from *knd* and
               py::arg("knd"),
               py::arg("p"),
               R"pbdoc(
-:sig=(self: KnuthBendixRewriteTrie, knd: congruence_kind, p: Presentation) -> KnuthBendixRewriteTrie:
+:sig=(self: KnuthBendixRewriteTrie, knd: congruence_kind, p: PresentationStrings) -> KnuthBendixRewriteTrie:
 :only-document-once:
 )pbdoc")
           .def(

src/obvinf.cpp

@@ -42,10 +42,10 @@ namespace libsemigroups {
 :sig=(p: PresentationStrings) -> bool:
 
 Function for checking if the finitely presented semigroup or monoid
-defined by a :any:`Presentation` object is obviously infinite or not.
+defined by a :any:`PresentationStrings` object is obviously infinite or not.
 
 This function returns ``True`` if the finitely presented semigroup or
-monoid defined by the :any:`Presentation` object *p* is obviously infinite.
+monoid defined by the :any:`PresentationStrings` object *p* is obviously infinite.
 
 :param p: the presentation.
 :type p: Presentation
@@ -73,10 +73,10 @@ monoid defined by the :any:`Presentation` object *p* is obviously infinite.
 :only-document-once:
 
 Function for checking if the finitely presented semigroup or monoid
-defined by a :any:`Presentation` object is obviously infinite or not.
+defined by a :any:`PresentationStrings` object is obviously infinite or not.
 
 This function returns ``True`` if the finitely presented semigroup or
-monoid defined by the :any:`Presentation` object *p* is obviously infinite.
+monoid defined by the :any:`PresentationStrings` object *p* is obviously infinite.
 
 :param p: the presentation.
 :type p: Presentation

src/present.cpp

@@ -1235,7 +1235,7 @@ Construct an InversePresentationStrings from a Presentation reference.
 
 Construct an :any:`InversePresentationStrings` , initially with empty inverses, from a :any:`PresentationStrings`.
 
-:param p: the Presentation to construct from.
+:param p: the presentation to construct from.
 :type p: PresentationStrings
 )pbdoc");
       thing.def(py::init<>(), R"pbdoc(