MathPlotAI Logo MathPlotAI

Colorful Baravelle Cube

Colorful Baravelle Cube
Loading the math board and drawing, please wait…
2019-01-03 07:44
Solid GeometryGeometric Construction
This example demonstrates a colorful Baravelle cube, involving solid geometry and geometric construction. Using GeoGebra commands such as Intersect, Midpoint, and Segment, a colorful cube model is constructed. Suitable for high school and above students or teachers for teaching and learning solid geometry.

GeoGebra Commands & Parameters

  1. Intersect(xAxis, zAxis) → A
  2. Midpoint(A, B) → M_{AB}
  3. Segment(A + (0.001, 0), M_{AB}) → q_{13}
  4. Point(Circle[B, Distance[A, B], Segment[A, B]]) → C
  5. Cube(A, B, C) → a, D, faceCDHG, faceEFGH, edgeAD, edgeAB, edgeBC, edgeCD, edgeAE, edgeDH, edgeEH, edgeEF, E, edgeBF, edgeFG, edgeCG, edgeGH, F, G, H, faceABCD, faceADHE, faceABFE, faceBCGF
  6. Net(a, b) → c, I, R, S, T, U, V, faceIJKL, faceILNM, faceIJRQ, faceJKTS, faceKLVU, J, faceMNOP, edgeIL, edgeIJ, edgeJK, edgeKL, edgeLN, edgeMN, edgeIM, edgeIQ, edgeQR, K, edgeJR, edgeJS, edgeST, edgeKT, edgeKU, edgeUV, edgeLV, edgeNO, edgeOP, edgeMP, L, M, N, O, P, Q
  7. Point(q_{13}) → T_5
  8. Distance(A, W) → AW
  9. Polygon(W, W_1, 4, xOyPlane) → poly1, f, g, h, i, Z, A_1
  10. Distance(A, B) → AB
  11. Circle(W, (r * Distance[W, W_1]), xOyPlane) → d
  12. Intersect(f, d) → B_1, U_5
  13. Circle(W_1, Radius[d], xOyPlane) → r_2
  14. Intersect(g, r_2) → C_1, V_5
  15. Polygon(B_1, C_1, 4, xOyPlane) → poly2, j, k, l, m, D_1, E_1
  16. Circle(B_1, (r * Distance[B_1, C_1]), xOyPlane) → p
  17. Intersect(j, p) → F_1, W_5
  18. Circle(C_1, Radius[p], xOyPlane) → r_3
  19. Intersect(k, r_3) → G_1, C_6
  20. Polygon(F_1, G_1, 4, xOyPlane) → poly3, n, s, t, f_1, H_1, I_1
  21. Circle(F_1, (r * Distance[F_1, G_1]), xOyPlane) → c_1
  22. Intersect(n, c_1) → J_1, D_6
  23. Circle(G_1, Radius[c_1], xOyPlane) → r_4
  24. Intersect(s, r_4) → K_1, E_6
  25. Polygon(J_1, K_1, 4, xOyPlane) → poly4, g_1, h_1, i_1, j_1, L_1, M_1
  26. Polygon(W, B, W_1) → t1_b, w_1, w, b_1
  27. Polygon(B_1, W_1, C_1) → t2_b, c_2, b_2, w_2
  28. Polygon(F_1, C_1, G_1) → t3_b, g_2, f_2, c_3
  29. Polygon(J_1, G_1, K_1) → t4_b, k_1, j_2, g_3
  30. Circle(J_1, (r * Distance[J_1, K_1]), xOyPlane) → e_1
  31. Intersect(g_1, g_3) → N_1
  32. Intersect(g_1, g_3) → O_1
  33. Intersect(g_1, g_3) → P_1
  34. Intersect(g_1, g_3) → Q_1
  35. Intersect(g_1, g_3) → R_1
  36. Intersect(g_1, g_3) → S_1
  37. Intersect(g_1, g_3) → T_1
  38. Intersect(g_1, g_3) → U_1
  39. Intersect(g_1, g_3) → V_1
  40. Intersect(g_3, e_1) → Z_1, A_2
  41. Circle(K_1, Radius[e_1], xOyPlane) → r_5
  42. Intersect(h_1, r_5) → B_2, F_6
  43. Polygon(A_2, B_2, 4, xOyPlane) → poly5, l_1, m_1, n_1, q_1, C_2, D_2
  44. Polygon(B_2, K_1, A_2) → t5_b, a_2, b_3, k_2
  45. Circle(B, W_1, faceJKTS) → r_1
  46. Circle(S, Radius[r_1], faceJKTS) → s_1
  47. Intersect(edgeJS, s_1) → E_2, F_2
  48. Polygon(W_1, F_2, 4, faceJKTS) → poly6, t_1, a_1, h_2, i_2, G_2, H_2
  49. Polygon(B, F_2, W_1) → t1_b', w_3, b_4, f_3
  50. Circle(F_2, Radius[d], faceJKTS) → d_2
  51. Circle(W_1, Radius[d_2], faceJKTS) → e_2
  52. Intersect(i_2, e_2, 2) → I_2
  53. Intersect(t_1, d_2, 2) → J_2
  54. Polygon(I_2, J_2, 4, faceJKTS) → poly7, l_2, m_2, n_2, p_2, K_2, L_2
  55. Circle(I_2, Radius[p], faceJKTS) → q_2
  56. Circle(J_2, Radius[p], faceJKTS) → r_{13}
  57. Intersect(p_2, q_2) → M_2, N_2
  58. Intersect(l_2, r_{13}) → O_2, P_2
  59. Polygon(N_2, P_2, 4, faceJKTS) → poly8, s_2, t_2, h_3, i_3, Q_2, R_2
  60. Circle(N_2, Radius[c_1], faceJKTS) → d_3
  61. Circle(P_2, Radius[c_1], faceJKTS) → e_3
  62. Intersect(i_3, d_3) → S_2, T_2
  63. Intersect(s_2, e_3) → U_2, V_2
  64. Polygon(T_2, V_2, 4, faceJKTS) → poly9, j_3, k_3, l_3, m_3, W_2, Z_2
  65. Circle(T_2, Radius[r_5], faceJKTS) → p_3
  66. Circle(V_2, Radius[r_5], faceJKTS) → q_3
  67. Intersect(j_3, q_3) → A_3, B_3
  68. Intersect(m_3, p_3) → C_3, D_3
  69. Polygon(D_3, B_3, 4, faceJKTS) → poly10, n_3, r_{14}, s_3, t_3, E_3, F_3
  70. Polygon(I_2, W_1, J_2) → t2_g', j_4, i_4, w_4
  71. Polygon(N_2, I_2, P_2) → t3_p', p_4, n_4, i_5
  72. Polygon(T_2, N_2, V_2) → t4_y', v_2, t_4, n_5
  73. Polygon(D_3, T_2, B_3) → t5_b', b_5, d_4, t_5
  74. Circle(A_2, (r * Distance[A_2, B_2]), xOyPlane) → c_4
  75. Circle(B_2, Radius[c_4], xOyPlane) → r_6
  76. Circle(D_3, Radius[r_6], faceJKTS) → f_4
  77. Circle(B_3, Radius[f_4], faceJKTS) → g_4
  78. Intersect(t_3, f_4) → G_3, H_3
  79. Intersect(n_3, t_5) → I_3
  80. Intersect(n_3, t_5) → J_3
  81. Intersect(n_3, t_5) → K_3
  82. Intersect(n_3, t_5) → L_3
  83. Intersect(n_3, t_5) → M_3
  84. Intersect(t_5, g_4) → N_3, G_6
  85. Polygon(H_3, N_3, 4, faceJKTS) → poly11, a_3, h_4, k_4, l_4, O_3, P_3
  86. Intersect(l_1, k_2) → Q_3
  87. Intersect(k_2, c_4) → R_3, H_6
  88. Intersect(faceIJKL, poly1) → S_3, T_3, U_3, V_3, W_3, Z_5, A_6, B_6
  89. Intersect(m_1, r_6) → Z_3, I_6
  90. Polygon(R_3, Z_3, 4, xOyPlane) → poly12, m_4, q_4, r_{15}, s_4, A_4, B_4
  91. Circle(R_3, (r * Distance[R_3, Z_3]), xOyPlane) → c_5
  92. Circle(Z_3, Radius[c_5], xOyPlane) → r_7
  93. Intersect(m_4, c_5) → C_4, J_6
  94. Intersect(q_4, r_7) → D_4, K_6
  95. Polygon(C_4, D_4, 4, xOyPlane) → poly13, a_4, f_5, g_5, h_5, E_4, F_4
  96. Circle(H_3, Radius[r_7], faceJKTS) → e_5
  97. Circle(N_3, Radius[e_5], faceJKTS) → k_5
  98. Intersect(t_5, a_3) → G_4
  99. Intersect(a_3, k_5) → H_4, I_4
  100. Intersect(l_4, e_5) → J_4, K_4
  101. Polygon(K_4, I_4, 4, faceJKTS) → poly14, j_5, l_5, m_5, p_5, L_4, M_4
  102. Circle(C_4, (r * Distance[C_4, D_4]), xOyPlane) → q_5
  103. Intersect(a_4, q_5) → N_4, L_6
  104. Circle(D_4, Radius[q_5], xOyPlane) → r_8
  105. Circle(K_4, Radius[r_8], faceJKTS) → s_5
  106. Circle(I_4, Radius[s_5], faceJKTS) → c_6
  107. Intersect(p_5, s_5) → O_4, P_4
  108. Intersect(j_5, c_6) → Q_4, R_4
  109. Polygon(P_4, R_4, 4, faceJKTS) → poly15, a_5, f_6, g_6, h_6, S_4, T_4
  110. Intersect(f_5, r_8) → U_4, M_6
  111. Polygon(N_4, U_4, 4, xOyPlane) → poly16, i_6, j_6, k_6, l_6, V_4, W_4
  112. Circle(N_4, (r * Distance[N_4, U_4]), xOyPlane) → d_6
  113. Intersect(i_6, d_6) → Z_4, N_6
  114. Circle(U_4, Radius[d_6], xOyPlane) → r_9
  115. Intersect(j_6, r_9) → A_5, O_6
  116. Polygon(Z_4, A_5, 4, xOyPlane) → poly17, m_6, n_6, p_6, q_6, B_5, C_5
  117. Circle(P_4, Radius[r_9], faceJKTS) → r_{12}
  118. Circle(R_4, Radius[r_{12}], faceJKTS) → s_6
  119. Intersect(h_6, r_{12}) → D_5, E_5
  120. Intersect(a_5, s_6) → F_5, G_5
  121. Polygon(E_5, G_5, 4, faceJKTS) → poly18, t_6, a_6, b_6, f_7, H_5, I_5
  122. Circle(Z_4, (r * Distance[Z_4, A_5]), xOyPlane) → c_7
  123. Circle(A_5, Radius[c_7], xOyPlane) → r_{10}
  124. Circle(E_5, Radius[c_7], faceJKTS) → e_7
  125. Circle(G_5, Radius[e_7], faceJKTS) → g_7
  126. Intersect(f_7, e_7) → J_5, K_5
  127. Intersect(t_6, g_7) → L_5, M_5
  128. Polygon(K_5, M_5, 4, faceJKTS) → poly19, h_7, i_7, j_7, k_7, N_5, O_5
  129. Intersect(n_6, r_{10}) → P_5, P_6
  130. Intersect(m_6, c_7) → Q_5, Q_6
  131. Polygon(Q_5, P_5, 4, xOyPlane) → poly20, l_7, m_7, n_7, p_7, R_5, S_5
  132. Polygon(R_3, B_2, Z_3) → t6_b, z_3, r_{11}, b_7
  133. Polygon(Z_3, D_4, C_4) → t7_b, c_8, z_1, d_8
  134. Polygon(D_4, U_4, N_4) → t8_b, n_8, d_9, u_4
  135. Polygon(U_4, A_5, Z_4) → t9_b, z_4, u_1, a_7
  136. Polygon(A_5, P_5, Q_5) → t10_b, q_7, a_8, p_8
  137. Polygon(N_3, D_3, H_3) → t6_g', h_8, n_9, d_1
  138. Polygon(I_4, H_3, K_4) → t7_p', k_8, i_8, h_9
  139. Polygon(R_4, K_4, P_4) → t8_y', p_1, r_{16}, k_9
  140. Polygon(G_5, P_4, E_5) → t9_b', e_4, g_8, p_9
  141. Polygon(M_5, E_5, K_5) → t10_g', k_{10}, m_8, e_6
  142. Polygon(Z, C, W_1) → t1_g, w_5, z_2, c_9
  143. Polygon(D_1, Z, C_1) → t2_g, c_{11}, d_7, z_6
  144. Polygon(H_1, D_1, G_1) → t3_g, g_9, h_{10}, d_5
  145. Polygon(L_1, H_1, K_1) → t4_g, k_{11}, l_8, h_{11}
  146. Polygon(C_2, L_1, B_2) → t5_g, b_8, c_{10}, l_9
  147. Polygon(A_4, C_2, Z_3) → t6_g, z_5, a_9, c_{12}
  148. Polygon(E_4, A_4, D_4) → t7_g, d_{10}, e_8, a_{10}
  149. Polygon(E_4, V_4, U_4) → t8_g, u_2, e_9, v_4
  150. Polygon(V_4, B_5, A_5) → t9_g, a_{11}, v_1, b_9
  151. Polygon(P_5, B_5, R_5) → t10_g, r_{17}, p_{10}, b_{10}
  152. Polygon(W_1, C, H_2) → t1_g', h_{12}, w_6, c_{13}
  153. Polygon(H_2, I_2, L_2) → t2_p', l_{10}, h_{13}, i_9
  154. Polygon(L_2, N_2, R_2) → t3_y', r_{18}, l_{11}, n_{10}
  155. Polygon(R_2, T_2, Z_2) → t4_b', z_7, r_{19}, t_7
  156. Polygon(Z_2, D_3, F_3) → t5_g', f_8, z_8, d_{11}
  157. Polygon(F_3, H_3, P_3) → t6_p', p_{11}, f_9, h_{14}
  158. Polygon(K_4, P_3, M_4) → t7_y', m_9, k_{12}, p_{12}
  159. Polygon(P_4, M_4, T_4) → t8_b', t_8, p_{13}, m_{10}
  160. Polygon(E_5, T_4, I_5) → t9_g', i_{10}, e_{10}, t_9
  161. Polygon(K_5, I_5, O_5) → t10_p', o_5, k_{13}, i_{11}
  162. Polygon(A_1, A, W) → t1_p, w_7, a_{12}, a_{13}
  163. Polygon(E_1, W, B_1) → t2_p, b_{11}, e_{11}, w_8
  164. Polygon(I_1, B_1, F_1) → t3_p, f_{10}, i_{12}, b_{12}
  165. Polygon(M_1, F_1, J_1) → t4_p, j_8, m_{11}, f_{11}
  166. Polygon(D_2, J_1, A_2) → t5_p, a_{14}, d_{12}, j_9
  167. Polygon(B_4, A_2, R_3) → t6_p, r_{20}, b_{13}, a_{15}
  168. Polygon(F_4, R_3, C_4) → t7_p, c_{14}, f_{12}, r_{21}
  169. Polygon(W_4, C_4, N_4) → t8_p, n_{11}, w_9, c_{15}
  170. Polygon(C_5, N_4, Z_4) → t9_p, z_9, c_{16}, n_{12}
  171. Polygon(S_5, Z_4, Q_5) → t10_p, q_8, s_7, z_{10}
  172. Polygon(G_2, F_2, S) → t1_y', s_8, g_{10}, f_{13}
  173. Polygon(K_2, J_2, F_2) → t2_b', f_{14}, k_{14}, j_{10}
  174. Polygon(Q_2, P_2, J_2) → t3_g', j_{11}, q_9, p_{14}
  175. Polygon(V_2, P_2, W_2) → t4_p', w_{10}, v_3, p_{15}
  176. Polygon(B_3, V_2, E_3) → t5_y', e_{12}, b_{14}, v_5
  177. Polygon(B_3, N_3, O_3) → t6_b', o_3, b_{15}, n_{13}
  178. Polygon(N_3, I_4, L_4) → t7_g', l_{12}, n_{14}, i_{13}
  179. Polygon(I_4, R_4, S_4) → t8_p', s_9, i_{14}, r_{22}
  180. Polygon(R_4, G_5, H_5) → t9_y', h_{15}, r_{23}, g_{11}
  181. Polygon(G_5, M_5, N_5) → t10_b', n_{15}, g_{12}, m_{12}
  182. Polygon(Z, D, A_1) → t1_y, a_{16}, z_{11}, d_{13}
  183. Polygon(D_1, A_1, E_1) → t2_y, e_{13}, d_{14}, a_{17}
  184. Polygon(H_1, E_1, I_1) → t3_y, i_{15}, h_{16}, e_{14}
  185. Polygon(L_1, I_1, M_1) → t4_y, m_{13}, l_{13}, i_{16}
  186. Polygon(C_2, M_1, D_2) → t5_y, d_{15}, c_{17}, m_{14}
  187. Polygon(A_4, D_2, B_4) → t6_y, b_{16}, a_{18}, d_{16}
  188. Polygon(E_4, B_4, F_4) → t7_y, f_{15}, e_{15}, b_{17}
  189. Polygon(V_4, F_4, W_4) → t8_y, w_{11}, v_6, f_{16}
  190. Polygon(B_5, W_4, C_5) → t9_y, c_{18}, b_{18}, w_{12}
  191. Polygon(R_5, C_5, S_5) → t10_y, s_{10}, r_{24}, c_{19}
  192. Polygon(G_2, T, H_2) → t1_p', q, e, t_{11}
  193. Polygon(L_2, G_2, K_2) → t2_y', k_{15}, l_{14}, g_{15}
  194. Polygon(R_2, K_2, Q_2) → t3_b', q_{10}, r_{25}, k_{16}
  195. Polygon(Z_2, Q_2, W_2) → t4_g', w_{13}, z_{12}, q_{11}
  196. Polygon(F_3, W_2, E_3) → t5_p', e_{16}, f_{17}, w_{14}
  197. Polygon(P_3, E_3, O_3) → t6_y', o_1, p_{16}, e_{17}
  198. Polygon(M_4, O_3, L_4) → t7_b', l_{15}, m_{15}, o_2
  199. Polygon(T_4, L_4, S_4) → t8_g', s_{11}, t_{10}, l_{16}
  200. Polygon(I_5, S_4, H_5) → t9_p', h_{18}, i_{17}, s_{12}
  201. Polygon(H_5, O_5, N_5) → t10_y', n_{16}, h_{19}, o_4
  202. Plane(K, B, R) → o
  203. Line(K, B) → j_{12}
  204. Line(R, B) → q_{12}
  205. Angle(K, B, R, o) → α
  206. Line(I, B) → t_{12}
  207. Rotate(t1_b, α, t_{12}) → t1_b''
  208. Rotate(t2_b, α, t_{12}) → t2_y''
  209. Rotate(t3_y, α, t_{12}) → t3_b''
  210. Rotate(t4_g, α, t_{12}) → t4_b''
  211. Rotate(t5_b, α, t_{12}) → t5_b''
  212. Rotate(t6_p, α, t_{12}) → t6_b''
  213. Rotate(t7_y, α, t_{12}) → t7_b''
  214. Rotate(t8_b, α, t_{12}) → t8_p''
  215. Rotate(t9_b, α, t_{12}) → t9_b''
  216. Rotate(t10_b, α, t_{12}) → t10_y''
  217. Rotate(t1_p, α, t_{12}) → t1_p''
  218. Rotate(t2_p, α, t_{12}) → t2_b''
  219. Rotate(t3_g, α, t_{12}) → t3_p''
  220. Rotate(t4_b, α, t_{12}) → t4_p''
  221. Rotate(t5_p, α, t_{12}) → t5_p''
  222. Rotate(t6_y, α, t_{12}) → t6_p''
  223. Rotate(t7_g, α, t_{12}) → t7_p''
  224. Rotate(t8_p, α, t_{12}) → t8_g''
  225. Rotate(t9_p, α, t_{12}) → t9_p''
  226. Rotate(t10_p, α, t_{12}) → t10_b''
  227. OrthogonalLine(B, xOyPlane) → g_{13}
  228. Rotate(t2_y, α, t_{12}) → t2_p''
  229. Rotate(t8_g, α, t_{12}) → t8_b''
  230. Rotate(t10_y, α, t_{12}) → t10_p''
  231. Rotate(t8_y, α, t_{12}) → t8_y''
  232. Rotate(t9_y, α, t_{12}) → t9_g''
  233. Rotate(t10_g, α, t_{12}) → t10_g''
  234. Rotate(t9_g, α, t_{12}) → t9_y''
  235. Rotate(t7_p, α, t_{12}) → t7_y''
  236. Rotate(t7_b, α, t_{12}) → t7_g''
  237. Rotate(t6_g, α, t_{12}) → t6_g''
  238. Rotate(t6_b, α, t_{12}) → t6_y''
  239. Rotate(t5_y, α, t_{12}) → t5_g''
  240. Rotate(t5_g, α, t_{12}) → t5_y''
  241. Rotate(t4_p, α, t_{12}) → t4_g''
  242. Rotate(t4_y, α, t_{12}) → t4_y''
  243. Rotate(t3_p, α, t_{12}) → t3_y''
  244. Rotate(t1_g, α, t_{12}) → t1_y''
  245. Rotate(t3_b, α, t_{12}) → t3_g''
  246. Rotate(t2_g, α, t_{12}) → t2_g''
  247. Rotate(t1_y, α, t_{12}) → t1_g''
  248. Line(D, K) → j_{13}
  249. Rotate(t1_g, (-α), j_{13}) → t1_g'''
  250. Rotate(t2_b, (-α), j_{13}) → t2_g'''
  251. Rotate(t3_p, (-α), j_{13}) → t3_g'''
  252. Rotate(t4_y, (-α), j_{13}) → t4_g'''
  253. Rotate(t5_g, (-α), j_{13}) → t5_g'''
  254. Rotate(t6_b, (-α), j_{13}) → t6_g'''
  255. Rotate(t7_p, (-α), j_{13}) → t7_g'''
  256. Rotate(t8_y, (-α), j_{13}) → t8_g'''
  257. Rotate(t9_g, (-α), j_{13}) → t9_g'''
  258. Rotate(t10_b, (-α), j_{13}) → t10_g'''
  259. Rotate(t1_b, (-α), j_{13}) → t1_p'''
  260. Rotate(t2_p, (-α), j_{13}) → t2_p'''
  261. Rotate(t3_y, (-α), j_{13}) → t3_p'''
  262. Rotate(t4_g, (-α), j_{13}) → t4_p'''
  263. Rotate(t5_b, (-α), j_{13}) → t5_p'''
  264. Rotate(t6_p, (-α), j_{13}) → t6_p'''
  265. Rotate(t7_y, (-α), j_{13}) → t7_p'''
  266. Rotate(t8_g, (-α), j_{13}) → t8_p'''
  267. Rotate(t9_b, (-α), j_{13}) → t9_p'''
  268. Rotate(t10_p, (-α), j_{13}) → t10_p'''
  269. Rotate(t1_y, (-α), j_{13}) → t1_y'''
  270. Rotate(t2_g, (-α), j_{13}) → t2_y'''
  271. Rotate(t3_b, (-α), j_{13}) → t3_y'''
  272. Rotate(t4_p, (-α), j_{13}) → t4_y'''
  273. Rotate(t5_y, (-α), j_{13}) → t5_y'''
  274. Rotate(t6_g, (-α), j_{13}) → t6_y'''
  275. Rotate(t7_b, (-α), j_{13}) → t7_y'''
  276. Rotate(t8_p, (-α), j_{13}) → t8_y'''
  277. Rotate(t9_y, (-α), j_{13}) → t9_y'''
  278. Rotate(t10_g, (-α), j_{13}) → t10_y'''
  279. Rotate(t1_p, (-α), j_{13}) → t1_b'''
  280. Rotate(t2_y, (-α), j_{13}) → t2_b'''
  281. Rotate(t3_g, (-α), j_{13}) → t3_b'''
  282. Rotate(t4_b, (-α), j_{13}) → t4_b'''
  283. Rotate(t5_p, (-α), j_{13}) → t5_b'''
  284. Rotate(t6_y, (-α), j_{13}) → t6_b'''
  285. Rotate(t7_g, (-α), j_{13}) → t7_b'''
  286. Rotate(t8_b, (-α), j_{13}) → t8_b'''
  287. Rotate(t9_p, (-α), j_{13}) → t9_b'''
  288. Rotate(t10_y, (-α), j_{13}) → t10_b'''
  289. Rotate(t1_y, α, edgeAD) → t1_y''''
  290. Rotate(t2_g, α, edgeAD) → t2_y''''
  291. Rotate(t3_b, α, edgeAD) → t3_y''''
  292. Rotate(t4_p, α, edgeAD) → t4_y''''
  293. Rotate(t5_y, α, edgeAD) → t5_y''''
  294. Rotate(t6_g, α, edgeAD) → t6_y''''
  295. Rotate(t7_b, α, edgeAD) → t7_y''''
  296. Rotate(t8_p, α, edgeAD) → t8_y''''
  297. Rotate(t9_y, α, edgeAD) → t9_y''''
  298. Rotate(t10_g, α, edgeAD) → t10_y''''
  299. Rotate(t1_g, α, edgeAD) → t1_b''''
  300. Rotate(t2_b, α, edgeAD) → t2_b''''
  301. Rotate(t3_p, α, edgeAD) → t3_b''''
  302. Rotate(t4_y, α, edgeAD) → t4_b''''
  303. Rotate(t5_g, α, edgeAD) → t5_b''''
  304. Rotate(t6_b, α, edgeAD) → t6_b''''
  305. Rotate(t7_p, α, edgeAD) → t7_b''''
  306. Rotate(t8_y, α, edgeAD) → t8_b''''
  307. Rotate(t9_g, α, edgeAD) → t9_b''''
  308. Rotate(t10_b, α, edgeAD) → t10_b''''
  309. Rotate(t1_p, α, edgeAD) → t1_p''''
  310. Rotate(t2_y, α, edgeAD) → t2_p''''
  311. Rotate(t3_g, α, edgeAD) → t3_p''''
  312. Rotate(t4_b, α, edgeAD) → t4_p''''
  313. Rotate(t5_p, α, edgeAD) → t5_p''''
  314. Rotate(t6_y, α, edgeAD) → t6_p''''
  315. Rotate(t7_g, α, edgeAD) → t7_p''''
  316. Rotate(t8_b, α, edgeAD) → t8_p''''
  317. Rotate(t9_p, α, edgeAD) → t9_p''''
  318. Rotate(t10_y, α, edgeAD) → t10_p''''
  319. Rotate(t1_b, α, edgeAD) → t1_g''''
  320. Rotate(t2_p, α, edgeAD) → t2_g''''
  321. Rotate(t3_y, α, edgeAD) → t3_g''''
  322. Rotate(t4_g, α, edgeAD) → t4_g''''
  323. Rotate(t5_b, α, edgeAD) → t5_g''''
  324. Rotate(t6_p, α, edgeAD) → t6_g''''
  325. Rotate(t7_y, α, edgeAD) → t7_g''''
  326. Rotate(t8_g, α, edgeAD) → t8_g''''
  327. Rotate(t9_b, α, edgeAD) → t9_g''''
  328. Rotate(t10_p, α, edgeAD) → t10_g''''
  329. Rotate(t1_b'''', α, edgeMN) → t1_b'''''
  330. Rotate(t2_y'''', α, edgeMN) → t2_b'''''
  331. Rotate(t3_p'''', α, edgeMN) → t3_b'''''
  332. Rotate(t4_g'''', α, edgeMN) → t4_b'''''
  333. Rotate(t5_b'''', α, edgeMN) → t5_b'''''
  334. Rotate(t6_y'''', α, edgeMN) → t6_b'''''
  335. Rotate(t7_p'''', α, edgeMN) → t7_b'''''
  336. Rotate(t8_g'''', α, edgeMN) → t8_b'''''
  337. Rotate(t9_b'''', α, edgeMN) → t9_b'''''
  338. Rotate(t10_y'''', α, edgeMN) → t10_b'''''
  339. Rotate(t2_g'''', α, edgeMN) → t2_y'''''
  340. Rotate(t1_p'''', α, edgeMN) → t1_y'''''
  341. Rotate(t2_b'''', α, edgeMN) → t2_g'''''
  342. Rotate(t1_g'''', α, edgeMN) → t1_g'''''
  343. Rotate(t3_b'''', α, edgeMN) → t3_y'''''
  344. Rotate(t4_y'''', α, edgeMN) → t4_y'''''
  345. Rotate(t5_p'''', α, edgeMN) → t5_y'''''
  346. Rotate(t6_g'''', α, edgeMN) → t6_y'''''
  347. Rotate(t7_b'''', α, edgeMN) → t7_y'''''
  348. Rotate(t8_y'''', α, edgeMN) → t8_y'''''
  349. Rotate(t9_p'''', α, edgeMN) → t9_y'''''
  350. Rotate(t10_g'''', α, edgeMN) → t10_y'''''
  351. Rotate(t3_y'''', α, edgeMN) → t3_g'''''
  352. Rotate(t4_p'''', α, edgeMN) → t4_g'''''
  353. Rotate(t5_g'''', α, edgeMN) → t5_g'''''
  354. Rotate(t6_b'''', α, edgeMN) → t6_g'''''
  355. Rotate(t7_y'''', α, edgeMN) → t7_g'''''
  356. Rotate(t8_p'''', α, edgeMN) → t8_g'''''
  357. Rotate(t9_g'''', α, edgeMN) → t9_g'''''
  358. Rotate(t10_b'''', α, edgeMN) → t10_g'''''
  359. Rotate(t1_y'''', α, edgeMN) → t1_p'''''
  360. Rotate(t2_p'''', α, edgeMN) → t2_p'''''
  361. Rotate(t3_g'''', α, edgeMN) → t3_p'''''
  362. Rotate(t4_b'''', α, edgeMN) → t4_p'''''
  363. Rotate(t5_y'''', α, edgeMN) → t5_p'''''
  364. Rotate(t6_p'''', α, edgeMN) → t6_p'''''
  365. Rotate(t7_g'''', α, edgeMN) → t7_p'''''
  366. Rotate(t8_b'''', α, edgeMN) → t8_p'''''
  367. Rotate(t9_y'''', α, edgeMN) → t9_p'''''
  368. Rotate(t10_p'''', α, edgeMN) → t10_p'''''