Added 2 new expceptions to Rosser's Rule (#1148)

closes #1147
This commit is contained in:
catalin-hanga
2026-07-31 11:21:22 +03:00
committed by GitHub
parent 3e73240699
commit 4f58dcd947
2 changed files with 11 additions and 0 deletions
+2
View File
@@ -893,6 +893,7 @@ _ROSSER_EXCEPTIONS = \
[320822347, 320822350], '3(00)',
[321733242, 321733245], '3(00)',
[324413970, 324413973], '(00)3',
[325890638, 325890641], '(00)3',
[325950140, 325950143], '(00)3',
[326675884, 326675887], '(00)3',
[326704208, 326704211], '3(00)',
@@ -942,6 +943,7 @@ _ROSSER_EXCEPTIONS = \
[356586657, 356586660], '3(00)',
[356892926, 356892929], '(00)3',
[356908232, 356908235], '3(00)',
[357738762, 357738765], '(00)3',
[357912730, 357912733], '3(00)',
[358120344, 358120347], '3(00)',
[359044096, 359044099], '(00)3',
+9
View File
@@ -15,6 +15,15 @@ from mpmath import fp, zetazero
(1048449116, 388858886.690745053),
(3570918901, 1239587702.54745031),
(3570918902, 1239587702.54752387),
# issue 1147, see
# https://www.lmfdb.org/zeros/zeta/?limit=100&N=325890640
# and https://www.lmfdb.org/zeros/zeta/?limit=100&N=325890640
(325890640, 129273228.66142665),
(325890641, 129273228.76005181),
(325890642, 129273228.79754069),
(357738764, 141125096.01260684),
(357738765, 141125096.18511831),
(357738766, 141125096.28064566),
# Huge zeros (this may take hours):
# (8637740722917, 2124447368584.39296466152),
# (8637740722918, 2124447368584.39298170604),