@@ -22,8 +22,8 @@ This page contains documentation relating to converting
2222Various uses
2323------------
2424
25- Recall that the signature for the :any: `to ` function is ``to(*args, Return ) ``.
26- In what follows, we explain how different values of *args * and *Return * may be
25+ Recall that the signature for the :any: `to ` function is ``to(*args, rtype ) ``.
26+ In what follows, we explain how different values of *args * and *rtype * may be
2727used to construct :any: `Presentation ` objects. The following options are
2828possible:
2929
@@ -46,21 +46,21 @@ following values for *args*:
4646
4747 - **p ** (:any: `Presentation `) -- the :any: `Presentation ` to convert.
4848
49- Additionally, specify one of the following for *Return *:
49+ Additionally, specify one of the following for *rtype *:
5050
5151 - ``(Presentation, str) `` for constructing a :any: `Presentation ` over words
5252 of type ``str ``.
5353 - ``(Presentation, list[int]) `` for constructing a :any: `Presentation ` over
5454 words of type ``list[int] ``.
5555
5656This function behaves in one of two ways, depending on type of words in *p *, and
57- the type of words specified in *Return *:
57+ the type of words specified in *rtype *:
5858
59- 1. When the type of words in *p * and type of words specified in *Return * are
59+ 1. When the type of words in *p * and type of words specified in *rtype * are
6060 not the same, this function returns a :any: `Presentation ` equivalent to
6161 the input :any: `Presentation ` *p * but with words a different type (for
6262 example, can be used to convert from ``str `` to ``list[int] ``).
63- 2. When the type of words in *p * and type of words specified in *Return * are
63+ 2. When the type of words in *p * and type of words specified in *rtype * are
6464 the same, this function just returns its argument *p *, and is included
6565 solely for the purpose of simplifying certain client code, where
6666 presentations must be converted from one type to another sometimes, but
@@ -73,7 +73,7 @@ of type ``list[int]``, then the conversion from one type to another is
7373:math: `a_i \mapsto ` ``human_readable_letter(a_i) ``.
7474
7575This function throws a :any: `LibsemigroupsError ` if the type of words in *p * is
76- not the same as that specified in *Return *, and
76+ not the same as that specified in *rtype *, and
7777``p.throw_if_bad_alphabet_or_rules() `` throws.
7878
7979.. seealso ::
@@ -115,7 +115,7 @@ letter conversion function, specify the following values for *args*:
115115 - **f ** (``Callable[[str | int], int | str] ``) -- the function used to
116116 convert between the different types of letters.
117117
118- Additionally, specify one of the following for *Return *:
118+ Additionally, specify one of the following for *rtype *:
119119
120120 - ``(Presentation, str) `` for constructing a :any: `Presentation ` over words
121121 of type ``str ``.
@@ -131,7 +131,7 @@ other.
131131This function throws a :any: `LibsemigroupsError ` if
132132``p.throw_if_bad_alphabet_or_rules() `` throws, or if the function specified by
133133*f * does not map letters of the type used in *p * to letters of the type of word
134- specified in *Return *.
134+ specified in *rtype *.
135135
136136.. seealso ::
137137
@@ -169,7 +169,7 @@ following values for *args*:
169169 - **kb ** (:any: `KnuthBendix `) -- the :any: `KnuthBendix ` from which to obtain
170170 the rules.
171171
172- Additionally, specify one of the following for *Return *:
172+ Additionally, specify one of the following for *rtype *:
173173
174174 - ``(Presentation,) `` for constructing a :any: `Presentation ` over words of
175175 the same type as that in *kb *.
@@ -211,7 +211,7 @@ enumerates *kb*) prior to calling this function.
211211 >>> kb.run()
212212 >>> p2 = to(kb, rtype = (Presentation,))
213213 >>> for p in [p1, p2]:
214- ... # Returns whether any changes have been made
214+ ... # rtypes whether any changes have been made
215215 ... presentation.sort_each_rule(p)
216216 ... presentation.sort_rules(p)
217217 True
@@ -230,7 +230,7 @@ following values for *args*:
230230 - **fp ** (:any: `FroidurePin `) -- the :any: `FroidurePin ` from which to obtain
231231 the rules.
232232
233- Additionally, specify the following for *Return *:
233+ Additionally, specify the following for *rtype *:
234234
235235 - ``(Presentation, str) `` for constructing a :any: `Presentation ` over words
236236 of type ``str ``.
@@ -282,7 +282,7 @@ following values for *args*:
282282 - **k ** (:any: `Kambites `) -- the :any: `Kambites ` from which to obtain
283283 the presentation.
284284
285- Additionally, specify one of the following for *Return *:
285+ Additionally, specify one of the following for *rtype *:
286286
287287 - ``(Presentation,) `` for constructing a :any: `Presentation ` over words of
288288 the same type as that in *k *.
@@ -342,7 +342,7 @@ following values for *args*:
342342 - **tc ** (:any: `ToddCoxeter `) -- the :any: `ToddCoxeter ` from which to obtain
343343 the presentation.
344344
345- Additionally, specify one of the following for *Return *:
345+ Additionally, specify one of the following for *rtype *:
346346
347347 - ``(Presentation,) `` for constructing a :any: `Presentation ` over words of
348348 the same type as that in *tc *.
@@ -402,7 +402,7 @@ following values for *args*:
402402 - **c ** (:any: `Congruence `) -- the :any: `Congruence ` from which to obtain
403403 the presentation.
404404
405- Additionally, specify one of the following for *Return *:
405+ Additionally, specify one of the following for *rtype *:
406406
407407 - ``(Presentation,) `` for constructing a :any: `Presentation ` over words of
408408 the same type as that in *c *.
@@ -463,7 +463,7 @@ following values for *args*:
463463 - **s ** (:any: `Stephen `) -- the :any: `Stephen ` from which to obtain
464464 the presentation.
465465
466- Additionally, specify one of the following for *Return *:
466+ Additionally, specify one of the following for *rtype *:
467467
468468 - ``(Presentation,) `` for constructing a :any: `Presentation ` over words of
469469 the same type as that in *s *.
0 commit comments