diff --git a/document/core/exec/numerics.rst b/document/core/exec/numerics.rst index f9eae6b9d0..85d3dbd00c 100644 --- a/document/core/exec/numerics.rst +++ b/document/core/exec/numerics.rst @@ -715,11 +715,13 @@ The integer result of predicates -- i.e., :ref:`tests ` and :ref: :math:`\iextendMs_N(i)` ....................... -* Return :math:`\extends_{M,N}(i)`. +* Let :math:`j` be the result of computing :math:`\wrap_{N,M}(i)`. + +* Return :math:`\extends_{M,N}(j)`. .. math:: \begin{array}{lll@{\qquad}l} - \iextendMs_{N}(i) &=& \extends_{M,N}(i) \\ + \iextendMs_{N}(i) &=& \extends_{M,N}(\wrap_{N,M}(i)) \\ \end{array}