Quelle  congruences.rst   Sprache: unbekannt

.. Copyright (c) 2019, J. D. Mitchell

   Distributed under the terms of the GPL license version 3.

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

Congruences
===========

.. cpp:namespace:: libsemigroups

``libsemigroups`` implements several algorithms for computing a congruence of
a semigroup or monoid. The main algorithms implemented are Todd-Coxeter,
Knuth-Bendix, algorithms for C(4) small overlap monoids (by Kambites and
Tsalakou),and brute-force enumeration; see the links below for further details.
As a convenience, ``libsemigroups`` also has a class
:cpp:type:`libsemigroups::Congruence` that runs some predetermined variants of
Todd-Coxeter, Knuth-Bendix, the small overlap algorithms, and the brute-force
enumeration in parallel.  This class is, at present, not very customisable, and
lacks some of the fine grained control offered by the classes implementing
individual algorithms, such as :cpp:type:`congruence::ToddCoxeter`,
:cpp:type:`congruence::KnuthBendix`, and :cpp:type:`congruence::Kambites`.

All of the classes for congruences in ``libsemigroups`` can be used
"interactively", in the sense that they can be run for a particular amount of
time, or until some condition is met; for further details see, for example,
:cpp:func:`Runner::run_for` and
:cpp:func:`Runner::run_until`.

The "handedness" of a congruence is determined by:

.. doxygenenum:: libsemigroups::congruence_kind
   :project: libsemigroups

The classes in ``libsemigroups`` for congruences are:

.. toctree::
   :maxdepth: 1

   _generated/libsemigroups__congruenceinterface
   _generated/libsemigroups__congruence
   _generated/libsemigroups__congruencebypairs
   _generated/libsemigroups__congruence__toddcoxeter
   _generated/libsemigroups__congruence__knuthbendix
   _generated/libsemigroups__congruence__kambites
   _generated/libsemigroups__knuthbendixcongruencebypairs
   sims1