triaki-tétraèdre

Lsom := [[3/5, 3/5, 3/5], [-3/5, -3/5, 3/5], [-3/5, 3/5, -3/5], [3/5, -3/5, -3/5], [-1, -1, -1], [-1, 1, 1], [1, -1, 1], [1, 1, -1]]

LfacesPOL:=proc(K)  #==== triakistétraèdre
[[[[3/5, 3/5, 3/5], [4/5*K, -1/5*K, 4/5*K], [-13*K/(5*K - 20), -3*K/(5*K - 20), -3*K/(5*K - 20)], [4/5*K, 4/5*K, -1/5*K]], [[1, -1, 1], [4/5*K, -1/5*K, 4/5*K], [-13*K/(5*K - 20), -3*K/(5*K - 20), -3*K/(5*K - 20)], [K, 0, 0]], [[1, 1, -1], [K, 0, 0], [-13*K/(5*K - 20), -3*K/(5*K - 20), -3*K/(5*K - 20)], [4/5*K, 4/5*K, -1/5*K]]], [[[3/5, -3/5, -3/5], [-1/5*K, -4/5*K, -4/5*K], [-3*K/(5*K - 20), 13*K/(5*K - 20), 3*K/(5*K - 20)], [4/5*K, -4/5*K, 1/5*K]], [[-1, -1, -1], [-1/5*K, -4/5*K, -4/5*K], [-3*K/(5*K - 20), 13*K/(5*K - 20), 3*K/(5*K - 20)], [0, -K, 0]], [[1, -1, 1], [0, -K, 0], [-3*K/(5*K - 20), 13*K/(5*K - 20), 3*K/(5*K - 20)], [4/5*K, -4/5*K, 1/5*K]]], [[[3/5, 3/5, 3/5], [-1/5*K, 4/5*K, 4/5*K], [-3*K/(5*K - 20), -13*K/(5*K - 20), -3*K/(5*K - 20)], [4/5*K, 4/5*K, -1/5*K]], [[-1, 1, 1], [-1/5*K, 4/5*K, 4/5*K], [-3*K/(5*K - 20), -13*K/(5*K - 20), -3*K/(5*K - 20)], [0, K, 0]], [[1, 1, -1], [0, K, 0], [-3*K/(5*K - 20), -13*K/(5*K - 20), -3*K/(5*K - 20)], [4/5*K, 4/5*K, -1/5*K]]], [[[3/5, -3/5, -3/5], [-1/5*K, -4/5*K, -4/5*K], [-3*K/(5*K - 20), 3*K/(5*K - 20), 13*K/(5*K - 20)], [4/5*K, 1/5*K, -4/5*K]], [[-1, -1, -1], [-1/5*K, -4/5*K, -4/5*K], [-3*K/(5*K - 20), 3*K/(5*K - 20), 13*K/(5*K - 20)], [0, 0, -K]], [[1, 1, -1], [0, 0, -K], [-3*K/(5*K - 20), 3*K/(5*K - 20), 13*K/(5*K - 20)], [4/5*K, 1/5*K, -4/5*K]]], [[[-3/5, 3/5, -3/5], [-4/5*K, 4/5*K, 1/5*K], [3*K/(5*K - 20), -13*K/(5*K - 20), 3*K/(5*K - 20)], [1/5*K, 4/5*K, -4/5*K]], [[-1, 1, 1], [-4/5*K, 4/5*K, 1/5*K], [3*K/(5*K - 20), -13*K/(5*K - 20), 3*K/(5*K - 20)], [0, K, 0]], [[1, 1, -1], [0, K, 0], [3*K/(5*K - 20), -13*K/(5*K - 20), 3*K/(5*K - 20)], [1/5*K, 4/5*K, -4/5*K]]], [[[-3/5, 3/5, -3/5], [-4/5*K, -1/5*K, -4/5*K], [3*K/(5*K - 20), -3*K/(5*K - 20), 13*K/(5*K - 20)], [1/5*K, 4/5*K, -4/5*K]], [[-1, -1, -1], [-4/5*K, -1/5*K, -4/5*K], [3*K/(5*K - 20), -3*K/(5*K - 20), 13*K/(5*K - 20)], [0, 0, -K]], [[1, 1, -1], [0, 0, -K], [3*K/(5*K - 20), -3*K/(5*K - 20), 13*K/(5*K - 20)], [1/5*K, 4/5*K, -4/5*K]]], [[[-3/5, 3/5, -3/5], [-4/5*K, -1/5*K, -4/5*K], [13*K/(5*K - 20), -3*K/(5*K - 20), 3*K/(5*K - 20)], [-4/5*K, 4/5*K, 1/5*K]], [[-1, -1, -1], [-4/5*K, -1/5*K, -4/5*K], [13*K/(5*K - 20), -3*K/(5*K - 20), 3*K/(5*K - 20)], [-K, 0, 0]], [[-1, 1, 1], [-K, 0, 0], [13*K/(5*K - 20), -3*K/(5*K - 20), 3*K/(5*K - 20)], [-4/5*K, 4/5*K, 1/5*K]]], [[[-3/5, -3/5, 3/5], [-4/5*K, -4/5*K, -1/5*K], [3*K/(5*K - 20), 13*K/(5*K - 20), -3*K/(5*K - 20)], [1/5*K, -4/5*K, 4/5*K]], [[-1, -1, -1], [-4/5*K, -4/5*K, -1/5*K], [3*K/(5*K - 20), 13*K/(5*K - 20), -3*K/(5*K - 20)], [0, -K, 0]], [[1, -1, 1], [0, -K, 0], [3*K/(5*K - 20), 13*K/(5*K - 20), -3*K/(5*K - 20)], [1/5*K, -4/5*K, 4/5*K]]], [[[3/5, 3/5, 3/5], [-1/5*K, 4/5*K, 4/5*K], [-3*K/(5*K - 20), -3*K/(5*K - 20), -13*K/(5*K - 20)], [4/5*K, -1/5*K, 4/5*K]], [[-1, 1, 1], [-1/5*K, 4/5*K, 4/5*K], [-3*K/(5*K - 20), -3*K/(5*K - 20), -13*K/(5*K - 20)], [0, 0, K]], [[1, -1, 1], [0, 0, K], [-3*K/(5*K - 20), -3*K/(5*K - 20), -13*K/(5*K - 20)], [4/5*K, -1/5*K, 4/5*K]]], [[[-3/5, -3/5, 3/5], [-4/5*K, -4/5*K, -1/5*K], [13*K/(5*K - 20), 3*K/(5*K - 20), -3*K/(5*K - 20)], [-4/5*K, 1/5*K, 4/5*K]], [[-1, -1, -1], [-4/5*K, -4/5*K, -1/5*K], [13*K/(5*K - 20), 3*K/(5*K - 20), -3*K/(5*K - 20)], [-K, 0, 0]], [[-1, 1, 1], [-K, 0, 0], [13*K/(5*K - 20), 3*K/(5*K - 20), -3*K/(5*K - 20)], [-4/5*K, 1/5*K, 4/5*K]]], [[[-3/5, -3/5, 3/5], [-4/5*K, 1/5*K, 4/5*K], [3*K/(5*K - 20), 3*K/(5*K - 20), -13*K/(5*K - 20)], [1/5*K, -4/5*K, 4/5*K]], [[-1, 1, 1], [-4/5*K, 1/5*K, 4/5*K], [3*K/(5*K - 20), 3*K/(5*K - 20), -13*K/(5*K - 20)], [0, 0, K]], [[1, -1, 1], [0, 0, K], [3*K/(5*K - 20), 3*K/(5*K - 20), -13*K/(5*K - 20)], [1/5*K, -4/5*K, 4/5*K]]], [[[3/5, -3/5, -3/5], [4/5*K, -4/5*K, 1/5*K], [-13*K/(5*K - 20), 3*K/(5*K - 20), 3*K/(5*K - 20)], [4/5*K, 1/5*K, -4/5*K]], [[1, -1, 1], [4/5*K, -4/5*K, 1/5*K], [-13*K/(5*K - 20), 3*K/(5*K - 20), 3*K/(5*K - 20)], [K, 0, 0]], [[1, 1, -1], [K, 0, 0], [-13*K/(5*K - 20), 3*K/(5*K - 20), 3*K/(5*K - 20)], [4/5*K, 1/5*K, -4/5*K]]]]
: end: