generate.py

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

545 bytes, as of the version from 2026-10-26 16:18. Recorded here, not run.

"""Verify the selected real Lambert W values without API writes.

    pip install numberdb python-flint mpmath
    python generate.py

Download t200_values.py beside this file. To rerun the independent
checks as well, download t200_checks.py and run it with Python.
The omega entry is retained and verified, not claimed as newly generated.
"""

from t200_values import LambertValues

generator = LambertValues()

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