show/hide visualization coordinates
a : (0.35450659673529417, -0.9935415856294119, 0.2514462435)
b : (-0.07249010576470583, -0.2471813545294118, 0.761954375)
c : (-0.6390990044647059, -0.9658219800294117, 0.35883735920000004)
d : (-0.18420022606470587, -0.3187400001294117, -0.25336513969999996)
e : (0.8123814253352941, -0.3284073313294118, -0.3380632861)
f : (0.9211313365352942, -0.2749143786294117, 0.6545800401)
g : (0.38828808083529415, 0.43589364307058825, 0.19489893120000001)
h : (-0.6082616003647058, 0.44570334377058823, 0.27981309390000003)
i : (-1.066319969964706, -0.21958406102941175, 0.8693483558)
j : (-1.632934062164706, -0.9382230480294118, 0.46623521310000005)
k : (-1.1748617268647057, -0.27293889842941177, -0.12332329379999996)
l : (-0.7170187645647058, 0.39219405097058824, -0.7128292935)
m : (0.27661136953529414, 0.36445547707058823, -0.8201948061)
n : (1.2704382288352942, 0.33688916037058825, -0.9276005687)
o : (1.378988718135294, 0.3902487633705882, 0.06504823300000001)
p : (0.8432253524352942, 1.0831137452705883, -0.4170740384)
q : (-0.1503856481647059, 1.1108544538705882, -0.30971141849999995)
show/hide computer existence proof (failed)
(see shape-existence, preprint)
Attempting to prove existence
Starting realization:
Abstract data:
mode: maximal_simplices
data: [['q', 'p', 'm'], ['l', 'm', 'd'], ['e', 'm', 'n'], ['i', 'c', 'j'], ['a', 'e', 'd'], ['q', 'h', 'g'], ['p', 'o', 'g'], ['q', 'p', 'g'], ['a', 'c', 'd'], ['l', 'h', 'k'], ['o', 'e', 'n'], ['c', 'd', 'k'], ['a', 'e', 'f'], ['b', 'h', 'g'], ['o', 'e', 'f'], ['b', 'f', 'g'], ['i', 'h', 'k'], ['e', 'm', 'd'], ['b', 'i', 'h'], ['p', 'm', 'n'], ['b', 'a', 'c'], ['c', 'j', 'k'], ['o', 'f', 'g'], ['q', 'l', 'h'], ['l', 'd', 'k'], ['i', 'j', 'k'], ['q', 'l', 'm'], ['p', 'o', 'n'], ['b', 'i', 'c'], ['b', 'a', 'f']]
Coordinate Data:
q : [1493379347 / 2000000000, -5568581063 / 10000000000, 63700877 / 78125000]
p : [-2469213271 / 10000000000, -5291173977 / 10000000000, 1845467691 / 2000000000]
h : [12045656257 / 10000000000, 541465019 / 5000000000, 564616783 / 2500000000]
i : [16626239953 / 10000000000, 3867902043 / 5000000000, -3636885487 / 10000000000]
f : [-406034139 / 1250000000, 4144553631 / 5000000000, -148920233 / 1000000000]
j : [178339047 / 80000000, 3730548489 / 2500000000, 19712297 / 500000000]
e : [-1080387 / 5000000, 8824036789 / 10000000000, 2109307733 / 2500000000]
d : [3902521257 / 5000000000, 8727363477 / 10000000000, 1897562367 / 2500000000]
k : [8855828761 / 5000000000, 413467623 / 500000000, 6289831009 / 10000000000]
l : [13133227899 / 10000000000, 809011483 / 5000000000, 6092445503 / 5000000000]
a : [1208987143 / 5000000000, 3868844833 / 2500000000, 635533909 / 2500000000]
g : [416031889 / 2000000000, 236205409 / 2000000000, 3107608759 / 10000000000]
n : [-1348268407 / 2000000000, 16961499 / 78125000, 7166301879 / 5000000000]
m : [1598463279 / 5000000000, 379081741 / 2000000000, 3314636533 / 2500000000]
o : [-489177933 / 625000000, 818737921 / 5000000000, 4406115741 / 10000000000]
b : [6687941311 / 10000000000, 8011777021 / 10000000000, -2562945679 / 10000000000]
c : [6177015149 / 5000000000, 3799545819 / 2500000000, 1468224479 / 10000000000]
Desired square lengths:
default : 1
Checking inequality 1:
d = 3
|V| = 17
|E| = 45
Success: d|V| >= |E|
Checking self-intersection:
Square collision distance = 31244578846592308446199402088833242942204071176269267219369 / 62501820828791765664980272687276348765806250000000000000000
Collision distance in [35351757 / 50000000, 14140703 / 20000000] ~ [0.70704, 0.70704]
Success: starting realization non-self-intersecting
Checking inequality 2:
sigma_min in [201 / 2000, 1007 / 10000] ~ [0.1005, 0.1007]
Success: sigma_min > 0
Checking inequality 3:
rho_squared = 21403127890422165115473875098080623 / 5000000000000000000000000000000000000000
rho in [12931 / 6250000, 206897 / 100000000] ~ [0.00207, 0.00207]
sigma_min ^ 2 / (16 * E ^ .5) in [336675 / 3577708768, 1014049 / 10733126288] ~ [9e-05, 9e-05]
Failed: unable to verify rho < sigma_min ^ 2 / (16 * E ^ .5)