From a058ae86dbaebfe148257eafe00032e7df9aef30 Mon Sep 17 00:00:00 2001 From: Philippe Laferriere Date: Fri, 13 Sep 2024 11:00:12 -0400 Subject: [PATCH] add clarification --- docs/src/design/decoder/constraints.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/src/design/decoder/constraints.md b/docs/src/design/decoder/constraints.md index 61d5286c1..206120c07 100644 --- a/docs/src/design/decoder/constraints.md +++ b/docs/src/design/decoder/constraints.md @@ -610,8 +610,8 @@ p_3' \cdot (f_{dg} \cdot u + 1 - f_{dg}) = p_3 \cdot (f_{g2} \cdot v_1 + f_{g4} $$ The above constraint specifies that: -* When `SPAN` or `RESPAN` operations are executed, we add between $1$ and $7$ groups to the op group table. -* When group count is decremented inside a *span* block, we remove a group from the op group table. +* When `SPAN` or `RESPAN` operations are executed, we add between $1$ and $7$ groups to the op group table; else, leave $p3$ untouched. +* When group count is decremented inside a *span* block, we remove a group from the op group table; else, leave $p3'$ untouched. The degree of this constraint is $9$.