..
    Copyright (c) 2024 R. Cirpons

    Distributed under the terms of the GPL license version 3.

    The full license is in the file LICENSE, distributed with this software.

.. currentmodule:: libsemigroups_pybind11

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``.

.. doctest::

    >>> 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

.. toctree::
    :maxdepth: 1

    minimalreporc
    reporc
    sims1
    sims2
    simsrefinerfaithful
    simsrefinerideals
    simsstats