generate.py

back to table · edit · history · where entries came from · files · download

521 bytes, as of the version from 2026-10-26 15:38. Recorded here, not run.

"""Recompute this table without writing or approving it.

    pip install numberdb python-flint mpmath
    python generate.py

Download remaining_values.py beside this file. The default enumeration
matches the documented relevance selection. Historical sources remain
in the website revision history.
"""

from remaining_values import RemainingValues

generator = RemainingValues('T205')

if __name__ == "__main__":
    report = generator.verify(sample=None)
    print(report)
    raise SystemExit(0 if report.ok else 1)