Todd-Coxeter

This page contains documentation related to the implementation of the Todd-Coxeter algorithm [CMST22] in libsemigroups.

The purpose of this algorithm is to find the WordGraph of the action of a semigroup or monoid on the classes of a 1-sided (right), or 2-sided congruence; see [CMST22] for more details.

Similar to other places in libsemigroups it is possible to create a ToddCoxeter object from a presentation consisting of strings or lists of integers.

• The ToddCoxeter class
• The ToddCoxeter.options class
• ToddCoxeter helpers
• Converting to a ToddCoxeter