The KnuthBendix.options class

This page contains documentation for the nested class KnuthBendix.options which holds various values that can be used to control the behaviour of Knuth-Bendix.

class KnuthBendix.options

This class contains various options that can be used to control the behaviour of Knuth-Bendix.

class overlap

Values for specifying how to measure the length of an overlap.

The values in this enum determine how a KnuthBendix instance measures the length \(d(AB, BC)\) of the overlap of two words \(AB\) and \(BC\).

The valid values are:

overlap.ABC = <overlap.ABC: 0>: \(d(AB, BC) = |A| + |B| + |C|\)

overlap.AB_BC = <overlap.AB_BC: 1>: \(d(AB, BC) = |AB| + |BC|\)

overlap.MAX_AB_BC = <overlap.MAX_AB_BC: 2>: \(d(AB, BC) = max(|AB|, |BC|)\)