compatible

bool libsemigroups::congruence::ToddCoxeter::compatible() const

Returns true if the coset table is compatible with the relations and generating pairs used to create this, and false if it is not.

The table is compatible if the values obtained by pushing a coset through the left-hand side and the right-hand side of a relation coincide for every coset and every relation.