MathPlotAI Logo MathPlotAI

Escher-Style Quadrilateral and Pentagon

Escher-Style Quadrilateral and Pentagon
Loading the math board and drawing, please wait…
2023-03-22 23:01
PolygonAngleVectorGeometric Construction
In collections geometriadinamica.es
This example demonstrates the construction of Escher-style quadrilaterals and pentagons. It involves core mathematical concepts such as geometric transformations and combinations. The construction uses GeoGebra commands like If, Polygon, Point, Rotate, Vector, Translate, Mirror, Midpoint, and Angle. It is suitable for teaching middle school mathematics and geometry.

GeoGebra Commands & Parameters

  1. If(a < 5.5, 0, a - 5.5) → d6
  2. If(a < 4.5, 0, If[a < 5.5, a - 4.5, 1]) → d5
  3. If(a < 1, Max[a, 0], 1) → d1
  4. If(a < 1.1, 0, If[a < 2.1, a - 1.1, 1]) → d2
  5. If(a < 2.3, 0, If[a < 3.3, a - 2.3, 1]) → d3
  6. If(a < 3.4, 0, If[a < 4.4, a - 3.4, 1]) → d4
  7. Polygon(C, D, 6) → poly1, b, H, d, e, f, g, h, E, F, G
  8. Point(d) → L
  9. Point(f) → O
  10. Point(h) → U
  11. Point(e) → C_1
  12. Point(h) → D_1
  13. Point(b) → G_1
  14. Point(g) → H_1
  15. Point(g) → L_1
  16. Rotate(D, ((-d1) * 240°), D) → D'
  17. Rotate(I, ((-d1) * 240°), D) → I'
  18. Rotate(J, ((-d1) * 240°), D) → J'
  19. Rotate(K, ((-d1) * 240°), D) → K'
  20. Rotate(L, ((-d1) * 240°), D) → L'
  21. Polygon(D', I', J', K', L') → poly2', d', i', j', k', l'
  22. Rotate(F, ((-d1) * 240°), F) → F'
  23. Rotate(M, ((-d1) * 240°), F) → M'
  24. Rotate(N, ((-d1) * 240°), F) → N'
  25. Rotate(O, ((-d1) * 240°), F) → O'
  26. Polygon(F', M', N', O') → poly3', f', m', n', o'
  27. Rotate(H, ((-d1) * 240°), H) → H'
  28. Rotate(P, ((-d1) * 240°), H) → P'
  29. Rotate(Q, ((-d1) * 240°), H) → Q'
  30. Rotate(R, ((-d1) * 240°), H) → R'
  31. Rotate(S, ((-d1) * 240°), H) → S'
  32. Rotate(T, ((-d1) * 240°), H) → T'
  33. Rotate(U, ((-d1) * 240°), H) → U'
  34. Polygon(H', P', Q', R', S', T', U') → poly4', h', p', q', r', s', t', u'
  35. Rotate(E, (d2 * 240°), F) → E'
  36. Rotate(V, (d2 * 240°), F) → V'
  37. Rotate(W, (d2 * 240°), F) → W'
  38. Rotate(Z, (d2 * 240°), F) → Z'
  39. Rotate(A_1, (d2 * 240°), F) → M_1
  40. Rotate(B_1, (d2 * 240°), F) → N_1
  41. Rotate(C_1, (d2 * 240°), F) → O_1
  42. Polygon(E', V', W', Z', M_1, N_1, O_1) → poly5', e', v', w', z', m_1, n_1, o_1
  43. Rotate(H_1, (d2 * 240°), H) → P_1
  44. Rotate(I_1, (d2 * 240°), H) → Q_1
  45. Rotate(J_1, (d2 * 240°), H) → R_1
  46. Rotate(K_1, (d2 * 240°), H) → S_1
  47. Rotate(L_1, (d2 * 240°), H) → T_1
  48. Polygon(P_1, Q_1, R_1, S_1, T_1) → poly7', p_1, q_1, r_1, s_1, t_1
  49. Rotate(D_1, (d2 * 240°), D) → U_1
  50. Rotate(E_1, (d2 * 240°), D) → V_1
  51. Rotate(F_1, (d2 * 240°), D) → W_1
  52. Rotate(G_1, (d2 * 240°), D) → Z_1
  53. Rotate(C, (d2 * 240°), D) → C'
  54. Polygon(U_1, V_1, W_1, Z_1, C') → poly6', u_1, v_1, w_1, z_1, c'
  55. Point(g) → A_2
  56. Polygon(I_1, A_2, E_1, F_1, G_1, D, I, J, K, L, E, V, H, W, Z, A_1, B_1, C_1, F, M, N, O, G, P, L_1, K_1, J_1, Q, R, S, T, U, D_1) → poly2, i_1, d_1, e_1, f_1, g_1, d_2, i, j, k, l, e_2, a_2, v_{11}, w, z, a_1, b_1, c_1, f_2, m, n, o, h_1, g_2, l_1, k_1, j_1, p, q, r, s, t, u
  57. Vector(C, D) → u_2
  58. Vector(F, E) → v_2
  59. Rotate(I_1, (d3 * 120°), F) → D_2
  60. Rotate(A_2, (d3 * 120°), F) → E_2
  61. Rotate(H, (d3 * 120°), F) → H'_1
  62. Rotate(P, (d3 * 120°), F) → P'_1
  63. Rotate(Q, (d3 * 120°), F) → Q'_1
  64. Rotate(R, (d3 * 120°), F) → R'_1
  65. Rotate(S, (d3 * 120°), F) → S'_1
  66. Rotate(T, (d3 * 120°), F) → T'_1
  67. Rotate(U, (d3 * 120°), F) → U'_1
  68. Rotate(D_1, (d3 * 120°), F) → F_2
  69. Rotate(E_1, (d3 * 120°), F) → G_2
  70. Rotate(F_1, (d3 * 120°), F) → H_2
  71. Rotate(G_1, (d3 * 120°), F) → I_2
  72. Rotate(D, (d3 * 120°), F) → D'_1
  73. Rotate(I, (d3 * 120°), F) → I'_1
  74. Rotate(J, (d3 * 120°), F) → J'_1
  75. Rotate(K, (d3 * 120°), F) → K'_1
  76. Rotate(L, (d3 * 120°), F) → L'_1
  77. Rotate(E, (d3 * 120°), F) → E'_1
  78. Rotate(V, (d3 * 120°), F) → V'_1
  79. Rotate(W, (d3 * 120°), F) → W'_1
  80. Rotate(Z, (d3 * 120°), F) → Z'_1
  81. Rotate(A_1, (d3 * 120°), F) → J_2
  82. Rotate(B_1, (d3 * 120°), F) → K_2
  83. Rotate(C_1, (d3 * 120°), F) → L_2
  84. Rotate(F, (d3 * 120°), F) → F'_1
  85. Rotate(M, (d3 * 120°), F) → M'_1
  86. Rotate(N, (d3 * 120°), F) → N'_1
  87. Rotate(O, (d3 * 120°), F) → O'_1
  88. Rotate(G, (d3 * 120°), F) → G'
  89. Rotate(L_1, (d3 * 120°), F) → M_2
  90. Rotate(K_1, (d3 * 120°), F) → N_2
  91. Rotate(J_1, (d3 * 120°), F) → O_2
  92. Polygon(D_2, E_2, G_2, H_2, I_2, D'_1, I'_1, J'_1, K'_1, L'_1, E'_1, V'_1, H'_1, W'_1, Z'_1, J_2, K_2, L_2, F'_1, M'_1, N'_1, O'_1, G', P'_1, M_2, N_2, O_2, Q'_1, R'_1, S'_1, T'_1, U'_1, F_2) → poly2'_1, d_3, f_3, g_3, h_2, i_2, d'_1, i'_1, j'_1, k'_1, l'_1, e'_1, e_3, v'_1, w'_1, z'_1, j_2, k_2, l_2, f'_1, m'_1, n'_1, o'_1, h'_1, g', m_2, n_2, o_2, p'_1, q'_1, r'_1, s'_1, t'_1, u'_1
  93. Rotate(F', (d3 * 120°), F) → F''
  94. Rotate(M', (d3 * 120°), F) → M''
  95. Rotate(N', (d3 * 120°), F) → N''
  96. Rotate(O', (d3 * 120°), F) → O''
  97. Polygon(F'', M'', N'', O'') → poly3'', f'', m'', n'', o''
  98. Rotate(U_1, (d3 * 120°), F) → P_2
  99. Rotate(V_1, (d3 * 120°), F) → Q_2
  100. Rotate(W_1, (d3 * 120°), F) → R_2
  101. Rotate(Z_1, (d3 * 120°), F) → S_2
  102. Rotate(C', (d3 * 120°), F) → C''
  103. Polygon(P_2, Q_2, R_2, S_2, C'') → poly6'', p_2, q_2, r_2, s_2, c''
  104. Rotate(D', (d3 * 120°), F) → D''
  105. Rotate(I', (d3 * 120°), F) → I''
  106. Rotate(J', (d3 * 120°), F) → J''
  107. Rotate(K', (d3 * 120°), F) → K''
  108. Rotate(L', (d3 * 120°), F) → L''
  109. Polygon(D'', I'', J'', K'', L'') → poly2'', d'', i'', j'', k'', l''
  110. Rotate(P_1, (d3 * 120°), F) → T_2
  111. Rotate(Q_1, (d3 * 120°), F) → U_2
  112. Rotate(R_1, (d3 * 120°), F) → V_2
  113. Rotate(S_1, (d3 * 120°), F) → W_2
  114. Rotate(T_1, (d3 * 120°), F) → Z_2
  115. Polygon(T_2, U_2, V_2, W_2, Z_2) → poly7'', t_2, u_3, v_3, w_3, z_3
  116. Rotate(H', (d3 * 120°), F) → H''
  117. Rotate(P', (d3 * 120°), F) → P''
  118. Rotate(Q', (d3 * 120°), F) → Q''
  119. Rotate(R', (d3 * 120°), F) → R''
  120. Rotate(S', (d3 * 120°), F) → S''
  121. Rotate(T', (d3 * 120°), F) → T''
  122. Rotate(U', (d3 * 120°), F) → U''
  123. Polygon(H'', P'', Q'', R'', S'', T'', U'') → poly4'', h'', p'', q'', r'', s'', t'', u''
  124. Rotate(E', (d3 * 120°), F) → E''
  125. Rotate(V', (d3 * 120°), F) → V''
  126. Rotate(W', (d3 * 120°), F) → W''
  127. Rotate(Z', (d3 * 120°), F) → Z''
  128. Rotate(M_1, (d3 * 120°), F) → A_3
  129. Rotate(N_1, (d3 * 120°), F) → B_3
  130. Rotate(O_1, (d3 * 120°), F) → C_3
  131. Polygon(E'', V'', W'', Z'', A_3, B_3, C_3) → poly5'', e'', v'', w'', z'', a_3, b_3, c_3
  132. Rotate(D_2, (d4 * 120°), F) → D_3
  133. Rotate(E_2, (d4 * 120°), F) → E_3
  134. Rotate(H'_1, (d4 * 120°), F) → F_3
  135. Rotate(P'_1, (d4 * 120°), F) → G_3
  136. Rotate(Q'_1, (d4 * 120°), F) → H_3
  137. Rotate(R'_1, (d4 * 120°), F) → I_3
  138. Rotate(S'_1, (d4 * 120°), F) → J_3
  139. Rotate(T'_1, (d4 * 120°), F) → K_3
  140. Rotate(U'_1, (d4 * 120°), F) → L_3
  141. Rotate(F_2, (d4 * 120°), F) → M_3
  142. Rotate(G_2, (d4 * 120°), F) → N_3
  143. Rotate(H_2, (d4 * 120°), F) → O_3
  144. Rotate(I_2, (d4 * 120°), F) → P_3
  145. Rotate(D'_1, (d4 * 120°), F) → Q_3
  146. Rotate(I'_1, (d4 * 120°), F) → R_3
  147. Rotate(J'_1, (d4 * 120°), F) → S_3
  148. Rotate(K'_1, (d4 * 120°), F) → T_3
  149. Rotate(L'_1, (d4 * 120°), F) → U_3
  150. Rotate(E'_1, (d4 * 120°), F) → V_3
  151. Rotate(V'_1, (d4 * 120°), F) → W_3
  152. Rotate(W'_1, (d4 * 120°), F) → Z_3
  153. Rotate(Z'_1, (d4 * 120°), F) → A_4
  154. Rotate(J_2, (d4 * 120°), F) → B_4
  155. Rotate(K_2, (d4 * 120°), F) → C_4
  156. Rotate(L_2, (d4 * 120°), F) → D_4
  157. Rotate(F'_1, (d4 * 120°), F) → E_4
  158. Rotate(M'_1, (d4 * 120°), F) → F_4
  159. Rotate(N'_1, (d4 * 120°), F) → G_4
  160. Rotate(O'_1, (d4 * 120°), F) → H_4
  161. Rotate(G', (d4 * 120°), F) → G''
  162. Rotate(M_2, (d4 * 120°), F) → I_4
  163. Rotate(N_2, (d4 * 120°), F) → J_4
  164. Rotate(O_2, (d4 * 120°), F) → K_4
  165. Polygon(D_3, E_3, N_3, O_3, P_3, Q_3, R_3, S_3, T_3, U_3, V_3, W_3, F_3, Z_3, A_4, B_4, C_4, D_4, E_4, F_4, G_4, H_4, G'', G_3, I_4, J_4, K_4, H_3, I_3, J_3, K_3, L_3, M_3) → poly3, d_4, m_3, n_3, o_3, p_3, q_3, r_3, s_3, t_3, u_4, v_4, e_4, w_4, z_4, a_4, b_4, c_4, d_5, e_5, f_5, g_5, h_4, f_4, g'', i_4, j_4, k_4, g_4, h_3, i_3, j_3, k_3, l_3
  166. Rotate(F'', (d4 * 120°), F) → F'''
  167. Rotate(M'', (d4 * 120°), F) → M'''
  168. Rotate(N'', (d4 * 120°), F) → N'''
  169. Rotate(O'', (d4 * 120°), F) → O'''
  170. Polygon(F''', M''', N''', O''') → poly3''', f''', m''', n''', o'''
  171. Rotate(E'', (d4 * 120°), F) → E'''
  172. Rotate(V'', (d4 * 120°), F) → V'''
  173. Rotate(W'', (d4 * 120°), F) → W'''
  174. Rotate(Z'', (d4 * 120°), F) → Z'''
  175. Rotate(A_3, (d4 * 120°), F) → L_4
  176. Rotate(B_3, (d4 * 120°), F) → M_4
  177. Rotate(C_3, (d4 * 120°), F) → N_4
  178. Polygon(E''', V''', W''', Z''', L_4, M_4, N_4) → poly5''', e''', v''', w''', z''', l_4, m_4, n_4
  179. Rotate(H'', (d4 * 120°), F) → H'''
  180. Rotate(P'', (d4 * 120°), F) → P'''
  181. Rotate(Q'', (d4 * 120°), F) → Q'''
  182. Rotate(R'', (d4 * 120°), F) → R'''
  183. Rotate(S'', (d4 * 120°), F) → S'''
  184. Rotate(T'', (d4 * 120°), F) → T'''
  185. Rotate(U'', (d4 * 120°), F) → U'''
  186. Polygon(H''', P''', Q''', R''', S''', T''', U''') → poly4''', h''', p''', q''', r''', s''', t''', u'''
  187. Rotate(T_2, (d4 * 120°), F) → O_4
  188. Rotate(U_2, (d4 * 120°), F) → P_4
  189. Rotate(V_2, (d4 * 120°), F) → Q_4
  190. Rotate(W_2, (d4 * 120°), F) → R_4
  191. Rotate(Z_2, (d4 * 120°), F) → S_4
  192. Polygon(O_4, P_4, Q_4, R_4, S_4) → poly7''', o_4, p_4, q_4, r_4, s_4
  193. Rotate(D'', (d4 * 120°), F) → D'''
  194. Rotate(I'', (d4 * 120°), F) → I'''
  195. Rotate(J'', (d4 * 120°), F) → J'''
  196. Rotate(K'', (d4 * 120°), F) → K'''
  197. Rotate(L'', (d4 * 120°), F) → L'''
  198. Polygon(D''', I''', J''', K''', L''') → poly2''', d''', i''', j''', k''', l'''
  199. Rotate(P_2, (d4 * 120°), F) → T_4
  200. Rotate(Q_2, (d4 * 120°), F) → U_4
  201. Rotate(R_2, (d4 * 120°), F) → V_4
  202. Rotate(S_2, (d4 * 120°), F) → W_4
  203. Rotate(C'', (d4 * 120°), F) → C'''
  204. Polygon(T_4, U_4, V_4, W_4, C''') → poly6''', t_4, u_5, v_5, w_5, c'''
  205. Translate(I_1, w_2) → Z_4
  206. Translate(A_2, w_2) → A_5
  207. Translate(H, w_2) → H'_2
  208. Translate(P, w_2) → P'_2
  209. Translate(Q, w_2) → Q'_2
  210. Translate(R, w_2) → R'_2
  211. Translate(S, w_2) → S'_2
  212. Translate(T, w_2) → T'_2
  213. Translate(U, w_2) → U'_2
  214. Translate(D_1, w_2) → B_5
  215. Translate(E_1, w_2) → C_5
  216. Translate(F_1, w_2) → D_5
  217. Translate(G_1, w_2) → E_5
  218. Translate(D, w_2) → D'_2
  219. Translate(I, w_2) → I'_2
  220. Translate(J, w_2) → J'_2
  221. Translate(K, w_2) → K'_2
  222. Translate(L, w_2) → L'_2
  223. Translate(E, w_2) → E'_2
  224. Translate(V, w_2) → V'_2
  225. Translate(W, w_2) → W'_2
  226. Translate(Z, w_2) → Z'_2
  227. Translate(A_1, w_2) → F_5
  228. Translate(B_1, w_2) → G_5
  229. Translate(C_1, w_2) → H_5
  230. Translate(F, w_2) → F'_2
  231. Translate(M, w_2) → M'_2
  232. Translate(N, w_2) → N'_2
  233. Translate(O, w_2) → O'_2
  234. Translate(G, w_2) → G'_1
  235. Translate(L_1, w_2) → I_5
  236. Translate(K_1, w_2) → J_5
  237. Translate(J_1, w_2) → K_5
  238. Polygon(Z_4, A_5, C_5, D_5, E_5, D'_2, I'_2, J'_2, K'_2, L'_2, E'_2, V'_2, H'_2, W'_2, Z'_2, F_5, G_5, H_5, F'_2, M'_2, N'_2, O'_2, G'_1, P'_2, I_5, J_5, K_5, Q'_2, R'_2, S'_2, T'_2, U'_2, B_5) → poly2'_2, z_5, b_5, c_5, d_6, e_6, d'_2, i'_2, j'_2, k'_2, l'_2, e'_2, a_5, v'_2, w'_2, z'_2, f_6, g_6, h_5, f'_2, m'_2, n'_2, o'_2, h'_2, g'_1, i_5, j_5, k_5, p'_2, q'_2, r'_2, s'_2, t'_2, u'_2
  239. Translate(H', w_2) → H''_1
  240. Translate(P', w_2) → P''_1
  241. Translate(Q', w_2) → Q''_1
  242. Translate(R', w_2) → R''_1
  243. Translate(S', w_2) → S''_1
  244. Translate(T', w_2) → T''_1
  245. Translate(U', w_2) → U''_1
  246. Polygon(H''_1, P''_1, Q''_1, R''_1, S''_1, T''_1, U''_1) → poly4''_1, h''_1, p''_1, q''_1, r''_1, s''_1, t''_1, u''_1
  247. Translate(E', w_2) → E''_1
  248. Translate(V', w_2) → V''_1
  249. Translate(W', w_2) → W''_1
  250. Translate(Z', w_2) → Z''_1
  251. Translate(M_1, w_2) → L_5
  252. Translate(N_1, w_2) → M_5
  253. Translate(O_1, w_2) → N_5
  254. Polygon(E''_1, V''_1, W''_1, Z''_1, L_5, M_5, N_5) → poly5''_1, e''_1, v''_1, w''_1, z''_1, l_5, m_5, n_5
  255. Translate(F', w_2) → F''_1
  256. Translate(M', w_2) → M''_1
  257. Translate(N', w_2) → N''_1
  258. Translate(O', w_2) → O''_1
  259. Polygon(F''_1, M''_1, N''_1, O''_1) → poly3''_1, f''_1, m''_1, n''_1, o''_1
  260. Translate(U_1, w_2) → O_5
  261. Translate(V_1, w_2) → P_5
  262. Translate(W_1, w_2) → Q_5
  263. Translate(Z_1, w_2) → R_5
  264. Translate(C', w_2) → C''_1
  265. Polygon(O_5, P_5, Q_5, R_5, C''_1) → poly6''_1, o_5, p_5, q_5, r_5, c''_1
  266. Translate(D', w_2) → D''_1
  267. Translate(I', w_2) → I''_1
  268. Translate(J', w_2) → J''_1
  269. Translate(K', w_2) → K''_1
  270. Translate(L', w_2) → L''_1
  271. Polygon(D''_1, I''_1, J''_1, K''_1, L''_1) → poly2''_1, d''_1, i''_1, j''_1, k''_1, l''_1
  272. Translate(P_1, w_2) → S_5
  273. Translate(Q_1, w_2) → T_5
  274. Translate(R_1, w_2) → U_5
  275. Translate(S_1, w_2) → V_5
  276. Translate(T_1, w_2) → W_5
  277. Polygon(S_5, T_5, U_5, V_5, W_5) → poly7''_1, s_5, t_5, u_6, v_6, w_6
  278. Translate(F'', w_2) → F'''_1
  279. Translate(M'', w_2) → M'''_1
  280. Translate(N'', w_2) → N'''_1
  281. Translate(O'', w_2) → O'''_1
  282. Polygon(F'''_1, M'''_1, N'''_1, O'''_1) → poly3'''_1, f'''_1, m'''_1, n'''_1, o'''_1
  283. Translate(D_2, w_2) → Z_5
  284. Translate(E_2, w_2) → A_6
  285. Translate(H'_1, w_2) → B_6
  286. Translate(P'_1, w_2) → C_6
  287. Translate(Q'_1, w_2) → D_6
  288. Translate(R'_1, w_2) → E_6
  289. Translate(S'_1, w_2) → F_6
  290. Translate(T'_1, w_2) → G_6
  291. Translate(U'_1, w_2) → H_6
  292. Translate(F_2, w_2) → I_6
  293. Translate(G_2, w_2) → J_6
  294. Translate(H_2, w_2) → K_6
  295. Translate(I_2, w_2) → L_6
  296. Translate(D'_1, w_2) → M_6
  297. Translate(I'_1, w_2) → N_6
  298. Translate(J'_1, w_2) → O_6
  299. Translate(K'_1, w_2) → P_6
  300. Translate(L'_1, w_2) → Q_6
  301. Translate(E'_1, w_2) → R_6
  302. Translate(V'_1, w_2) → S_6
  303. Translate(W'_1, w_2) → T_6
  304. Translate(Z'_1, w_2) → U_6
  305. Translate(J_2, w_2) → V_6
  306. Translate(K_2, w_2) → W_6
  307. Translate(L_2, w_2) → Z_6
  308. Translate(F'_1, w_2) → A_7
  309. Translate(M'_1, w_2) → B_7
  310. Translate(N'_1, w_2) → C_7
  311. Translate(O'_1, w_2) → D_7
  312. Translate(G', w_2) → G''_1
  313. Translate(M_2, w_2) → E_7
  314. Translate(N_2, w_2) → F_7
  315. Translate(O_2, w_2) → G_7
  316. Polygon(Z_5, A_6, J_6, K_6, L_6, M_6, N_6, O_6, P_6, Q_6, R_6, S_6, B_6, T_6, U_6, V_6, W_6, Z_6, A_7, B_7, C_7, D_7, G''_1, C_6, E_7, F_7, G_7, D_6, E_6, F_6, G_6, H_6, I_6) → poly4, z_6, i_6, j_6, k_6, l_6, m_6, n_6, o_6, p_6, q_6, r_6, a_6, s_6, t_6, u_7, v_7, w_7, z_7, a_7, b_7, c_7, d_8, b_6, g''_1, e_8, f_8, g_8, c_6, d_7, e_7, f_7, g_7, h_6
  317. Translate(P_2, w_2) → H_7
  318. Translate(Q_2, w_2) → I_7
  319. Translate(R_2, w_2) → J_7
  320. Translate(S_2, w_2) → K_7
  321. Translate(C'', w_2) → C'''_1
  322. Polygon(H_7, I_7, J_7, K_7, C'''_1) → poly6'''_1, h_7, i_7, j_7, k_7, c'''_1
  323. Translate(D'', w_2) → D'''_1
  324. Translate(I'', w_2) → I'''_1
  325. Translate(J'', w_2) → J'''_1
  326. Translate(K'', w_2) → K'''_1
  327. Translate(L'', w_2) → L'''_1
  328. Polygon(D'''_1, I'''_1, J'''_1, K'''_1, L'''_1) → poly2'''_1, d'''_1, i'''_1, j'''_1, k'''_1, l'''_1
  329. Translate(T_2, w_2) → L_7
  330. Translate(U_2, w_2) → M_7
  331. Translate(V_2, w_2) → N_7
  332. Translate(W_2, w_2) → O_7
  333. Translate(Z_2, w_2) → P_7
  334. Polygon(L_7, M_7, N_7, O_7, P_7) → poly7'''_1, l_7, m_7, n_7, o_7, p_7
  335. Translate(H'', w_2) → H'''_1
  336. Translate(P'', w_2) → P'''_1
  337. Translate(Q'', w_2) → Q'''_1
  338. Translate(R'', w_2) → R'''_1
  339. Translate(S'', w_2) → S'''_1
  340. Translate(T'', w_2) → T'''_1
  341. Translate(U'', w_2) → U'''_1
  342. Polygon(H'''_1, P'''_1, Q'''_1, R'''_1, S'''_1, T'''_1, U'''_1) → poly4'''_1, h'''_1, p'''_1, q'''_1, r'''_1, s'''_1, t'''_1, u'''_1
  343. Translate(E'', w_2) → E'''_1
  344. Translate(V'', w_2) → V'''_1
  345. Translate(W'', w_2) → W'''_1
  346. Translate(Z'', w_2) → Z'''_1
  347. Translate(A_3, w_2) → Q_7
  348. Translate(B_3, w_2) → R_7
  349. Translate(C_3, w_2) → S_7
  350. Polygon(E'''_1, V'''_1, W'''_1, Z'''_1, Q_7, R_7, S_7) → poly5'''_1, e'''_1, v'''_1, w'''_1, z'''_1, q_7, r_7, s_7
  351. Translate(D_3, w_2) → T_7
  352. Translate(E_3, w_2) → U_7
  353. Translate(F_3, w_2) → V_7
  354. Translate(G_3, w_2) → W_7
  355. Translate(H_3, w_2) → Z_7
  356. Translate(I_3, w_2) → A_8
  357. Translate(J_3, w_2) → B_8
  358. Translate(K_3, w_2) → C_8
  359. Translate(L_3, w_2) → D_8
  360. Translate(M_3, w_2) → E_8
  361. Translate(N_3, w_2) → F_8
  362. Translate(O_3, w_2) → G_8
  363. Translate(P_3, w_2) → H_8
  364. Translate(Q_3, w_2) → I_8
  365. Translate(R_3, w_2) → J_8
  366. Translate(S_3, w_2) → K_8
  367. Translate(T_3, w_2) → L_8
  368. Translate(U_3, w_2) → M_8
  369. Translate(V_3, w_2) → N_8
  370. Translate(W_3, w_2) → O_8
  371. Translate(Z_3, w_2) → P_8
  372. Translate(A_4, w_2) → Q_8
  373. Translate(B_4, w_2) → R_8
  374. Translate(C_4, w_2) → S_8
  375. Translate(D_4, w_2) → T_8
  376. Translate(E_4, w_2) → U_8
  377. Translate(F_4, w_2) → V_8
  378. Translate(G_4, w_2) → W_8
  379. Translate(H_4, w_2) → Z_8
  380. Translate(G'', w_2) → G'''
  381. Translate(I_4, w_2) → A_9
  382. Translate(J_4, w_2) → B_9
  383. Translate(K_4, w_2) → C_9
  384. Polygon(T_7, U_7, F_8, G_8, H_8, I_8, J_8, K_8, L_8, M_8, N_8, O_8, V_7, P_8, Q_8, R_8, S_8, T_8, U_8, V_8, W_8, Z_8, G''', W_7, A_9, B_9, C_9, Z_7, A_8, B_8, C_8, D_8, E_8) → poly3'_1, t_7, e_9, f_9, g_9, h_8, i_8, j_8, k_8, l_8, m_8, n_8, u_8, o_8, p_8, q_8, r_8, s_8, t_8, u_9, v_9, w_9, z_9, v_8, g''', a_9, b_9, c_9, w_8, z_8, a_8, b_8, c_8, d_9
  385. Translate(F''', w_2) → D_9
  386. Translate(M''', w_2) → E_9
  387. Translate(N''', w_2) → F_9
  388. Translate(O''', w_2) → G_9
  389. Polygon(D_9, E_9, F_9, G_9) → poly5, d_{10}, e_{10}, f_{10}, g_{10}
  390. Translate(E''', w_2) → H_9
  391. Translate(V''', w_2) → I_9
  392. Translate(W''', w_2) → J_9
  393. Translate(Z''', w_2) → K_9
  394. Translate(L_4, w_2) → L_9
  395. Translate(M_4, w_2) → M_9
  396. Translate(N_4, w_2) → N_9
  397. Polygon(H_9, I_9, J_9, K_9, L_9, M_9, N_9) → poly6, h_9, i_9, j_9, k_9, l_9, m_9, n_9
  398. Translate(H''', w_2) → O_9
  399. Translate(P''', w_2) → P_9
  400. Translate(Q''', w_2) → Q_9
  401. Translate(R''', w_2) → R_9
  402. Translate(S''', w_2) → S_9
  403. Translate(T''', w_2) → T_9
  404. Translate(U''', w_2) → U_9
  405. Polygon(O_9, P_9, Q_9, R_9, S_9, T_9, U_9) → poly7, o_9, p_9, q_9, r_9, s_9, t_9, u_{10}
  406. Translate(O_4, w_2) → V_9
  407. Translate(P_4, w_2) → W_9
  408. Translate(Q_4, w_2) → Z_9
  409. Translate(R_4, w_2) → A_{10}
  410. Translate(S_4, w_2) → B_{10}
  411. Polygon(V_9, W_9, Z_9, A_{10}, B_{10}) → poly8, v_{10}, w_{10}, z_{10}, a_{10}, b_{10}
  412. Translate(D''', w_2) → C_{10}
  413. Translate(I''', w_2) → D_{10}
  414. Translate(J''', w_2) → E_{10}
  415. Translate(K''', w_2) → F_{10}
  416. Translate(L''', w_2) → G_{10}
  417. Polygon(C_{10}, D_{10}, E_{10}, F_{10}, G_{10}) → poly9, c_{10}, d_{11}, e_{11}, f_{11}, g_{11}
  418. Translate(I_1, z_2) → H_{10}
  419. Translate(A_2, z_2) → I_{10}
  420. Translate(H, z_2) → H'_3
  421. Translate(P, z_2) → P'_3
  422. Translate(Q, z_2) → Q'_3
  423. Translate(R, z_2) → R'_3
  424. Translate(S, z_2) → S'_3
  425. Translate(T, z_2) → T'_3
  426. Translate(U, z_2) → U'_3
  427. Translate(D_1, z_2) → J_{10}
  428. Translate(E_1, z_2) → K_{10}
  429. Translate(F_1, z_2) → L_{10}
  430. Translate(G_1, z_2) → M_{10}
  431. Translate(D, z_2) → D'_3
  432. Translate(I, z_2) → I'_3
  433. Translate(J, z_2) → J'_3
  434. Translate(K, z_2) → K'_3
  435. Translate(L, z_2) → L'_3
  436. Translate(E, z_2) → E'_3
  437. Translate(V, z_2) → V'_3
  438. Translate(W, z_2) → W'_3
  439. Translate(Z, z_2) → Z'_3
  440. Translate(A_1, z_2) → N_{10}
  441. Translate(B_1, z_2) → O_{10}
  442. Translate(C_1, z_2) → P_{10}
  443. Translate(F, z_2) → F'_3
  444. Translate(M, z_2) → M'_3
  445. Translate(N, z_2) → N'_3
  446. Translate(O, z_2) → O'_3
  447. Translate(G, z_2) → G'_2
  448. Translate(L_1, z_2) → Q_{10}
  449. Translate(K_1, z_2) → R_{10}
  450. Translate(J_1, z_2) → S_{10}
  451. Polygon(H_{10}, I_{10}, K_{10}, L_{10}, M_{10}, D'_3, I'_3, J'_3, K'_3, L'_3, E'_3, V'_3, H'_3, W'_3, Z'_3, N_{10}, O_{10}, P_{10}, F'_3, M'_3, N'_3, O'_3, G'_2, P'_3, Q_{10}, R_{10}, S_{10}, Q'_3, R'_3, S'_3, T'_3, U'_3, J_{10}) → poly2'_3, h_{10}, j_{10}, k_{10}, l_{10}, m_{10}, d'_3, i'_3, j'_3, k'_3, l'_3, e'_3, i_{10}, v'_3, w'_3, z'_3, n_{10}, o_{10}, p_{10}, f'_3, m'_3, n'_3, o'_3, h'_3, g'_2, q_{10}, r_{10}, s_{10}, p'_3, q'_3, r'_3, s'_3, t'_3, u'_3
  452. Translate(F', z_2) → F''_2
  453. Translate(M', z_2) → M''_2
  454. Translate(N', z_2) → N''_2
  455. Translate(O', z_2) → O''_2
  456. Polygon(F''_2, M''_2, N''_2, O''_2) → poly3''_2, f''_2, m''_2, n''_2, o''_2
  457. Translate(U_1, z_2) → T_{10}
  458. Translate(V_1, z_2) → U_{10}
  459. Translate(W_1, z_2) → V_{10}
  460. Translate(Z_1, z_2) → W_{10}
  461. Translate(C', z_2) → C''_2
  462. Translate(D', z_2) → D''_2
  463. Translate(I', z_2) → I''_2
  464. Translate(J', z_2) → J''_2
  465. Translate(K', z_2) → K''_2
  466. Translate(L', z_2) → L''_2
  467. Polygon(D''_2, I''_2, J''_2, K''_2, L''_2) → poly2''_2, d''_2, i''_2, j''_2, k''_2, l''_2
  468. Translate(P_1, z_2) → Z_{10}
  469. Translate(Q_1, z_2) → A_{11}
  470. Translate(R_1, z_2) → B_{11}
  471. Translate(S_1, z_2) → C_{11}
  472. Translate(T_1, z_2) → D_{11}
  473. Polygon(Z_{10}, A_{11}, B_{11}, C_{11}, D_{11}) → poly7''_2, z_{11}, a_{11}, b_{11}, c_{11}, d_{12}
  474. Translate(H', z_2) → H''_2
  475. Translate(P', z_2) → P''_2
  476. Translate(Q', z_2) → Q''_2
  477. Translate(R', z_2) → R''_2
  478. Translate(S', z_2) → S''_2
  479. Translate(T', z_2) → T''_2
  480. Translate(U', z_2) → U''_2
  481. Polygon(H''_2, P''_2, Q''_2, R''_2, S''_2, T''_2, U''_2) → poly4''_2, h''_2, p''_2, q''_2, r''_2, s''_2, t''_2, u''_2
  482. Translate(E', z_2) → E''_2
  483. Translate(V', z_2) → V''_2
  484. Translate(W', z_2) → W''_2
  485. Translate(Z', z_2) → Z''_2
  486. Translate(M_1, z_2) → E_{11}
  487. Translate(N_1, z_2) → F_{11}
  488. Translate(O_1, z_2) → G_{11}
  489. Polygon(E''_2, V''_2, W''_2, Z''_2, E_{11}, F_{11}, G_{11}) → poly5''_2, e''_2, v''_2, w''_2, z''_2, e_{12}, f_{12}, g_{12}
  490. Translate(D_3, z_2) → H_{11}
  491. Translate(E_3, z_2) → I_{11}
  492. Translate(F_3, z_2) → J_{11}
  493. Translate(G_3, z_2) → K_{11}
  494. Translate(H_3, z_2) → L_{11}
  495. Translate(I_3, z_2) → M_{11}
  496. Translate(J_3, z_2) → N_{11}
  497. Translate(K_3, z_2) → O_{11}
  498. Translate(L_3, z_2) → P_{11}
  499. Translate(M_3, z_2) → Q_{11}
  500. Translate(N_3, z_2) → R_{11}
  501. Translate(O_3, z_2) → S_{11}
  502. Translate(P_3, z_2) → T_{11}
  503. Translate(Q_3, z_2) → U_{11}
  504. Translate(R_3, z_2) → V_{11}
  505. Translate(S_3, z_2) → W_{11}
  506. Translate(T_3, z_2) → Z_{11}
  507. Translate(U_3, z_2) → A_{12}
  508. Translate(V_3, z_2) → B_{12}
  509. Translate(W_3, z_2) → C_{12}
  510. Translate(Z_3, z_2) → D_{12}
  511. Translate(A_4, z_2) → E_{12}
  512. Translate(B_4, z_2) → F_{12}
  513. Translate(C_4, z_2) → G_{12}
  514. Translate(D_4, z_2) → H_{12}
  515. Translate(E_4, z_2) → I_{12}
  516. Translate(F_4, z_2) → J_{12}
  517. Translate(G_4, z_2) → K_{12}
  518. Translate(H_4, z_2) → L_{12}
  519. Translate(G'', z_2) → G'''_1
  520. Translate(I_4, z_2) → M_{12}
  521. Translate(J_4, z_2) → N_{12}
  522. Translate(K_4, z_2) → O_{12}
  523. Polygon(H_{11}, I_{11}, R_{11}, S_{11}, T_{11}, U_{11}, V_{11}, W_{11}, Z_{11}, A_{12}, B_{12}, C_{12}, J_{11}, D_{12}, E_{12}, F_{12}, G_{12}, H_{12}, I_{12}, J_{12}, K_{12}, L_{12}, G'''_1, K_{11}, M_{12}, N_{12}, O_{12}, L_{11}, M_{11}, N_{11}, O_{11}, P_{11}, Q_{11}) → poly3'_2, h_{11}, q_{11}, r_{11}, s_{11}, t_{11}, u_{12}, v_{12}, w_{12}, z_{12}, a_{12}, b_{12}, i_{11}, c_{12}, d_{13}, e_{13}, f_{13}, g_{13}, h_{12}, i_{12}, j_{12}, k_{12}, l_{12}, j_{11}, g'''_1, m_{12}, n_{12}, o_{12}, k_{11}, l_{11}, m_{11}, n_{11}, o_{11}, p_{11}
  524. Translate(F''', z_2) → P_{12}
  525. Translate(M''', z_2) → Q_{12}
  526. Translate(N''', z_2) → R_{12}
  527. Translate(O''', z_2) → S_{12}
  528. Polygon(P_{12}, Q_{12}, R_{12}, S_{12}) → poly10, p_{12}, q_{12}, r_{12}, s_{12}
  529. Translate(E''', z_2) → T_{12}
  530. Translate(V''', z_2) → U_{12}
  531. Translate(W''', z_2) → V_{12}
  532. Translate(Z''', z_2) → W_{12}
  533. Translate(L_4, z_2) → Z_{12}
  534. Translate(M_4, z_2) → A_{13}
  535. Translate(N_4, z_2) → B_{13}
  536. Polygon(T_{12}, U_{12}, V_{12}, W_{12}, Z_{12}, A_{13}, B_{13}) → poly11, t_{12}, u_{13}, v_{13}, w_{13}, z_{13}, a_{13}, b_{13}
  537. Translate(H''', z_2) → C_{13}
  538. Translate(P''', z_2) → D_{13}
  539. Translate(Q''', z_2) → E_{13}
  540. Translate(R''', z_2) → F_{13}
  541. Translate(S''', z_2) → G_{13}
  542. Translate(T''', z_2) → H_{13}
  543. Translate(U''', z_2) → I_{13}
  544. Polygon(C_{13}, D_{13}, E_{13}, F_{13}, G_{13}, H_{13}, I_{13}) → poly12, c_{13}, d_{14}, e_{14}, f_{14}, g_{14}, h_{13}, i_{13}
  545. Translate(O_4, z_2) → J_{13}
  546. Translate(P_4, z_2) → K_{13}
  547. Translate(Q_4, z_2) → L_{13}
  548. Translate(R_4, z_2) → M_{13}
  549. Translate(S_4, z_2) → N_{13}
  550. Polygon(J_{13}, K_{13}, L_{13}, M_{13}, N_{13}) → poly13, j_{13}, k_{13}, l_{13}, m_{13}, n_{13}
  551. Translate(D''', z_2) → O_{13}
  552. Translate(I''', z_2) → P_{13}
  553. Translate(J''', z_2) → Q_{13}
  554. Translate(K''', z_2) → R_{13}
  555. Translate(L''', z_2) → S_{13}
  556. Polygon(O_{13}, P_{13}, Q_{13}, R_{13}, S_{13}) → poly14, o_{13}, p_{13}, q_{13}, r_{13}, s_{13}
  557. Translate(T_4, z_2) → T_{13}
  558. Translate(U_4, z_2) → U_{13}
  559. Translate(V_4, z_2) → V_{13}
  560. Translate(W_4, z_2) → W_{13}
  561. Translate(C''', z_2) → Z_{13}
  562. Translate(D_2, z_2) → A_{14}
  563. Translate(E_2, z_2) → B_{14}
  564. Translate(H'_1, z_2) → C_{14}
  565. Translate(P'_1, z_2) → D_{14}
  566. Translate(Q'_1, z_2) → E_{14}
  567. Translate(R'_1, z_2) → F_{14}
  568. Translate(S'_1, z_2) → G_{14}
  569. Translate(T'_1, z_2) → H_{14}
  570. Translate(U'_1, z_2) → I_{14}
  571. Translate(F_2, z_2) → J_{14}
  572. Translate(G_2, z_2) → K_{14}
  573. Translate(H_2, z_2) → L_{14}
  574. Translate(I_2, z_2) → M_{14}
  575. Translate(D'_1, z_2) → N_{14}
  576. Translate(I'_1, z_2) → O_{14}
  577. Translate(J'_1, z_2) → P_{14}
  578. Translate(K'_1, z_2) → Q_{14}
  579. Translate(L'_1, z_2) → R_{14}
  580. Translate(E'_1, z_2) → S_{14}
  581. Translate(V'_1, z_2) → T_{14}
  582. Translate(W'_1, z_2) → U_{14}
  583. Translate(Z'_1, z_2) → V_{14}
  584. Translate(J_2, z_2) → W_{14}
  585. Translate(K_2, z_2) → Z_{14}
  586. Translate(L_2, z_2) → A_{15}
  587. Translate(F'_1, z_2) → B_{15}
  588. Translate(M'_1, z_2) → C_{15}
  589. Translate(N'_1, z_2) → D_{15}
  590. Translate(O'_1, z_2) → E_{15}
  591. Translate(G', z_2) → G''_2
  592. Translate(M_2, z_2) → F_{15}
  593. Translate(N_2, z_2) → G_{15}
  594. Translate(O_2, z_2) → H_{15}
  595. Polygon(A_{14}, B_{14}, K_{14}, L_{14}, M_{14}, N_{14}, O_{14}, P_{14}, Q_{14}, R_{14}, S_{14}, T_{14}, C_{14}, U_{14}, V_{14}, W_{14}, Z_{14}, A_{15}, B_{15}, C_{15}, D_{15}, E_{15}, G''_2, D_{14}, F_{15}, G_{15}, H_{15}, E_{14}, F_{14}, G_{14}, H_{14}, I_{14}, J_{14}) → poly16, a_{14}, j_{14}, k_{14}, l_{14}, m_{14}, n_{14}, o_{14}, p_{14}, q_{14}, r_{14}, s_{14}, b_{14}, t_{14}, u_{15}, v_{15}, w_{15}, z_{15}, a_{15}, b_{15}, c_{15}, d_{16}, e_{16}, c_{14}, g''_2, f_{16}, g_{16}, h_{15}, d_{15}, e_{15}, f_{15}, g_{15}, h_{14}, i_{14}
  596. Translate(P_2, z_2) → I_{15}
  597. Translate(Q_2, z_2) → J_{15}
  598. Translate(R_2, z_2) → K_{15}
  599. Translate(S_2, z_2) → L_{15}
  600. Translate(C'', z_2) → C'''_2
  601. Translate(F'', z_2) → F'''_2
  602. Translate(M'', z_2) → M'''_2
  603. Translate(N'', z_2) → N'''_2
  604. Translate(O'', z_2) → O'''_2
  605. Polygon(F'''_2, M'''_2, N'''_2, O'''_2) → poly3'''_2, f'''_2, m'''_2, n'''_2, o'''_2
  606. Translate(E'', z_2) → E'''_2
  607. Translate(V'', z_2) → V'''_2
  608. Translate(W'', z_2) → W'''_2
  609. Translate(Z'', z_2) → Z'''_2
  610. Translate(A_3, z_2) → M_{15}
  611. Translate(B_3, z_2) → N_{15}
  612. Translate(C_3, z_2) → O_{15}
  613. Polygon(E'''_2, V'''_2, W'''_2, Z'''_2, M_{15}, N_{15}, O_{15}) → poly5'''_2, e'''_2, v'''_2, w'''_2, z'''_2, m_{15}, n_{15}, o_{15}
  614. Translate(H'', z_2) → H'''_2
  615. Translate(P'', z_2) → P'''_2
  616. Translate(Q'', z_2) → Q'''_2
  617. Translate(R'', z_2) → R'''_2
  618. Translate(S'', z_2) → S'''_2
  619. Translate(T'', z_2) → T'''_2
  620. Translate(U'', z_2) → U'''_2
  621. Polygon(H'''_2, P'''_2, Q'''_2, R'''_2, S'''_2, T'''_2, U'''_2) → poly4'''_2, h'''_2, p'''_2, q'''_2, r'''_2, s'''_2, t'''_2, u'''_2
  622. Translate(T_2, z_2) → P_{15}
  623. Translate(U_2, z_2) → Q_{15}
  624. Translate(V_2, z_2) → R_{15}
  625. Translate(W_2, z_2) → S_{15}
  626. Translate(Z_2, z_2) → T_{15}
  627. Polygon(P_{15}, Q_{15}, R_{15}, S_{15}, T_{15}) → poly7'''_2, p_{15}, q_{15}, r_{15}, s_{15}, t_{15}
  628. Translate(D'', z_2) → D'''_2
  629. Translate(I'', z_2) → I'''_2
  630. Translate(J'', z_2) → J'''_2
  631. Translate(K'', z_2) → K'''_2
  632. Translate(L'', z_2) → L'''_2
  633. Polygon(D'''_2, I'''_2, J'''_2, K'''_2, L'''_2) → poly2'''_2, d'''_2, i'''_2, j'''_2, k'''_2, l'''_2
  634. Translate(T_4, w_2) → U_{15}
  635. Translate(U_4, w_2) → V_{15}
  636. Translate(V_4, w_2) → W_{15}
  637. Translate(W_4, w_2) → Z_{15}
  638. Translate(C''', w_2) → A_{16}
  639. Polygon(U_{15}, V_{15}, W_{15}, Z_{15}, A_{16}) → poly17, u_{16}, v_{16}, w_{16}, z_{16}, a_{16}
  640. Translate(U_1, z_2) → B_{16}
  641. Translate(V_1, z_2) → C_{16}
  642. Translate(W_1, z_2) → D_{16}
  643. Translate(Z_1, z_2) → E_{16}
  644. Translate(C', z_2) → C''_3
  645. Polygon(B_{16}, C_{16}, D_{16}, E_{16}, C''_3) → poly6''_2, b_{16}, c_{16}, d_{17}, e_{17}, c''_3
  646. Translate(P_2, z_2) → F_{16}
  647. Translate(Q_2, z_2) → G_{16}
  648. Translate(R_2, z_2) → H_{16}
  649. Translate(S_2, z_2) → I_{16}
  650. Translate(C'', z_2) → C'''_3
  651. Translate(T_4, z_2) → J_{16}
  652. Translate(U_4, z_2) → K_{16}
  653. Translate(V_4, z_2) → L_{16}
  654. Translate(W_4, z_2) → M_{16}
  655. Translate(C''', z_2) → N_{16}
  656. Polygon(J_{16}, K_{16}, L_{16}, M_{16}, N_{16}) → poly15, j_{16}, k_{16}, l_{16}, m_{16}, n_{16}
  657. Translate(P_2, z_2) → O_{16}
  658. Translate(Q_2, z_2) → P_{16}
  659. Translate(R_2, z_2) → Q_{16}
  660. Translate(S_2, z_2) → R_{16}
  661. Translate(C'', z_2) → C'''_4
  662. Polygon(O_{16}, P_{16}, Q_{16}, R_{16}, C'''_4) → poly6'''_2, o_{16}, p_{16}, q_{16}, r_{16}, c'''_4
  663. Mirror(H, D) → H'_4
  664. Mirror(H, F) → H'_5
  665. Midpoint(H'_5, H'_4) → S_{16}
  666. Mirror(S_{16}, F) → T_{16}
  667. Mirror(S_{16}, D) → U_{16}
  668. Mirror(F, D) → F'_4
  669. Mirror(D, H'_4) → D'_4
  670. Mirror(F, S_{16}) → F'_5
  671. Mirror(D, S_{16}) → D'_5
  672. Mirror(S_{16}, H'_4) → V_{16}
  673. Mirror(H, U_{16}) → H'_6
  674. Angle(H, F, S_{16}) → α
  675. Vector(F, H'_4) → b_2
  676. Vector(F, U_{16}) → c_2
  677. Vector(F, D'_5) → t_{10}

AI Drawing Prompt Reference

Start by placing a reference point C in the plane and choosing five boundary points D, I, J, K, and L to define an initial polygonal outline with C serving as the construction basis. Identify key vertices among these points and apply two rotation angles that depend on piecewise parameters d1 and d2 (each used as a multiplier of 240°). Rotate the set through a 240°-based turn about D to create new points D′, I′, J′, K′, and L′, then connect them in order to form a polygon. Repeat the process about F using the second rotation angle to obtain F′, M′, N′, and O′, and about H to obtain H′, P′, Q′, R′, S′, T′, and U′. Connect the resulting rotated points to assemble the final Escher-like quadrilateral and pentagon-style polygon regions, with edges formed by sequentially connecting the rotated vertices.
The prompt above was compiled from the original drawing commands and is for reference only.