The Kambites class

Defined in kambites.hpp.

This page describes the class template Kambites for determining the small overlap class of a presentation, and, for small overlap monoids (those with small overlap class 4 or higher) checking equality of words and for computing normal forms.

Note that a Kambites instance represents a congruence on the free monoid or semigroup containing the rules of a presentation used to construct the instance, and the generating_pairs. As such generating pairs or rules are interchangeable in the context of Kambites objects.

Template Parameters

Word	the type of the words in the presentation.

Topics
	Member Types
	Public member types.
	Constructors + initializers
	Construct or re-initialize a Kambites instance (public member function).
	Common member functions
	Documentation of common member functions of Congruence, Kambites, KnuthBendix, and ToddCoxeter.
	Accessors
	Member functions that can be used to access the state of a Kambites instance.

Functions
template<typename Word>
	Kambites (congruence_kind, Presentation< Word > &&) -> Kambites< Word >
	Deduction guide.
template<typename Word>
	Kambites (congruence_kind, Presentation< Word > const &) -> Kambites< Word >
	Deduction guide.
template<typename Word>
	Kambites (Kambites< Word > &&) -> Kambites< Word >
	Deduction guide.
template<typename Word>
	Kambites (Kambites< Word > const &) -> Kambites< Word >
	Deduction guide.

Function Documentation

Kambites() [1/4]

template<typename Word>

Kambites	(	congruence_kind	,
		Presentation< Word > &&	) -> Kambites< Word >

Defined in kambites.hpp.

Deduction guide to construct a Kambites<Word> from a Presentation<Word> rvalue reference.

Kambites() [2/4]

template<typename Word>

Kambites	(	congruence_kind	,
		Presentation< Word > const &	) -> Kambites< Word >

Defined in kambites.hpp.

Deduction guide to construct a Kambites<Word> from a Presentation<Word> const reference.

Kambites() [3/4]

template<typename Word>

Kambites

(

Kambites< Word > &&

)

-> Kambites< Word >

Defined in kambites.hpp.

Deduction guide to construct a Kambites<Word> from a Kambites<Word> rvalue reference.

Kambites() [4/4]

template<typename Word>

Kambites

(

Kambites< Word > const &

)

-> Kambites< Word >

Defined in kambites.hpp.

Deduction guide to construct a Kambites<Word> from a Kambites<Word> const reference.