show/hide visualization coordinates
a : (5.8996014711258626e-28, 1.1547005383792515, -0.3711348095126027)
b : (-0.5, 0.2886751345948128, -0.3711348095126027)
c : (-1.0, 1.1547005383792515, -0.3711348095126027)
d : (-0.5, 0.8660254037844386, 0.44536177141512334)
e : (0.5, 0.8660254037844386, 0.44536177141512334)
f : (1.0, 1.1547005383792515, -0.3711348095126027)
g : (0.5, 0.2886751345948128, -0.3711348095126027)
h : (5.8996014711258626e-28, -0.5773502691896257, -0.3711348095126027)
i : (-1.0, -0.5773502691896257, -0.3711348095126027)
j : (-1.5, 0.2886751345948128, -0.3711348095126027)
k : (-1.5, 0.8660254037844386, 0.44536177141512334)
l : (-1.0, -3.027880976250427e-17, 0.44536177141512334)
m : (1.2482519164248044e-60, -3.027880976250427e-17, 0.44536177141512334)
n : (1.0, -3.027880976250427e-17, 0.44536177141512334)
o : (1.5, 0.8660254037844386, 0.44536177141512334)
p : (1.5, 0.2886751345948128, -0.3711348095126027)
q : (1.0, -0.5773502691896257, -0.3711348095126027)
r : (0.5, -1.4433756729740643, -0.3711348095126027)
s : (-0.5, -1.4433756729740643, -0.3711348095126027)
t : (-0.5, -0.8660254037844386, 0.44536177141512334)
u : (0.5, -0.8660254037844386, 0.44536177141512334)
v : (-2.192832619813622e-58, -1.7320508075688772, 0.44536177141512334)
show/hide computer existence proof (failed)
(see shape-existence, preprint)
Attempting to prove existence
Starting realization:
Abstract data:
mode: maximal_simplices
data: [['l', 't', 'i'], ['d', 'a', 'e'], ['n', 'q', 'u'], ['a', 'g', 'f'], ['b', 'i', 'h'], ['d', 'c', 'k'], ['s', 't', 'i'], ['h', 'r', 's'], ['d', 'l', 'k'], ['g', 'p', 'f'], ['j', 'l', 'k'], ['n', 'q', 'p'], ['n', 'o', 'p'], ['v', 't', 'u'], ['q', 'g', 'p'], ['v', 's', 't'], ['d', 'm', 'e'], ['j', 'l', 'i'], ['r', 'q', 'u'], ['o', 'p', 'f'], ['m', 'l', 't'], ['d', 'a', 'c'], ['r', 'v', 'u'], ['j', 'c', 'k'], ['h', 'r', 'q'], ['b', 'g', 'h'], ['b', 'a', 'c'], ['a', 'e', 'f'], ['h', 'q', 'g'], ['r', 's', 'v'], ['n', 'm', 'u'], ['m', 't', 'u'], ['h', 's', 'i'], ['b', 'a', 'g'], ['d', 'm', 'l'], ['n', 'm', 'e'], ['b', 'j', 'i'], ['b', 'j', 'c'], ['o', 'e', 'f'], ['n', 'o', 'e']]
Coordinate Data:
m : [1248251916424804483048658467269 / 1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 7206785799643271105126125245853 / 10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 873736711660657804313610164637 / 20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000]
s : [-49999999999999999999999999941 / 100000000000000000000000000000, -721687836487032205636435975457 / 500000000000000000000000000000, -816496580927726032732428026587 / 1000000000000000000000000000000]
b : [-49999999999999999999999999941 / 100000000000000000000000000000, 288675134594812882254574390591 / 1000000000000000000000000000000, -81649658092772603273242802721 / 100000000000000000000000000000]
h : [117992029422517246865739311573 / 200000000000000000000000000000000000000000000000000000000, -577350269189625764509148780161 / 1000000000000000000000000000000, -816496580927726032732428027201 / 1000000000000000000000000000000]
p : [1500000000000000000000000000589 / 1000000000000000000000000000000, 288675134594812882254574390591 / 1000000000000000000000000000000, -40824829046386301636621401221 / 50000000000000000000000000000]
r : [500000000000000000000000000589 / 1000000000000000000000000000000, -721687836487032205636435975457 / 500000000000000000000000000000, -163299316185545206546485605173 / 200000000000000000000000000000]
o : [3 / 2, 13531646934131853855683174543 / 15625000000000000000000000000, 1806376661253918457632969619147 / 2500000000000000000000000000000000000000000000000000000000]
u : [1 / 2, -13531646934131853855683174543 / 15625000000000000000000000000, -7225506645015673830531878476621 / 10000000000000000000000000000000000000000000000000000000000]
g : [500000000000000000000000000589 / 1000000000000000000000000000000, 288675134594812882254574390591 / 1000000000000000000000000000000, -816496580927726032732428026483 / 1000000000000000000000000000000]
d : [-1 / 2, 13531646934131853855683174543 / 15625000000000000000000000000, -3612753322507836915265939238307 / 5000000000000000000000000000000000000000000000000000000000]
a : [5899601471125862343286965578649 / 10000000000000000000000000000000000000000000000000000000000, 4510548978043951285227724849 / 3906250000000000000000000000, -408248290463863016366214012571 / 500000000000000000000000000000]
l : [-1, -2810324142403093313343637178379 / 10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, -361275332250783691526593923831 / 250000000000000000000000000000000000000000000000000000000]
e : [1 / 2, 13531646934131853855683174543 / 15625000000000000000000000000, -1714353456827051257113584500587 / 50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000]
k : [-3 / 2, 13531646934131853855683174543 / 15625000000000000000000000000, -361275332250783691526593923831 / 250000000000000000000000000000000000000000000000000000000]
i : [-99999999999999999999999999941 / 100000000000000000000000000000, -577350269189625764509148780161 / 1000000000000000000000000000000, -816496580927726032732428026587 / 1000000000000000000000000000000]
t : [-1 / 2, -13531646934131853855683174543 / 15625000000000000000000000000, -361275332250783691526593923831 / 250000000000000000000000000000000000000000000000000000000]
c : [-99999999999999999999999999941 / 100000000000000000000000000000, 4510548978043951285227724849 / 3906250000000000000000000000, -163299316185545206546485605173 / 200000000000000000000000000000]
n : [1, -70008100775004015069645567351 / 78125000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 1500709737392664100230858679369 / 100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000]
q : [1000000000000000000000000000589 / 1000000000000000000000000000000, -577350269189625764509148780161 / 1000000000000000000000000000000, -408248290463863016366214012571 / 500000000000000000000000000000]
j : [-149999999999999999999999999941 / 100000000000000000000000000000, 288675134594812882254574390591 / 1000000000000000000000000000000, -816496580927726032732428026587 / 1000000000000000000000000000000]
v : [-548208154953405431359301101473 / 2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000, -346410161513775458705489268301 / 200000000000000000000000000000, -57804053160125390644255027813 / 40000000000000000000000000000000000000000000000000000000]
f : [1000000000000000000000000000589 / 1000000000000000000000000000000, 4510548978043951285227724849 / 3906250000000000000000000000, -40824829046386301636621401221 / 50000000000000000000000000000]
Desired square lengths:
default : 1
Checking inequality 1:
d = 3
|V| = 22
|E| = 60
Success: d|V| >= |E|
Checking self-intersection:
Square collision distance = 519948008061851114343940568709594579999618461663506770807661708199251689119643592825183855356326068645158702638491563609 / 999000174962319037045963252587094800634998728982146773465204513604510095616637460000000000000000000000000000000000000000
Collision distance in [360717474412066812419436257967 / 500000000000000000000000000000, 144286989764826724967774503187 / 200000000000000000000000000000] ~ [0.72143, 0.72143]
Success: starting realization non-self-intersecting
Checking inequality 2:
sigma_min in [0, 1 / 5000] ~ [0.0, 0.0002]
Failed: sigma_min not positive