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

knuth_bendix_by_overlap_length.

Parameters

(None) Run the Knuth-Bendix algorithm on the KnuthBendix instance.

Return

(None)

Complexity

See warning.

Warning

This will terminate when the KnuthBendix instance is confluent, which might be never.

See

KnuthBendix::run.

Parameters

(None)