From 25616616e375696e9e508eb1c4e2f8bc04a5092a Mon Sep 17 00:00:00 2001 From: Daira Hopwood Date: Wed, 24 Mar 2021 20:14:12 +0000 Subject: [PATCH] "Copy constraints" -> "equality constraints". (There were no other uses of this terminology.) Signed-off-by: Daira Hopwood --- book/src/background/upa.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/book/src/background/upa.md b/book/src/background/upa.md index 260b1a59..e6b63fb4 100644 --- a/book/src/background/upa.md +++ b/book/src/background/upa.md @@ -30,9 +30,9 @@ $a(X), X \in \mathcal{H}.$ To recover the coefficient form, we can use [Lagrange interpolation](polynomials.md#lagrange-interpolation), such that $a(\omega^i) = a_i.$ -## Copy constraints +## Equality constraints - Define permutation between a set of columns, e.g. $\sigma(a, b, c)$ -- Copy specific cells between these columns, e.g. $b_1 = c_0$ +- Assert equalities between specific cells in these columns, e.g. $b_1 = c_0$ - Construct permuted columns which should evaluate to same value as original columns ## Permutation grand product