[Python-checkins] Turn math.isqrt assertion into a comment to clarify its purpose. (GH-14131)
Mark Dickinson
webhook-mailer at python.org
Sun Jun 16 13:14:06 EDT 2019
https://github.com/python/cpython/commit/3f3efed3315f06ca3412bc8f4506e994ab84a8b3
commit: 3f3efed3315f06ca3412bc8f4506e994ab84a8b3
branch: 3.8
author: Miss Islington (bot) <31488909+miss-islington at users.noreply.github.com>
committer: Mark Dickinson <dickinsm at gmail.com>
date: 2019-06-16T18:14:02+01:00
summary:
Turn math.isqrt assertion into a comment to clarify its purpose. (GH-14131)
(cherry picked from commit 2dfeaa9222e2ed6b6e32faaf08e5b0f77318f0a7)
Co-authored-by: Mark Dickinson <dickinsm at gmail.com>
files:
M Modules/mathmodule.c
diff --git a/Modules/mathmodule.c b/Modules/mathmodule.c
index 76d821c65b4c..82a9a14724f5 100644
--- a/Modules/mathmodule.c
+++ b/Modules/mathmodule.c
@@ -1527,10 +1527,10 @@ Here's Python code equivalent to the C implementation below:
a = 1
d = 0
for s in reversed(range(c.bit_length())):
+ # Loop invariant: (a-1)**2 < (n >> 2*(c - d)) < (a+1)**2
e = d
d = c >> s
a = (a << d - e - 1) + (n >> 2*c - e - d + 1) // a
- assert (a-1)**2 < n >> 2*(c - d) < (a+1)**2
return a - (a*a > n)
More information about the Python-checkins
mailing list