Common congruence helpers

This page contains documentation for helper functions for the classes Congruence, Kambites, KnuthBendix, and ToddCoxeter. The functions documented on this page belong to all of the namespaces congruence_common, Congruence, Kambites, knuth_bendix, and ToddCoxeter.

Topics
	Add generating pairs
	Add a generating pair using objects instead of iterators.
	Containment
	Check containment of a pair of words in a congruence.
	Reduce a word
	Find an irreducible word equivalent to a given word.
	Partitioning
	Partition a range of words by a congruence.