From c7eb309f524bc3971490f945c8bfbd48830322c9 Mon Sep 17 00:00:00 2001 From: Andreas Rossberg Date: Tue, 24 Oct 2023 13:01:32 +0200 Subject: [PATCH 1/2] [spec] Fix definition of iextend --- document/core/exec/numerics.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/document/core/exec/numerics.rst b/document/core/exec/numerics.rst index f9eae6b9d0..64863d002d 100644 --- a/document/core/exec/numerics.rst +++ b/document/core/exec/numerics.rst @@ -719,7 +719,7 @@ The integer result of predicates -- i.e., :ref:`tests ` and :ref: .. 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} From d9a7476c5f18b8acf8a1deb23f93f73775898e06 Mon Sep 17 00:00:00 2001 From: Andreas Rossberg Date: Tue, 24 Oct 2023 18:09:56 +0200 Subject: [PATCH 2/2] Fix prose too --- document/core/exec/numerics.rst | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/document/core/exec/numerics.rst b/document/core/exec/numerics.rst index 64863d002d..85d3dbd00c 100644 --- a/document/core/exec/numerics.rst +++ b/document/core/exec/numerics.rst @@ -715,7 +715,9 @@ 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}