From d120174822249c62c924f62802add2c5cb8e1cd5 Mon Sep 17 00:00:00 2001 From: Gengar Date: Tue, 13 Jan 2026 20:19:05 +0200 Subject: [PATCH] Modify integrity constraints to use 'c' instead of 'b' Updated constraints in convenience.md to use variable 'c' instead of 'b'. --- docs/src/description/convenience.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/src/description/convenience.md b/docs/src/description/convenience.md index c7668f6a4..fe17debcd 100644 --- a/docs/src/description/convenience.md +++ b/docs/src/description/convenience.md @@ -124,7 +124,7 @@ trace_columns { integrity_constraints { enf s^2 = s; - enf c' = s * (a + b) + (1 - s) * (a * b); + enf c' = s * (a + b) + (1 - s) * (a * c); } ``` Notice that we also need to enforce $s^2 = s$ to ensure that column $s$ can contain only binary values. @@ -192,7 +192,7 @@ ev foo([a, b, c]) { } ev bar([a, b, c]) { - enf c' = a * b; + enf c' = a * c; } ``` The above is equivalent to the first example in this section. However, the real power of combining evaluators and conditional constraints comes from two aspects: