MathPlotAI Logo MathPlotAI

Constructing a Symmetrical Rhombus by Translation

Constructing a Symmetrical Rhombus by Translation
Loading the math board and drawing, please wait…
2015-12-06 02:57
VectorGeometric Construction
This example demonstrates how to construct a symmetrical rhombus using translation, showcasing the symmetry of the rhombus. Key mathematical concepts include translation transformation and properties of rhombi. Using GeoGebra commands such as LineBisector, Midpoint, Vector, and Translate, a symmetrical rhombus can be constructed. Suitable for middle school and above students to learn about geometric transformations and symmetry.

GeoGebra Commands & Parameters

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

AI Drawing Prompt Reference

Construct a symmetrical rhombus by first finding the perpendicular bisector q_5 of segment AB and midpoint S_5. Then, construct point C through S_5 and the orthogonal vector of AB. Use vector a from B to C to find point D and vector u from A to D. Utilize circle k and vectors a and u to find other vertices E, E', E'', etc. Finally, use circles d and c from points B and A and vector v to find the symmetric points K, L, M, N, O.
The prompt above was compiled from the original drawing commands and is for reference only.