Study
Opening the study…
Study
Opening the study…
What the work was done with, as its author lists it, so someone else can get the same things and do it again.
Software
python-flint 0.9.0, Python bindings for FLINT, whose arb and acb types are ball arithmetic
pypi.org/project/python-flint
Every number in the proof; pinned in env/requirements.txt.
Software
mpmath 1.3.0
pypi.org/project/mpmath
Only for the independent checks in code/test_verify.py, at 40 digits.
Software
Python
python.org · RRID:SCR_008394
The declared results came from Python 3.14 on macOS (arm64); the verifiers' image, Python 3.12 on Linux, gave the same results to the last digit.
Software
A C99 compiler
Apple clang
Only for code/search.c, which proposed the components and is not part of the proof.