show/hide visualization coordinates
a : (0.2197929734882354, -0.25019450707647056, -0.19459456229411765)
b : (-0.17347384661176463, -1.0006058475764705, 0.33666508390588235)
c : (-0.6046723329117646, -0.7140090979764706, -0.5188552102941176)
d : (-0.21446136361176463, 0.03988310292352948, -1.0474090396941178)
e : (0.6069473906882354, 0.5071771746235294, -0.7204412818941177)
f : (1.0381463653882355, 0.22057977122352945, 0.13507995000588235)
g : (0.6479348373882354, -0.5333114307764706, 0.6636325248058823)
h : (-0.24715511511176463, -0.29244932007647056, 1.0388647983058823)
i : (-0.9703484958117645, -0.39677575897647055, 0.3561548513058823)
j : (-1.0751484594117646, -1.3544759330764706, 0.08814861780588235)
k : (-0.9940120069117646, 0.20395132042352948, -0.4429399875941176)
l : (-0.29448338571176463, 0.9090032076235295, -0.5593250660941176)
m : (0.08555411558823539, 0.8880154005235295, -1.4840580039941176)
n : (0.4287106186882354, 1.0133294949235294, 0.12338424470588238)
o : (0.45237484218823537, 0.4126029983235294, 0.9224800029058824)
p : (1.3681761244882353, 0.03551613512352947, 1.0607316160058824)
q : (-0.2738822618117646, 0.3117632898235294, 0.2424814621058824)
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'], ['i', 'c', 'j'], ['a', 'e', 'd'], ['l', 'e', 'm'], ['p', 'f', 'g'], ['q', 'o', 'n'], ['q', 'l', 'n'], ['q', 'i', 'h'], ['q', 'i', 'k'], ['p', 'o', 'g'], ['a', 'f', 'g'], ['o', 'f', 'n'], ['a', 'c', 'd'], ['l', 'e', 'n'], ['b', 'a', 'g'], ['c', 'd', 'k'], ['a', 'e', 'f'], ['b', 'h', 'g'], ['e', 'm', 'd'], ['b', 'i', 'h'], ['i', 'c', 'k'], ['b', 'a', 'c'], ['q', 'o', 'h'], ['b', 'i', 'j'], ['b', 'c', 'j'], ['l', 'd', 'k'], ['o', 'h', 'g'], ['p', 'o', 'f'], ['e', 'f', 'n']]
Coordinate Data:
q : [906286121 / 5000000000, 3405950751 / 5000000000, 7000380763 / 10000000000]
p : [3646631221 / 2000000000, 809885991 / 2000000000, 7591441151 / 5000000000]
n : [8838501047 / 10000000000, 13827563553 / 10000000000, 5809408589 / 10000000000]
h : [2079843709 / 10000000000, 769775403 / 10000000000, 119713713 / 80000000]
i : [-2576045049 / 5000000000, -136744493 / 5000000000, 1627422931 / 2000000000]
f : [7466429257 / 5000000000, 1475016579 / 2500000000, 2963182821 / 5000000000]
k : [-5388725209 / 10000000000, 358361363 / 625000000, 73083133 / 5000000000]
j : [-3100044867 / 5000000000, -9850490727 / 10000000000, 34106577 / 62500000]
d : [300847653 / 1250000000, 4093099633 / 10000000000, -1179704851 / 2000000000]
e : [10620868767 / 10000000000, 175320807 / 200000000, -2628846677 / 10000000000]
l : [1606561003 / 10000000000, 319607517 / 250000000, -1017684519 / 10000000000]
a : [1349864919 / 2000000000, 1192323533 / 10000000000, 2629620519 / 10000000000]
g : [5515371617 / 5000000000, -204855713 / 1250000000, 1121189139 / 1000000000]
o : [4537571641 / 5000000000, 7820298587 / 10000000000, 13800366171 / 10000000000]
m : [337933501 / 625000000, 12574422609 / 10000000000, -5132506949 / 5000000000]
b : [1408328197 / 5000000000, -394486867 / 625000000, 7942216981 / 10000000000]
c : [-1495328469 / 10000000000, -430727797 / 1250000000, -612985961 / 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 = 124998905526072467922893977634761343618615762247929500482241 / 250000010098827332956631189510239424910900000000000000000000
Collision distance in [70710367 / 100000000, 2209699 / 3125000] ~ [0.7071, 0.7071]
Success: starting realization non-self-intersecting
Checking inequality 2:
sigma_min in [23 / 1250, 93 / 5000] ~ [0.0184, 0.0186]
Success: sigma_min > 0
Checking inequality 3:
rho_squared = 402646423850363746283137031651 / 80000000000000000000000000000000000000
rho in [141888411 / 2000000000000, 141908411 / 2000000000000] ~ [7e-05, 7e-05]
sigma_min ^ 2 / (16 * E ^ .5) in [1058 / 335410197, 8649 / 2683281572] ~ [0.0, 0.0]
Failed: unable to verify rho < sigma_min ^ 2 / (16 * E ^ .5)