back to table · edit · history · where entries came from · files · download
1315 bytes, as of the version from 2026-10-16 09:47 (current). Recorded here, not run.
"""Reproduce the two prose repairs to numberdb.org/T460 without changing values.
Run: python3 prepare_T460_repair.py
Input: T460-before.json. Output: T460-proposed.json and T460-proposed.diff.
This script makes no API calls.
"""
from pathlib import Path
import copy, difflib, json
root=Path(__file__).resolve().parent
before=json.loads((root/'T460-before.json').read_text())
after=copy.deepcopy(before)
assert after['Title'].startswith('Weil--Petersson ')
assert '$p$' not in after['Definition']
after['Title']=after['Title'].replace('Weil--Petersson','Weil-Petersson',1)
after['Definition']+=r' The stored polynomials use $p$ as a formal stand-in for $\pi$.'
assert list(before)==list(after)
assert list(before['Parameters'])==list(after['Parameters'])
assert all(before[k]==after[k] for k in before if k not in ('Title','Definition'))
old=json.dumps(before,ensure_ascii=False,indent=2)+'\n'
new=json.dumps(after,ensure_ascii=False,indent=2)+'\n'
(root/'T460-proposed.json').write_text(new)
diff=''.join(difflib.unified_diff(old.splitlines(True),new.splitlines(True),fromfile='T460-live',tofile='T460-proposed'))
(root/'T460-proposed.diff').write_text(diff)
print(diff)
print('TITLE:',after['Title'])
print('DEFINITION:',after['Definition'])
print('COMMENTS:')
for value in after['Comments'].values():print(value)