From 491beffc2c879445fc3e42e7579e39a83e1e33da Mon Sep 17 00:00:00 2001 From: Daira Hopwood Date: Thu, 19 Nov 2020 19:52:22 +0000 Subject: [PATCH] injectivitylemma.py: output information that I used in a slide in my ZK Study Club presentation. Signed-off-by: Daira Hopwood --- injectivitylemma.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/injectivitylemma.py b/injectivitylemma.py index 81118cd..9816829 100755 --- a/injectivitylemma.py +++ b/injectivitylemma.py @@ -22,6 +22,9 @@ for k in (1, 2): M_k = [list(s) for s in product(c_d(), repeat=k)] assert(len(M_k) == 4**k) + for cd in M_k: + print("%r -> %r" % (cd, sums_mod4(cd))) + for (cd, cd_dash) in product(M_k, repeat=2): if cd[0] != cd_dash[0]: assert(sums_mod4(cd) != sums_mod4(cd_dash))