Escher-like “Seahorse Dance”: a Transform Geometry Construction

Escher-like “Seahorse Dance”: a Transform Geometry Construction
Loading the math board and drawing, please wait…
2023-03-22 22:50
In collections geometriadinamica.es
This example demonstrates an Escher-inspired geometric pattern where a basic motif is turned into a “dancing/entwined” visual effect by applying rotation, translation, and mirror transformations and then assembling the results into a coherent design. The key mathematical ideas are geometric transformations (Rotate, Translate, Mirror), construction of points and directions via vectors (Vector, Point), and using intersection and midpoints to enforce symmetry and controlled positioning (Intersect, Midpoint). Finally, polygonal pieces are used to form the visible contours (Polygon). From the construction summary, the build relies on commands: If (conditional choices), Line (constructing lines), Intersect (computing intersection points), Midpoint (taking midpoints), Rotate (rotations), Polygon (building polygonal shapes), Point (points), Vector (vectors), Translate (translations), Segment (segments), and Mirror (reflections). The involved objects include several construction points (e.g., A, B, C, D…) and auxiliary variables (e.g., d1–d6, dif) to control centers, directions, and assembly. Suitable for secondary-school geometry enrichment and classroom visualization of “transformation-driven pattern generation,” and also good for clubs or challenges focused on algorithmic geometric constructions.

GeoGebra Commands & Parameters

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

AI Drawing Prompt Reference

Create an Escher-style pattern featuring seahorses, transforming a basic motif into a dancing effect through rotations, translations, and reflections. Start by creating control points and auxiliary variables, then construct several lines and line segments using these points and variables. Find the intersections of these lines and segments, and use rotation and reflection operations to generate multiple seahorse patterns. Finally, assemble these patterns to form the complete design.
The prompt above was compiled from the original drawing commands and is for reference only.