generate.py

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

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

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

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

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

import argparse

from scorer import ScorerValues


class ScorerGiValues(ScorerValues):
    table = 'T514'
    kind = 'gi'


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 = ScorerGiValues()
    if arguments.fill:
        print(generator.publish(removing=arguments.remove_unselected,
                                message='Recompute Gi at the origin, Airy zeros and Gi critical points'))
    else:
        report = generator.verify(sample=None)
        print(report)
        raise SystemExit(0 if report.ok else 1)