compatible¶
-
bool libsemigroups::congruence::ToddCoxeter::compatible() const noexcept¶
Returns
true
if the coset table is compatible with the relations and generating pairs used to createthis
, andfalse
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.