show/hide visualization coordinates
a : (0.2264882654647059, -0.36346509246470593, 0.03161240380588237)
b : (0.5167392221647059, -0.39855673556470594, -0.9247012752941177)
c : (1.151836449764706, -0.08054882356470594, -0.22077858309411758)
d : (0.8598699731647059, -0.04040333886470593, 0.7348003033058824)
e : (-0.06719338453529405, -0.31826582966470596, 0.9864544986058824)
f : (-0.702291244335294, -0.6362740122647059, 0.2825307830058824)
g : (-0.41032410143529413, -0.6764189574647059, -0.6730466575941176)
h : (-0.16601743933529406, -0.5644684420647059, -1.6362611328941175)
i : (-0.24564248433529406, 0.23744967513529408, -1.0441575912941177)
j : (0.6562718797647059, 0.5814756765352941, -0.7830405904941176)
k : (0.8543786324647059, 0.7882554112352941, 0.1750732659058824)
l : (0.1505709649647059, 0.6510094390352941, 0.8720683871058824)
m : (0.5144220905647059, 0.14576091553529408, 1.6545875781058823)
n : (-0.751343476035294, 0.30698328443529405, 0.6109518550058823)
o : (-1.5890670190352942, -0.18201696156470593, 0.3678493416058824)
p : (-0.9494500209352941, 0.10020331463529408, -0.34716241439411766)
q : (-0.04924830833529409, 0.44928047693529405, -0.08678017139411764)
show/hide computer existence proof (failed)
(see shape-existence, preprint)
Attempting to prove existence
Starting realization:
Abstract data:
mode: maximal_simplices
data: [['q', 'l', 'k'], ['l', 'm', 'd'], ['p', 'i', 'g'], ['a', 'e', 'd'], ['l', 'e', 'm'], ['i', 'h', 'g'], ['p', 'f', 'g'], ['q', 'l', 'n'], ['q', 'p', 'i'], ['a', 'f', 'g'], ['o', 'f', 'n'], ['a', 'c', 'd'], ['l', 'e', 'n'], ['b', 'a', 'g'], ['c', 'd', 'k'], ['a', 'e', 'f'], ['q', 'i', 'j'], ['b', 'h', 'g'], ['e', 'm', 'd'], ['b', 'i', 'h'], ['q', 'j', 'k'], ['b', 'a', 'c'], ['c', 'j', 'k'], ['b', 'i', 'j'], ['q', 'p', 'n'], ['b', 'c', 'j'], ['l', 'd', 'k'], ['p', 'o', 'n'], ['p', 'o', 'f'], ['e', 'f', 'n']]
Coordinate Data:
q : [2496725897 / 5000000000, 272057953 / 2500000000, 6312428421 / 10000000000]
p : [349886723 / 250000000, 915800687 / 2000000000, 8916250851 / 10000000000]
h : [96267861 / 156250000, 5612860501 / 5000000000, 5451809509 / 2500000000]
i : [3478696777 / 5000000000, 320653983 / 1000000000, 794310131 / 500000000]
f : [5761940577 / 5000000000, 186621511 / 156250000, 2619318877 / 10000000000]
k : [-2021408807 / 5000000000, -2301517531 / 10000000000, 115434189 / 312500000]
e : [1293225639 / 2500000000, 4381847439 / 5000000000, -4419918279 / 10000000000]
d : [-4097731021 / 10000000000, 598506997 / 1000000000, -951688163 / 5000000000]
j : [-2061750087 / 10000000000, -29215023 / 1250000000, 3318758153 / 2500000000]
l : [2995259061 / 10000000000, -929057809 / 10000000000, -819014291 / 2500000000]
a : [279510757 / 1250000000, 4607843753 / 5000000000, 5128502669 / 10000000000]
g : [344168389 / 400000000, 3086306539 / 2500000000, 12175093283 / 10000000000]
n : [12014403471 / 10000000000, 2511203737 / 10000000000, -664891843 / 10000000000]
m : [-128650439 / 2000000000, 2061713713 / 5000000000, -5550624537 / 5000000000]
o : [20391638901 / 10000000000, 7401206197 / 10000000000, 1766133291 / 10000000000]
b : [-666423511 / 10000000000, 9566603937 / 10000000000, 734581973 / 500000000]
c : [-7017395787 / 10000000000, 6386524817 / 10000000000, 3826206269 / 5000000000]
Desired square lengths:
default : 1
Checking inequality 1:
d = 3
|V| = 17
|E| = 45
Success: d|V| >= |E|
Checking self-intersection:
Square collision distance = 124998896033192047119513707272510944270475448747200167239449 / 250000010242695988310584752558885303439000000000000000000000
Collision distance in [17677591 / 25000000, 14142073 / 20000000] ~ [0.7071, 0.7071]
Success: starting realization non-self-intersecting
Checking inequality 2:
sigma_min in [37 / 2000, 187 / 10000] ~ [0.0185, 0.0187]
Success: sigma_min > 0
Checking inequality 3:
rho_squared = 12756810919686719517040318880613 / 2500000000000000000000000000000000000000
rho in [714333561 / 10000000000000, 714433561 / 10000000000000] ~ [7e-05, 7e-05]
sigma_min ^ 2 / (16 * E ^ .5) in [34225 / 10733126304, 34969 / 10733126288] ~ [0.0, 0.0]
Failed: unable to verify rho < sigma_min ^ 2 / (16 * E ^ .5)