..
    Copyright (c) 2021-2024 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.

KnuthBendix helpers
===================

This page contains the documentation for various helper functions for
manipulating :any:`KnuthBendix` objects. All such functions are contained in the
submodule ``libsemigroups_pybind11.knuth_bendix``.

.. seealso::

    :any:`KnuthBendix.options`

Contents
--------

.. currentmodule:: libsemigroups_pybind11.knuth_bendix

.. autosummary::
    :signatures: short

    by_overlap_length
    is_reduced
    non_trivial_classes
    normal_forms
    partition
    redundant_rule

Full API
--------

.. automodule:: libsemigroups_pybind11.knuth_bendix
    :members:
    :imported-members:
    :exclude-members: KnuthBendix