From 8e4c098b2ad5e482060b5a350594b5b9f80cc18b Mon Sep 17 00:00:00 2001 From: Joseph Edwards Date: Tue, 17 Dec 2024 18:50:05 +0000 Subject: [PATCH] Fix overlap links --- src/knuth-bendix.cpp | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/src/knuth-bendix.cpp b/src/knuth-bendix.cpp index fd0e9dee..b7eea5fd 100644 --- a/src/knuth-bendix.cpp +++ b/src/knuth-bendix.cpp @@ -579,7 +579,7 @@ system is measured. :return: The overlap policy. :rtype: overlap -.. seealso:: :py:class:`overlap`. +.. seealso:: :any:`overlap`. )pbdoc") .def("overlap_policy", py::overload_cast< @@ -600,7 +600,7 @@ two words in the system is measured. :return: ``self``. :rtype: KnuthBendixRewriteTrie -.. seealso:: :py:class:`overlap` +.. seealso:: :any:`overlap`. )pbdoc"); ////////////////////////////////////////////////////////////////////////// // Member functions for rules and rewriting @@ -778,11 +778,15 @@ Run the Knuth-Bendix algorithm by considering all overlaps of a given length. This function runs the Knuth-Bendix algorithm on the rewriting system represented by a :any:`KnuthBendixRewriteTrie` instance by considering all overlaps of a -given length :math:`n` (according to the :any:`libsemigroups_pybind11.overlap`) before those overlaps +given length :math:`n` (according to the type of :any:`overlap`) before those overlaps of length :math:`n + 1`. :param kb: the :any:`KnuthBendixRewriteTrie` instance. :type kb: KnuthBendixRewriteTrie + +.. seealso:: :any:`KnuthBendixRewriteTrie.overlap_policy` + + )pbdoc"); m.def( "knuth_bendix_is_reduced",