Daira Hopwood
8f82a22d2c
Remove requirement for sortedcontainers.
...
(This is less efficient, but it doesn't matter in practice, and people were having trouble
installing it in the same Python as used by sage.)
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-11-27 09:35:20 +00:00
Daira Hopwood
4609be5090
verify.sage: make executable.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-09-26 21:43:46 +01:00
Daira Hopwood
e859145e33
verify.sage: tabs to spaces.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-04-25 18:21:59 +01:00
Daira Hopwood
f1e73dab4f
verify.sage: compatibility with Python3-based sage.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-04-25 18:13:20 +01:00
Daira Hopwood
03ec3685aa
Adapt for Tweedledum/Tweedledee.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-09-08 16:23:19 +01:00
Daira Hopwood
6280babe1b
Change the directory in which the Pocklington proof files are created.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-11-02 06:17:13 +00:00
Daira Hopwood
a7aea2312c
Refactor to generate the 'primes' file rather than relying on it as input.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-11-02 06:17:13 +00:00
Daira Hopwood
3513811d0f
Twisted Edwards support.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-11-02 06:17:12 +00:00
Daira Hopwood
ffb58e9114
Initial commit (including the original verify.sage).
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-11-02 05:52:36 +00:00