where
v0' = center c
v1' = center (right_face c)
v2' = Face.v1 (right_face c)
v3' = Face.v2 (right_face c)
fv' = rotate ccwz $ rotate cwy $ Tetrahedron.fv (tetrahedron0 c)
where
v0' = center c
v1' = center (right_face c)
v2' = Face.v1 (right_face c)
v3' = Face.v2 (right_face c)
fv' = rotate ccwz $ rotate cwy $ Tetrahedron.fv (tetrahedron0 c)