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\).
- Complexity
See warning.
- See
- Parameters
(None)
Warning
This will terminate when the KnuthBendix instance is confluent, which might be never.
- Returns
(None)