+ v2' = Face.v3 (top_face c)
+ v3' = Face.v0 (top_face c)
+ fv' = rotate cwy $ rotate ccwz $ Tetrahedron.fv (tetrahedron0 c)
+
+tetrahedron8 :: Cube -> Tetrahedron
+tetrahedron8 c =
+ make_tetrahedron c v0' v1' v2' v3'
+ where
+ v0' = center c
+ v1' = center (back_face c)
+ v2' = Face.v0 (back_face c)
+ v3' = Face.v1 (back_face c)
+ fv' = rotate cwy $ rotate cwy $ Tetrahedron.fv (tetrahedron0 c)
+
+tetrahedron9 :: Cube -> Tetrahedron
+tetrahedron9 c =
+ make_tetrahedron c v0' v1' v2' v3'
+ where
+ v0' = center c
+ v1' = center (back_face c)
+ v2' = Face.v1 (back_face c)
+ v3' = Face.v2 (back_face c)
+ fv' = rotate cwy $ rotate cwy
+ $ rotate cwx
+ $ Tetrahedron.fv (tetrahedron0 c)
+
+tetrahedron10 :: Cube -> Tetrahedron
+tetrahedron10 c =
+ make_tetrahedron c v0' v1' v2' v3'
+ where
+ v0' = center c
+ v1' = center (back_face c)
+ v2' = Face.v2 (back_face c)
+ v3' = Face.v3 (back_face c)
+ fv' = rotate cwy $ rotate cwy
+ $ rotate cwx
+ $ rotate cwx
+ $ Tetrahedron.fv (tetrahedron0 c)
+
+
+tetrahedron11 :: Cube -> Tetrahedron
+tetrahedron11 c =
+ make_tetrahedron c v0' v1' v2' v3'
+ where
+ v0' = center c
+ v1' = center (back_face c)
+ v2' = Face.v3 (back_face c)
+ v3' = Face.v0 (back_face c)
+ fv' = rotate cwy $ rotate cwy
+ $ rotate ccwx
+ $ Tetrahedron.fv (tetrahedron0 c)
+
+
+tetrahedron12 :: Cube -> Tetrahedron
+tetrahedron12 c =
+ make_tetrahedron c v0' v1' v2' v3'
+ where
+ v0' = center c
+ v1' = center (down_face c)
+ v2' = Face.v0 (down_face c)
+ v3' = Face.v1 (down_face c)
+ fv' = rotate ccwy (Tetrahedron.fv (tetrahedron0 c))
+
+
+tetrahedron13 :: Cube -> Tetrahedron
+tetrahedron13 c =
+ make_tetrahedron c v0' v1' v2' v3'
+ where
+ v0' = center c
+ v1' = center (down_face c)
+ v2' = Face.v1 (down_face c)
+ v3' = Face.v2 (down_face c)
+ fv' = rotate ccwy $ rotate ccwz $ Tetrahedron.fv (tetrahedron0 c)
+
+
+tetrahedron14 :: Cube -> Tetrahedron
+tetrahedron14 c =
+ make_tetrahedron c v0' v1' v2' v3'
+ where
+ v0' = center c
+ v1' = center (down_face c)
+ v2' = Face.v2 (down_face c)
+ v3' = Face.v3 (down_face c)
+ fv' = rotate ccwy $ rotate ccwz
+ $ rotate ccwz
+ $ Tetrahedron.fv (tetrahedron0 c)
+
+
+tetrahedron15 :: Cube -> Tetrahedron
+tetrahedron15 c =
+ make_tetrahedron c v0' v1' v2' v3'
+ where
+ v0' = center c
+ v1' = center (down_face c)
+ v2' = Face.v3 (down_face c)
+ v3' = Face.v0 (down_face c)
+ fv' = rotate ccwy $ rotate cwz $ Tetrahedron.fv (tetrahedron0 c)
+
+
+tetrahedron16 :: Cube -> Tetrahedron
+tetrahedron16 c =
+ make_tetrahedron c v0' v1' v2' v3'
+ where
+ v0' = center c
+ v1' = center (right_face c)
+ v2' = Face.v0 (right_face c)
+ v3' = Face.v1 (right_face c)
+ fv' = rotate ccwz (Tetrahedron.fv (tetrahedron0 c))
+
+
+tetrahedron17 :: Cube -> Tetrahedron
+tetrahedron17 c =
+ make_tetrahedron c v0' v1' v2' v3'
+ 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)
+
+
+tetrahedron18 :: Cube -> Tetrahedron
+tetrahedron18 c =
+ make_tetrahedron c v0' v1' v2' v3'
+ where
+ v0' = center c
+ v1' = center (right_face c)
+ v2' = Face.v2 (right_face c)
+ v3' = Face.v3 (right_face c)
+ fv' = rotate ccwz $ rotate cwy
+ $ rotate cwy
+ $ Tetrahedron.fv (tetrahedron0 c)
+
+
+tetrahedron19 :: Cube -> Tetrahedron
+tetrahedron19 c =
+ make_tetrahedron c v0' v1' v2' v3'
+ where
+ v0' = center c
+ v1' = center (right_face c)
+ v2' = Face.v3 (right_face c)
+ v3' = Face.v0 (right_face c)
+ fv' = rotate ccwz $ rotate ccwy
+ $ Tetrahedron.fv (tetrahedron0 c)
+
+
+tetrahedron20 :: Cube -> Tetrahedron
+tetrahedron20 c =
+ make_tetrahedron c v0' v1' v2' v3'
+ where
+ v0' = center c
+ v1' = center (left_face c)
+ v2' = Face.v0 (left_face c)
+ v3' = Face.v1 (left_face c)
+ fv' = rotate cwz (Tetrahedron.fv (tetrahedron0 c))
+
+
+tetrahedron21 :: Cube -> Tetrahedron
+tetrahedron21 c =
+ make_tetrahedron c v0' v1' v2' v3'
+ where
+ v0' = center c
+ v1' = center (left_face c)
+ v2' = Face.v1 (left_face c)
+ v3' = Face.v2 (left_face c)
+ fv' = rotate cwz $ rotate ccwy $ Tetrahedron.fv (tetrahedron0 c)
+
+
+tetrahedron22 :: Cube -> Tetrahedron
+tetrahedron22 c =
+ make_tetrahedron c v0' v1' v2' v3'
+ where
+ v0' = center c
+ v1' = center (left_face c)
+ v2' = Face.v2 (left_face c)
+ v3' = Face.v3 (left_face c)
+ fv' = rotate cwz $ rotate ccwy
+ $ rotate ccwy
+ $ Tetrahedron.fv (tetrahedron0 c)
+
+
+tetrahedron23 :: Cube -> Tetrahedron
+tetrahedron23 c =
+ make_tetrahedron c v0' v1' v2' v3'
+ where
+ v0' = center c
+ v1' = center (left_face c)
+ v2' = Face.v3 (left_face c)
+ v3' = Face.v0 (left_face c)
+ fv' = rotate cwz $ rotate cwy
+ $ Tetrahedron.fv (tetrahedron0 c)
+