From a840b7fbd08d4cd71c3155e003adabc297dea9d4 Mon Sep 17 00:00:00 2001 From: Antoine Poinsot Date: Thu, 5 Oct 2023 13:55:53 +0200 Subject: [PATCH] index.html: add missing non-canon dissat for multi_a fragment This was pointed out to me by Pieter Wuille. --- index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.html b/index.html index cbc063d..09195a6 100644 --- a/index.html +++ b/index.html @@ -512,7 +512,7 @@

Basic satisfactions

or_i(X,Z)dsat(X) 1; dsat(Z) 0sat(X) 1; sat(Z) 0 thresh(k,X1,...,Xn)All dsats [Sats/dsats with 1 ≤ #(sats) ≠ k]Sats/dsats with #(sats) = k multi(k,key1,...,keyn)0 0 ... 0 (k+1 times)0 sig ... sig -multi_a(k,key1,...,keyn)0 ... 0 (n times)sig/0 with #(sig) = k and #(sigs/0) = n +multi_a(k,key1,...,keyn)0 ... 0 (n times) [sig/0 with #(sig) ≠ k]sig/0 with #(sig) = k and #(sigs/0) = n a:Xdsat(X)sat(X) s:Xdsat(X)sat(X) c:Xdsat(X)sat(X)