show/hide visualization coordinates
a : (-1.01710982184, 1.09869942565, -0.1724006395)
b : (-1.8935964104400003, 1.02433107325, 0.3051953049)
c : (-1.62794634084, 1.8895898783499998, -0.11577656190000002)
d : (-0.7089417464400001, 1.99615185605, -0.49073024390000003)
e : (-0.06386128004000008, 1.23606926095, -0.4401872751)
f : (-0.37657375024000006, 0.32808948024999995, -0.16011945340000006)
g : (-1.23706046114, 0.2735258237499999, 0.34714738719999993)
h : (-0.94248999864, 1.17553950795, 0.03260373019999996)
i : (-0.27725349454000003, 0.4303929583499999, 0.11309306629999993)
j : (0.58434341386, 0.47939486804999987, -0.39206152780000003)
k : (0.2772309304599999, -0.4305191341500001, -0.11337503840000002)
l : (-0.58454092154, -0.4795834615500001, 0.39153635489999994)
m : (0.37635554476, -0.32825916575000014, 0.1596967614)
n : (1.23716140416, -0.27342557965000014, -0.3469439369)
o : (0.9427201496599998, -1.17538946075, -0.03232274639999999)
p : (0.0635379614599999, -1.23636041285, 0.43944477319999997)
q : (1.0169099960599999, -1.0987576270500001, 0.17221961460000001)
r : (1.8940160863599997, -1.02389320275, -0.3040766412)
s : (1.62833782896, -1.88920744075, 0.11686171739999995)
t : (0.70876090996, -1.9963886473499999, 0.49019535439999995)
show/hide computer existence proof (failed)
(see shape-existence, preprint)
Attempting to prove existence
Starting realization:
Abstract data:
mode: maximal_simplices
data: [['t', 'o', 'p'], ['p', 'm', 'l'], ['e', 'h', 'i'], ['h', 'c', 'd'], ['t', 's', 'q'], ['g', 'i', 'l'], ['o', 'n', 'r'], ['e', 'j', 'f'], ['e', 'd', 'a'], ['p', 'm', 'q'], ['g', 'a', 'f'], ['k', 'j', 'f'], ['o', 'n', 'k'], ['n', 'r', 'q'], ['t', 'p', 'q'], ['e', 'i', 'j'], ['g', 'h', 'b'], ['e', 'a', 'f'], ['g', 'l', 'f'], ['m', 'i', 'j'], ['b', 'c', 'a'], ['e', 'h', 'd'], ['h', 'b', 'c'], ['p', 'k', 'l'], ['g', 'b', 'a'], ['o', 'r', 's'], ['r', 's', 'q'], ['d', 'c', 'a'], ['g', 'h', 'i'], ['n', 'k', 'j'], ['m', 'i', 'l'], ['n', 'm', 'j'], ['n', 'm', 'q'], ['o', 'k', 'p'], ['t', 'o', 's'], ['k', 'l', 'f']]
Coordinate Data:
s : [21741255043 / 10000000000, -13825699901 / 10000000000, 6494218019 / 10000000000]
d : [-1631540711 / 10000000000, 25027893067 / 10000000000, 209149203 / 5000000000]
p : [380828523 / 625000000, -3648614811 / 5000000000, 9720048577 / 10000000000]
m : [9221432201 / 10000000000, 1783782849 / 10000000000, 6922568459 / 10000000000]
q : [7813488357 / 5000000000, -1480300441 / 2500000000, 7047796991 / 10000000000]
e : [4819263953 / 10000000000, 4356766779 / 2500000000, 461864047 / 5000000000]
h : [-3967023233 / 10000000000, 8410884793 / 5000000000, 5651638147 / 10000000000]
f : [1692139251 / 10000000000, 8347269309 / 10000000000, 3724406311 / 10000000000]
n : [3565898159 / 2000000000, 233211871 / 1000000000, 464040369 / 2500000000]
a : [-942644293 / 2000000000, 16053368763 / 10000000000, 72031889 / 200000000]
g : [-3456363929 / 5000000000, 975204093 / 1250000000, 8797074717 / 10000000000]
b : [-13478087351 / 10000000000, 15309685239 / 10000000000, 4188776947 / 5000000000]
l : [-193766231 / 5000000000, 270539891 / 10000000000, 4620482197 / 5000000000]
r : [24398037617 / 10000000000, -5172557521 / 10000000000, 2284834433 / 10000000000]
t : [12545485853 / 10000000000, -14897511967 / 10000000000, 10227554389 / 10000000000]
c : [-2164317331 / 2000000000, 2396227329 / 1000000000, 2083917613 / 5000000000]
j : [2825327723 / 2500000000, 9860323187 / 10000000000, 1404985567 / 10000000000]
o : [59540313 / 40000000, -6687520101 / 10000000000, 5002373381 / 10000000000]
i : [167833863 / 625000000, 937030409 / 1000000000, 1614132877 / 2500000000]
k : [4115093029 / 5000000000, 152236633 / 2000000000, 4191850461 / 10000000000]
Desired square lengths:
default : 1
Checking inequality 1:
d = 3
|V| = 20
|E| = 54
Success: d|V| >= |E|
Checking self-intersection:
Square collision distance = 392074479650474902455271718012804160796469149908865349721 / 7762457783781358553170426018112188941421000000000000000000
Collision distance in [22474221 / 100000000, 11237111 / 50000000] ~ [0.22474, 0.22474]
Success: starting realization non-self-intersecting
Checking inequality 2:
sigma_min in [979 / 10000, 981 / 10000] ~ [0.0979, 0.0981]
Success: sigma_min > 0
Checking inequality 3:
rho_squared = 230383137701968093473514608898802237 / 625000000000000000000000000000000000000
rho in [1919929 / 100000000, 191993 / 10000000] ~ [0.0192, 0.0192]
sigma_min ^ 2 / (16 * E ^ .5) in [10769 / 132107312, 106929 / 1306394528] ~ [8e-05, 8e-05]
Failed: unable to verify rho < sigma_min ^ 2 / (16 * E ^ .5)