v3' = v2 (top_face c)
fv' = rotate (Tetrahedron.fv (tetrahedron0 c)) ccwx
+tetrahedron6 :: Cube -> Tetrahedron
tetrahedron6 c =
Tetrahedron fv' v0' v1' v2' v3'
where
v3' = v3 (top_face c)
fv' = rotate (Tetrahedron.fv (tetrahedron0 c)) (ccwx . ccwx)
+tetrahedron7 :: Cube -> Tetrahedron
tetrahedron7 c =
Tetrahedron fv' v0' v1' v2' v3'
where