Classes for low-index congruences

On this page we describe the functionality relating to the Sims’s low-index congruence algorithm for semigroups and monoids that is available in libsemigroups_pybind11.

>>> from libsemigroups_pybind11 import Sims1, Presentation, presentation
>>> p = Presentation([0, 1])
>>> presentation.add_rule(p, [0, 1], [1, 0])
>>> sims = Sims1(p)
>>> sims.number_of_congruences(4)
117

• The MinimalRepOrc class
• The RepOrc class
• The Sims1 class
• The Sims2 class
• The SimsRefinerFaithful class
• The SimsRefinerIdeals class
• The SimsStats class