generate.py

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

998 bytes, as of the version from 2026-10-26 14:53. Recorded here, not run.

"""Hi at intrinsic arguments; download as generate.py beside scorer.py.

    pip install numberdb python-flint mpmath
    python generate.py
    python checks.py --kind hi --live
    python generate.py --fill

Default action verifies, never writes. Draft access needs NUMBERDB_API_KEY.
"""

import argparse

from scorer import ScorerValues


class ScorerHiValues(ScorerValues):
    table = 'T515'
    kind = 'hi'


if __name__ == '__main__':
    parser = argparse.ArgumentParser(description=__doc__)
    parser.add_argument('--fill', action='store_true')
    parser.add_argument('--remove-unselected', action='store_true')
    arguments = parser.parse_args()
    generator = ScorerHiValues()
    if arguments.fill:
        print(generator.publish(removing=arguments.remove_unselected,
                                message='Recompute Hi at the origin and Airy zeros'))
    else:
        report = generator.verify(sample=None)
        print(report)
        raise SystemExit(0 if report.ok else 1)