From e206e44a52c5127c99873fbdc2f6782cdda749d2 Mon Sep 17 00:00:00 2001 From: bing Date: Tue, 22 Aug 2023 12:10:11 +0800 Subject: [PATCH] fix(docs): constraint expression multiplies same term twice The `alpha - v` term is being multiplied twice, when it should be > $$ b \cdot (\alpha - x) \cdot (\alpha - v) $$ instead. --- docs/src/design/lookups/logup.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/design/lookups/logup.md b/docs/src/design/lookups/logup.md index aa207a11ce..49fe5b45bb 100644 --- a/docs/src/design/lookups/logup.md +++ b/docs/src/design/lookups/logup.md @@ -37,7 +37,7 @@ $$ Since constraints must be expressed without division, the actual constraint which is enforced will be the following: > $$ -b' \cdot (\alpha - v) \cdot (\alpha - x) = b \cdot (\alpha - v) \cdot (\alpha - v) + m \cdot (\alpha - x) - (\alpha - v) \text{ | degree} = 3 +b' \cdot (\alpha - v) \cdot (\alpha - x) = b \cdot (\alpha - x) \cdot (\alpha - v) + m \cdot (\alpha - x) - (\alpha - v) \text{ | degree} = 3 $$ In general, we will write constraints within these docs using the previous form, since it's clearer and more readable.