Kambites

Defined in kambites.hpp.

On this page there are links to the documentation for the algorithms in libsemigroups for small overlap monoids by Mark Kambites and the authors of libsemigroups; see [36], [37], and [Mitchell2021aa].

Helper functions for the class template Kambites can be found in the namespace congruence_common and Kambites. At present the helper functions in these two namespaces are identical, because there are no helper functions that only apply to the Kambites class template.

Topics
	The Kambites class
	Class template implementing small overlap class, equality, and normal forms for small overlap monoids.
	Kambites helper functions
	Helper functions for the Kambites class template.

Functions
template<typename Word>
std::string	to_human_readable_repr (Kambites< Word > const &k)
	Return a human readable representation of a Kambites object.

Function Documentation

to_human_readable_repr()

template<typename Word>

std::string to_human_readable_repr

(

Kambites< Word > const &

k

)

Defined in kambites.hpp.

This function returns a human readable representation of a Kambites object.

Parameters

k	the Kambites object.

Returns

A std::string containing the representation.

Exceptions

This function guarantees not to throw a LibsemigroupsException.