knuth_bendix_by_overlap_length¶
-
void
libsemigroups::fpsemigroup::KnuthBendix
::
knuth_bendix_by_overlap_length
()¶ Run the Knuth-Bendix algorithm on the KnuthBendix instance.
This function runs the Knuth-Bendix algorithm on the rewriting system represented by a KnuthBendix instance by considering all overlaps of a given length \(n\) (according to the KnuthBendix::overlap_measure) before those overlaps of length \(n + 1\).
- Return
(None)
- Complexity
See warning.
- Warning
This will terminate when the KnuthBendix instance is confluent, which might be never.
- See
- Parameters
(None)