Commit Graph

6 Commits

Author SHA1 Message Date
Daira Hopwood 491beffc2c injectivitylemma.py: output information that I used in a slide in my ZK Study Club presentation.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-11-19 19:52:22 +00:00
Daira Hopwood 3c69d7df58 injectivitylemma.py: add header comment.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-02-18 09:42:59 +00:00
Daira Hopwood daff0c4197 injectivitylemma.py: use namedtuple for clarity, and switch to Python 3.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-02-18 09:42:59 +00:00
Daira Hopwood c6e1112e1f injectivitylemma.py: change variable names to match paper.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-02-18 09:42:59 +00:00
Daira Hopwood 3f763f3f62 Fix a bug (% is not mod for negative integers).
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-10-26 01:19:51 +01:00
Daira Hopwood 78b0876888 Add test of injectivity lemma in the paper.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-10-26 00:00:57 +01:00