Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion docs/source/authors.rst
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
Authors
=======

- `Reinis Cirpons`_ (rc234@st-andrews.ac.uk)_
- `Reinis Cirpons`_ (rc234@st-andrews.ac.uk)
- `Joseph Edwards`_ (jde1@st-andrews.ac.uk)
- `James Mitchell`_ (jdm3@st-andrews.ac.uk)
- `Maria Tsalakou`_ (mt200@st-andrews.ac.uk)
Expand Down
4 changes: 2 additions & 2 deletions docs/source/changelog-v1.rst
Original file line number Diff line number Diff line change
Expand Up @@ -99,11 +99,11 @@ This is a major release that significantly expands the API of
``libsemigroups_pybind11`` to expose much of the functionality implemented in
version 3 of libsemigroups_. The extent of the changes made in this release
means that it is likely that any code written with earlier versions of
``libsemigroups_pybin11`` will no longer work.
``libsemigroups_pybind11`` will no longer work.

The structure of ``libsemigroups_pybind11`` is very tightly linked to the
structure of libsemigroups_. Therefore, some of the differences between
v0.10.1 and v1.0.0 of ``libsemigroups_pyind11`` will be related to the
v0.10.1 and v1.0.0 of ``libsemigroups_pybind11`` will be related to the
differences between v2 and v3 of libsemigroups_, such as changes to class names
and interfaces. These changes can be found in the
`libsemigroups changelog <https://libsemigroups.github.io/libsemigroups/md_changelog-v3.html>`_.
Original file line number Diff line number Diff line change
Expand Up @@ -94,11 +94,11 @@ specify the following values for *args*:
Additionally, specify one of the following for *rtype*:

- ``(InversePresentation, str)`` for constructing an
- :any:`InversePresentation` over words of type ``str``.
:any:`InversePresentation` over words of type ``str``.
- ``(InversePresentation, list[int])`` for constructing an
:any:`InversePresentation` over words of type ``list[int]``.

This function behaves in one of two ways, depending on type of words in *p*, and
This function behaves in one of two ways, depending on type of words in *ip*, and
the type of words specified in *rtype*:

1. When the type of words in *ip* and type of words specified in *rtype*
Expand Down Expand Up @@ -151,8 +151,8 @@ not the same as that specified in *rtype* or

.. _inverse-presentation-and-function-to-inverse-presentation:

Converting an :any:`InversePresentation` to n :any:`InversePresentation` with a function
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Converting an :any:`InversePresentation` to an :any:`InversePresentation` with a function
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

To construct a :any:`InversePresentation` from a :any:`InversePresentation`
using a custom letter conversion function, specify the following values for
Expand Down
2 changes: 1 addition & 1 deletion docs/source/data-structures/presentations/to-present.rst
Original file line number Diff line number Diff line change
Expand Up @@ -175,7 +175,7 @@ Additionally, specify one of the following for *rtype*:
the same type as that in *kb*.
- ``(Presentation, str)`` for constructing a :any:`Presentation` over words
of type ``str``.
- ``(Presentation, list[int]`` for constructing a :any:`Presentation` over
- ``(Presentation, list[int])`` for constructing a :any:`Presentation` over
words of type ``list[int]``.

This function constructs and returns a :any:`Presentation` object using the
Expand Down
14 changes: 7 additions & 7 deletions docs/source/main-algorithms/knuth-bendix/to-knuth-bendix.rst
Original file line number Diff line number Diff line change
Expand Up @@ -100,9 +100,9 @@ following values for *args*:
Additionally, specify one of the following for *rtype*:

- ``(KnuthBendix, 'RewriteTrie')`` for constructing a :any:`KnuthBendix`
with the ``RewriteTrie'`` rewriter.
with the ``RewriteTrie`` rewriter.
- ``(KnuthBendix, 'RewriteFromLeft')`` for constructing a :any:`KnuthBendix`
with the ``RewriteFromLeft'`` rewriter.
with the ``RewriteFromLeft`` rewriter.

This function converts a :any:`ToddCoxeter` object *tc* to a :any:`KnuthBendix`
object with the rewriter as specified above, using
Expand Down Expand Up @@ -155,21 +155,21 @@ following values for *args*:
Additionally, specify one of the following for *rtype*:

- ``(KnuthBendix, str, 'RewriteTrie')`` for constructing a
:any:`KnuthBendix` on words with type ``str`` using the ``RewriteTrie'``
:any:`KnuthBendix` on words with type ``str`` using the ``RewriteTrie``
rewriter.
- ``(KnuthBendix, list[int], 'RewriteTrie')`` for constructing a
:any:`KnuthBendix` on words with type ``list[int]`` using the
``RewriteTrie'`` rewriter.
``RewriteTrie`` rewriter.
- ``(KnuthBendix, str, 'RewriteFromLeft')`` for constructing a
:any:`KnuthBendix` on words with type ``str`` using the
``RewriteFromLeft'`` rewriter.
``RewriteFromLeft`` rewriter.
- ``(KnuthBendix, list[int], 'RewriteFromLeft')`` for constructing a
:any:`KnuthBendix` on words with type ``list[int]`` using the
``RewriteFromLeft'`` rewriter.
``RewriteFromLeft`` rewriter.

This function converts a :any:`FroidurePin` object *fpb* to a :any:`KnuthBendix`
object with the word type and rewriter as specified above. This is done using
the presentation obtained from ``to(fpb, rtype=(Presentation, Word)`` where
the presentation obtained from ``to(fpb, rtype=(Presentation, Word))`` where
``Word`` is either ``str`` or ``list[int]``.

This returned :any:`KnuthBendix` object represents the trivial congruence over
Expand Down
4 changes: 2 additions & 2 deletions src/cong-common.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -227,7 +227,7 @@ of kind *knd* over the semigroup or monoid defined by the presentation *p*.

{detail}

:param knd: the kind (onesided or twosided) of the congruence.
:param knd: the kind (`onesided` or `twosided`) of the congruence.
:type knd: congruence_kind

:param p: the presentation.
Expand Down Expand Up @@ -307,7 +307,7 @@ had been newly constructed from *knd* and *p*.

{detail}

:param knd: the kind (onesided or twosided) of the congruence.
:param knd: the kind (`onesided` or `twosided`) of the congruence.
:type knd: :any:`congruence_kind`

:param p: the presentation.
Expand Down
Loading