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 |