From: Mark Wooding <mdw@distorted.org.uk>
Date: Sat, 21 Sep 2019 10:42:37 +0000 (+0100)
Subject: pock.1: Explicitly resolve the absolute-value wrapping from Hasse.
X-Git-Tag: 1.3.0~4
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/catacomb-python/commitdiff_plain/79033570007ed03d8a9953dd0536e92dffb0a635?hp=-c

pock.1: Explicitly resolve the absolute-value wrapping from Hasse.

The following calculation doesn't hint that the term in the |...| has
been negated until quite late, making it a little misleading.
---

79033570007ed03d8a9953dd0536e92dffb0a635
diff --git a/pock.1 b/pock.1
index 7164eb9..6879bc5 100644
--- a/pock.1
+++ b/pock.1
@@ -765,6 +765,13 @@ Hasse's theorem tells us that
 .RI # E\*(usp\*(ue |
 \(<=
 .RI 2\*(sr p ,
+so, in particular,
+.RI # E\*(usp\*(ue
+\-
+.I p
+\- 1
+\(<=
+.RI 2\*(sr p ,
 whence
 .I p
 + 1 +