Revision history [back]

Rationalizing tetraVertices by QQ solves the problem. I think it is a bug in Polyhedron.

tetrahedron=[4, 5, 11, 14]
tetrahedronLoc={4: (-0.6220125751978625, -0.39433530191701094, 2.4390024379557733),
         5: (0.7440142276738531, -0.5773554766481435, 2.122015514128518),
         11: (0.244011652475991, -0.14434077856515382, 2.8720179520842914),
         14: (-0.6220027261487862, -1.2603675416886693, 2.9389962970029573)}
tetraHedronColor='black'

tetraVertices=[tetrahedronLoc.get(v) for v in tetrahedron]

tetraVertices = [[QQ(c) for c in p] for p in tetraVertices]

plt=Graphics()
plt+=Polyhedron(tetraVertices).plot(color=tetraHedronColor,opacity=0.75)
show(plt)