chiark
/
gitweb
/
~mdw
/
catacomb-python
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
13c5ef3
)
pock.1: Fix Pocklington proof.
author
Mark Wooding
<mdw@distorted.org.uk>
Sat, 21 Sep 2019 10:37:57 +0000
(11:37 +0100)
committer
Mark Wooding
<mdw@distorted.org.uk>
Sat, 21 Sep 2019 10:46:09 +0000
(11:46 +0100)
Obviously t^q = a^{n-1} == 1 (mod n). It makes sense now.
pock.1
patch
|
blob
|
blame
|
history
diff --git
a/pock.1
b/pock.1
index 8f0fc23222975364514f87da3020dc1fd8e8c28f..f977ee4622118bc43f627746d14b603d8b423c65 100644
(file)
--- a/
pock.1
+++ b/
pock.1
@@
-490,7
+490,7
@@
has order dividing
From
.BR 4 ,
we have
-.I
R t \*(ss q \*(se
+.I
t
\*(/=
1
(mod
~mdw / catacomb-python / commitdiff