积极 AI Logo 积极 AI

六边形或立方体

六边形或立方体
几何画板及绘图内容加载中，请稍等……
2019-02-24 19:31
多边形向量几何作图
这是一个几何艺术的范例，展示了六边形和立方体的构造。核心数学概念包括多边形、圆、向量和变换。通过使用GeoGebra命令如Rotate、Polygon、Circle等，可以动态地构造这些图形。适合初中及以上学生或教师使用，进行几何作图和变换的学习。

GeoGebra 命令及参数

  1. Rotate((cos((2 * π / 6)), sin((2 * π / 6))), ((-π)) / 6, (0, 0)) → A1
  2. Rotate((cos(((2 * π / 6) * 2)), sin(((2 * π / 6) * 2))), ((-π)) / 6, (0, 0)) → A2
  3. Rotate((cos(((2 * π / 6) * 3)), sin(((2 * π / 6) * 3))), ((-π)) / 6, (0, 0)) → A3
  4. Rotate((cos(((2 * π / 6) * 4)), sin(((2 * π / 6) * 4))), ((-π)) / 6, (0, 0)) → A4
  5. Rotate((cos(((2 * π / 6) * 5)), sin(((2 * π / 6) * 5))), ((-π)) / 6, (0, 0)) → A5
  6. Rotate((cos(((2 * π / 6) * 6)), sin(((2 * π / 6) * 6))), ((-π)) / 6, (0, 0)) → A6
  7. Polygon(A1, A2, A3, A4, A5, A6) → Poly01, a1, a2, a3, a4, a5, a6
  8. Segment(O, A2) → S2
  9. Segment(O, A4) → S4
  10. Segment(O, A6) → S6
  11. Circle(A1, r) → C1
  12. Circle(A3, r) → C3
  13. Circle(A5, r) → C5
  14. Circle(O, r) → C0
  15. Intersect(C1, a1) → I1,
  16. Intersect(C1, a6) → I2,
  17. Intersect(C3, a2) → J1,
  18. Intersect(C3, a3) → J2,
  19. Intersect(C5, a4) → K1,
  20. Intersect(C5, a5) → K2,
  21. Intersect(C0, S2) → L1,
  22. Intersect(C0, S4) → L2,
  23. Intersect(C0, S6) → L3,
  24. Polygon(A1, I1, L1, J1, A3, O) → T1, a1_1, i1, l1, j1, a3_1, o
  25. Rotate(A1, (2 * π / 3), O) → A1'
  26. Rotate(I1, (2 * π / 3), O) → I1'
  27. Rotate(L1, (2 * π / 3), O) → L1'
  28. Rotate(J1, (2 * π / 3), O) → J1'
  29. Rotate(A3, (2 * π / 3), O) → A3'
  30. Rotate(O, (2 * π / 3), O) → O'
  31. Polygon(Rotate[A1, (2 * π / 3), O], Rotate[I1, (2 * π / 3), O], Rotate[L1, (2 * π / 3), O], Rotate[J1, (2 * π / 3), O], Rotate[A3, (2 * π / 3), O], Rotate[O, (2 * π / 3), O]) → T2, p_4, q_4, s_4, t_4, f_5, g_5
  32. Rotate(A1, (-2 * π / 3), O) → A1'_1
  33. Rotate(I1, (-2 * π / 3), O) → I1'_1
  34. Rotate(L1, (-2 * π / 3), O) → L1'_1
  35. Rotate(J1, (-2 * π / 3), O) → J1'_1
  36. Rotate(A3, (-2 * π / 3), O) → A3'_1
  37. Rotate(O, (-2 * π / 3), O) → O'_1
  38. Polygon(Rotate[A1, (-2 * π / 3), O], Rotate[I1, (-2 * π / 3), O], Rotate[L1, (-2 * π / 3), O], Rotate[J1, (-2 * π / 3), O], Rotate[A3, (-2 * π / 3), O], Rotate[O, (-2 * π / 3), O]) → T3, h_5, i_5, j_5, k_5, l_5, m_5
  39. Ray(O, A1) → auxray
  40. Intersect(C1, auxray, 2) → auxPoint
  41. Vector(O, auxPoint) → u1
  42. Rotate(u1, (2 * π / 3), O) → u2
  43. Rotate(u1, π / 3, O) → u3
  44. Translate(A1, u1) → A1'_2
  45. Translate(I1, u1) → I1'_2
  46. Translate(L1, u1) → L1'_2
  47. Translate(J1, u1) → J1'_2
  48. Translate(A3, u1) → A3'_2
  49. Translate(O, u1) → O'_2
  50. Polygon(Translate[A1, u1], Translate[I1, u1], Translate[L1, u1], Translate[J1, u1], Translate[A3, u1], Translate[O, u1]) → rua1, t_3, f_4, g_4, h_4, i_4, j_4
  51. Translate(A1, Vector[(2 * u1)]) → A1'_3
  52. Translate(I1, Vector[(2 * u1)]) → I1'_3
  53. Translate(L1, Vector[(2 * u1)]) → L1'_3
  54. Translate(J1, Vector[(2 * u1)]) → J1'_3
  55. Translate(A3, Vector[(2 * u1)]) → A3'_3
  56. Translate(O, Vector[(2 * u1)]) → O'_3
  57. Polygon(Translate[A1, Vector[(2 * u1)]], Translate[I1, Vector[(2 * u1)]], Translate[L1, Vector[(2 * u1)]], Translate[J1, Vector[(2 * u1)]], Translate[A3, Vector[(2 * u1)]], Translate[O, Vector[(2 * u1)]]) → rua2, a_5, b_5, c_5, d_5, e_5, f_6
  58. Translate(A1, Vector[(3 * u1)]) → A1'_4
  59. Translate(I1, Vector[(3 * u1)]) → I1'_4
  60. Translate(L1, Vector[(3 * u1)]) → L1'_4
  61. Translate(J1, Vector[(3 * u1)]) → J1'_4
  62. Translate(A3, Vector[(3 * u1)]) → A3'_4
  63. Translate(O, Vector[(3 * u1)]) → O'_4
  64. Polygon(Translate[A1, Vector[(3 * u1)]], Translate[I1, Vector[(3 * u1)]], Translate[L1, Vector[(3 * u1)]], Translate[J1, Vector[(3 * u1)]], Translate[A3, Vector[(3 * u1)]], Translate[O, Vector[(3 * u1)]]) → rua3, g_6, h_6, i_6, j_6, k_6, l_6
  65. Translate(A1', u1) → A1''
  66. Translate(I1', u1) → I1''
  67. Translate(L1', u1) → L1''
  68. Translate(J1', u1) → J1''
  69. Translate(A3', u1) → A3''
  70. Translate(O', u1) → O''
  71. Translate(T2, u1) → rub1
  72. Translate(A1', Vector[(2 * u1)]) → A1''_1
  73. Translate(I1', Vector[(2 * u1)]) → I1''_1
  74. Translate(L1', Vector[(2 * u1)]) → L1''_1
  75. Translate(J1', Vector[(2 * u1)]) → J1''_1
  76. Translate(A3', Vector[(2 * u1)]) → A3''_1
  77. Translate(O', Vector[(2 * u1)]) → O''_1
  78. Translate(T2, Vector[(2 * u1)]) → rub2
  79. Translate(A1', Vector[(3 * u1)]) → A1''_2
  80. Translate(I1', Vector[(3 * u1)]) → I1''_2
  81. Translate(L1', Vector[(3 * u1)]) → L1''_2
  82. Translate(J1', Vector[(3 * u1)]) → J1''_2
  83. Translate(A3', Vector[(3 * u1)]) → A3''_2
  84. Translate(O', Vector[(3 * u1)]) → O''_2
  85. Translate(T2, Vector[(3 * u1)]) → rub3
  86. Translate(A1'_1, u1) → A
  87. Translate(I1'_1, u1) → B
  88. Translate(L1'_1, u1) → C
  89. Translate(J1'_1, u1) → D
  90. Translate(A3'_1, u1) → E
  91. Translate(O'_1, u1) → F
  92. Translate(T3, u1) → ruc1
  93. Translate(A1'_1, Vector[(2 * u1)]) → G
  94. Translate(I1'_1, Vector[(2 * u1)]) → H
  95. Translate(L1'_1, Vector[(2 * u1)]) → I
  96. Translate(J1'_1, Vector[(2 * u1)]) → J
  97. Translate(A3'_1, Vector[(2 * u1)]) → K
  98. Translate(O'_1, Vector[(2 * u1)]) → L
  99. Translate(T3, Vector[(2 * u1)]) → ruc2
  100. Translate(A1'_1, Vector[(3 * u1)]) → M
  101. Translate(I1'_1, Vector[(3 * u1)]) → N
  102. Translate(L1'_1, Vector[(3 * u1)]) → P
  103. Translate(J1'_1, Vector[(3 * u1)]) → Q
  104. Translate(A3'_1, Vector[(3 * u1)]) → R
  105. Translate(O'_1, Vector[(3 * u1)]) → S
  106. Translate(T3, Vector[(3 * u1)]) → ruc3
  107. Translate(A1, Vector[(-u1)]) → A1'_5
  108. Translate(I1, Vector[(-u1)]) → I1'_5
  109. Translate(L1, Vector[(-u1)]) → L1'_5
  110. Translate(J1, Vector[(-u1)]) → J1'_5
  111. Translate(A3, Vector[(-u1)]) → A3'_5
  112. Translate(O, Vector[(-u1)]) → O'_5
  113. Polygon(Translate[A1, Vector[(-u1)]], Translate[I1, Vector[(-u1)]], Translate[L1, Vector[(-u1)]], Translate[J1, Vector[(-u1)]], Translate[A3, Vector[(-u1)]], Translate[O, Vector[(-u1)]]) → lda1, f, g, h, i, j, k
  114. Translate(A1, Vector[(-2 * u1)]) → A1'_6
  115. Translate(I1, Vector[(-2 * u1)]) → I1'_6
  116. Translate(L1, Vector[(-2 * u1)]) → L1'_6
  117. Translate(J1, Vector[(-2 * u1)]) → J1'_6
  118. Translate(A3, Vector[(-2 * u1)]) → A3'_6
  119. Translate(O, Vector[(-2 * u1)]) → O'_6
  120. Polygon(Translate[A1, Vector[(-2 * u1)]], Translate[I1, Vector[(-2 * u1)]], Translate[L1, Vector[(-2 * u1)]], Translate[J1, Vector[(-2 * u1)]], Translate[A3, Vector[(-2 * u1)]], Translate[O, Vector[(-2 * u1)]]) → lda2, l, m, p, q, s, a
  121. Translate(A1, Vector[(-3 * u1)]) → A1'_7
  122. Translate(I1, Vector[(-3 * u1)]) → I1'_7
  123. Translate(L1, Vector[(-3 * u1)]) → L1'_7
  124. Translate(J1, Vector[(-3 * u1)]) → J1'_7
  125. Translate(A3, Vector[(-3 * u1)]) → A3'_7
  126. Translate(O, Vector[(-3 * u1)]) → O'_7
  127. Polygon(Translate[A1, Vector[(-3 * u1)]], Translate[I1, Vector[(-3 * u1)]], Translate[L1, Vector[(-3 * u1)]], Translate[J1, Vector[(-3 * u1)]], Translate[A3, Vector[(-3 * u1)]], Translate[O, Vector[(-3 * u1)]]) → lda3, b, c, d, e, n_1, r_1
  128. Translate(A1', Vector[(-u1)]) → A1''_3
  129. Translate(I1', Vector[(-u1)]) → I1''_3
  130. Translate(L1', Vector[(-u1)]) → L1''_3
  131. Translate(J1', Vector[(-u1)]) → J1''_3
  132. Translate(A3', Vector[(-u1)]) → A3''_3
  133. Translate(O', Vector[(-u1)]) → O''_3
  134. Translate(T2, Vector[(-u1)]) → ldb1
  135. Translate(A1', Vector[(-2 * u1)]) → A1''_4
  136. Translate(I1', Vector[(-2 * u1)]) → I1''_4
  137. Translate(L1', Vector[(-2 * u1)]) → L1''_4
  138. Translate(J1', Vector[(-2 * u1)]) → J1''_4
  139. Translate(A3', Vector[(-2 * u1)]) → A3''_4
  140. Translate(O', Vector[(-2 * u1)]) → O''_4
  141. Translate(T2, Vector[(-2 * u1)]) → ldb2
  142. Translate(A1', Vector[(-3 * u1)]) → A1''_5
  143. Translate(I1', Vector[(-3 * u1)]) → I1''_5
  144. Translate(L1', Vector[(-3 * u1)]) → L1''_5
  145. Translate(J1', Vector[(-3 * u1)]) → J1''_5
  146. Translate(A3', Vector[(-3 * u1)]) → A3''_5
  147. Translate(O', Vector[(-3 * u1)]) → O''_5
  148. Translate(T2, Vector[(-3 * u1)]) → ldb3
  149. Translate(A1'_1, Vector[(-u1)]) → T
  150. Translate(I1'_1, Vector[(-u1)]) → U
  151. Translate(L1'_1, Vector[(-u1)]) → V
  152. Translate(J1'_1, Vector[(-u1)]) → W
  153. Translate(A3'_1, Vector[(-u1)]) → Z
  154. Translate(O'_1, Vector[(-u1)]) → A_1
  155. Translate(T3, Vector[(-u1)]) → ldc1
  156. Translate(A1'_1, Vector[(-2 * u1)]) → B_1
  157. Translate(I1'_1, Vector[(-2 * u1)]) → C_1
  158. Translate(L1'_1, Vector[(-2 * u1)]) → D_1
  159. Translate(J1'_1, Vector[(-2 * u1)]) → E_1
  160. Translate(A3'_1, Vector[(-2 * u1)]) → F_1
  161. Translate(O'_1, Vector[(-2 * u1)]) → G_1
  162. Translate(T3, Vector[(-2 * u1)]) → ldc2
  163. Translate(A1'_1, Vector[(-3 * u1)]) → H_1
  164. Translate(I1'_1, Vector[(-3 * u1)]) → I_1
  165. Translate(L1'_1, Vector[(-3 * u1)]) → J_1
  166. Translate(J1'_1, Vector[(-3 * u1)]) → K_1
  167. Translate(A3'_1, Vector[(-3 * u1)]) → L_1
  168. Translate(O'_1, Vector[(-3 * u1)]) → M_1
  169. Translate(T3, Vector[(-3 * u1)]) → ldc3
  170. Translate(A1, u2) → A1'_8
  171. Translate(I1, u2) → I1'_8
  172. Translate(L1, u2) → L1'_8
  173. Translate(J1, u2) → J1'_8
  174. Translate(A3, u2) → A3'_8
  175. Translate(O, u2) → O'_8
  176. Polygon(Translate[A1, u2], Translate[I1, u2], Translate[L1, u2], Translate[J1, u2], Translate[A3, u2], Translate[O, u2]) → rda1, t, f_1, g_1, h_1, i_1, j_1
  177. Translate(A1, Vector[(2 * u2)]) → A1'_9
  178. Translate(I1, Vector[(2 * u2)]) → I1'_9
  179. Translate(L1, Vector[(2 * u2)]) → L1'_9
  180. Translate(J1, Vector[(2 * u2)]) → J1'_9
  181. Translate(A3, Vector[(2 * u2)]) → A3'_9
  182. Translate(O, Vector[(2 * u2)]) → O'_9
  183. Polygon(Translate[A1, Vector[(2 * u2)]], Translate[I1, Vector[(2 * u2)]], Translate[L1, Vector[(2 * u2)]], Translate[J1, Vector[(2 * u2)]], Translate[A3, Vector[(2 * u2)]], Translate[O, Vector[(2 * u2)]]) → rda2, k_1, l_1, m_1, a_1, b_1, c_1
  184. Translate(A1, Vector[(3 * u2)]) → A1'_{10}
  185. Translate(I1, Vector[(3 * u2)]) → I1'_{10}
  186. Translate(L1, Vector[(3 * u2)]) → L1'_{10}
  187. Translate(J1, Vector[(3 * u2)]) → J1'_{10}
  188. Translate(A3, Vector[(3 * u2)]) → A3'_{10}
  189. Translate(O, Vector[(3 * u2)]) → O'_{10}
  190. Polygon(Translate[A1, Vector[(3 * u2)]], Translate[I1, Vector[(3 * u2)]], Translate[L1, Vector[(3 * u2)]], Translate[J1, Vector[(3 * u2)]], Translate[A3, Vector[(3 * u2)]], Translate[O, Vector[(3 * u2)]]) → rda3, d_1, e_1, m_6, n_6, p_6, q_6
  191. Translate(A1', u2) → A1''_6
  192. Translate(I1', u2) → I1''_6
  193. Translate(L1', u2) → L1''_6
  194. Translate(J1', u2) → J1''_6
  195. Translate(A3', u2) → A3''_6
  196. Translate(O', u2) → O''_6
  197. Translate(T2, u2) → rdb1
  198. Translate(A1', Vector[(2 * u2)]) → A1''_7
  199. Translate(I1', Vector[(2 * u2)]) → I1''_7
  200. Translate(L1', Vector[(2 * u2)]) → L1''_7
  201. Translate(J1', Vector[(2 * u2)]) → J1''_7
  202. Translate(A3', Vector[(2 * u2)]) → A3''_7
  203. Translate(O', Vector[(2 * u2)]) → O''_7
  204. Translate(T2, Vector[(2 * u2)]) → rdb2
  205. Translate(A1', Vector[(3 * u2)]) → A1''_8
  206. Translate(I1', Vector[(3 * u2)]) → I1''_8
  207. Translate(L1', Vector[(3 * u2)]) → L1''_8
  208. Translate(J1', Vector[(3 * u2)]) → J1''_8
  209. Translate(A3', Vector[(3 * u2)]) → A3''_8
  210. Translate(O', Vector[(3 * u2)]) → O''_8
  211. Translate(T2, Vector[(3 * u2)]) → rdb3
  212. Translate(A1'_1, u2) → N_1
  213. Translate(I1'_1, u2) → O_1
  214. Translate(L1'_1, u2) → P_1
  215. Translate(J1'_1, u2) → Q_1
  216. Translate(A3'_1, u2) → R_1
  217. Translate(O'_1, u2) → S_1
  218. Translate(T3, u2) → rdc1
  219. Translate(A1'_1, Vector[(2 * u2)]) → T_1
  220. Translate(I1'_1, Vector[(2 * u2)]) → U_1
  221. Translate(L1'_1, Vector[(2 * u2)]) → V_1
  222. Translate(J1'_1, Vector[(2 * u2)]) → W_1
  223. Translate(A3'_1, Vector[(2 * u2)]) → Z_1
  224. Translate(O'_1, Vector[(2 * u2)]) → A_2
  225. Translate(T3, Vector[(2 * u2)]) → rdc2
  226. Translate(A1'_1, Vector[(3 * u2)]) → B_2
  227. Translate(I1'_1, Vector[(3 * u2)]) → C_2
  228. Translate(L1'_1, Vector[(3 * u2)]) → D_2
  229. Translate(J1'_1, Vector[(3 * u2)]) → E_2
  230. Translate(A3'_1, Vector[(3 * u2)]) → F_2
  231. Translate(O'_1, Vector[(3 * u2)]) → G_2
  232. Translate(T3, Vector[(3 * u2)]) → rdc3
  233. Translate(A1, Vector[(-u2)]) → A1'_{11}
  234. Translate(I1, Vector[(-u2)]) → I1'_{11}
  235. Translate(L1, Vector[(-u2)]) → L1'_{11}
  236. Translate(J1, Vector[(-u2)]) → J1'_{11}
  237. Translate(A3, Vector[(-u2)]) → A3'_{11}
  238. Translate(O, Vector[(-u2)]) → O'_{11}
  239. Polygon(Translate[A1, Vector[(-u2)]], Translate[I1, Vector[(-u2)]], Translate[L1, Vector[(-u2)]], Translate[J1, Vector[(-u2)]], Translate[A3, Vector[(-u2)]], Translate[O, Vector[(-u2)]]) → lua1, p_1, q_1, s_1, t_1, f_2, g_2
  240. Translate(A1, Vector[(-2 * u2)]) → A1'_{12}
  241. Translate(I1, Vector[(-2 * u2)]) → I1'_{12}
  242. Translate(L1, Vector[(-2 * u2)]) → L1'_{12}
  243. Translate(J1, Vector[(-2 * u2)]) → J1'_{12}
  244. Translate(A3, Vector[(-2 * u2)]) → A3'_{12}
  245. Translate(O, Vector[(-2 * u2)]) → O'_{12}
  246. Polygon(Translate[A1, Vector[(-2 * u2)]], Translate[I1, Vector[(-2 * u2)]], Translate[L1, Vector[(-2 * u2)]], Translate[J1, Vector[(-2 * u2)]], Translate[A3, Vector[(-2 * u2)]], Translate[O, Vector[(-2 * u2)]]) → lua2, n_2, r_2, a_2, b_2, c_2, d_2
  247. Translate(A1, Vector[(-3 * u2)]) → A1'_{13}
  248. Translate(I1, Vector[(-3 * u2)]) → I1'_{13}
  249. Translate(L1, Vector[(-3 * u2)]) → L1'_{13}
  250. Translate(J1, Vector[(-3 * u2)]) → J1'_{13}
  251. Translate(A3, Vector[(-3 * u2)]) → A3'_{13}
  252. Translate(O, Vector[(-3 * u2)]) → O'_{13}
  253. Polygon(Translate[A1, Vector[(-3 * u2)]], Translate[I1, Vector[(-3 * u2)]], Translate[L1, Vector[(-3 * u2)]], Translate[J1, Vector[(-3 * u2)]], Translate[A3, Vector[(-3 * u2)]], Translate[O, Vector[(-3 * u2)]]) → lua3, e_2, r_6, s_6, t_6, a_6, b_6
  254. Translate(A1', Vector[(-u2)]) → A1''_9
  255. Translate(I1', Vector[(-u2)]) → I1''_9
  256. Translate(L1', Vector[(-u2)]) → L1''_9
  257. Translate(J1', Vector[(-u2)]) → J1''_9
  258. Translate(A3', Vector[(-u2)]) → A3''_9
  259. Translate(O', Vector[(-u2)]) → O''_9
  260. Translate(T2, Vector[(-u2)]) → lub1
  261. Translate(A1', Vector[(-2 * u2)]) → A1''_{10}
  262. Translate(I1', Vector[(-2 * u2)]) → I1''_{10}
  263. Translate(L1', Vector[(-2 * u2)]) → L1''_{10}
  264. Translate(J1', Vector[(-2 * u2)]) → J1''_{10}
  265. Translate(A3', Vector[(-2 * u2)]) → A3''_{10}
  266. Translate(O', Vector[(-2 * u2)]) → O''_{10}
  267. Translate(T2, Vector[(-2 * u2)]) → lub2
  268. Translate(A1', Vector[(-3 * u2)]) → A1''_{11}
  269. Translate(I1', Vector[(-3 * u2)]) → I1''_{11}
  270. Translate(L1', Vector[(-3 * u2)]) → L1''_{11}
  271. Translate(J1', Vector[(-3 * u2)]) → J1''_{11}
  272. Translate(A3', Vector[(-3 * u2)]) → A3''_{11}
  273. Translate(O', Vector[(-3 * u2)]) → O''_{11}
  274. Translate(T2, Vector[(-3 * u2)]) → lub3
  275. Translate(A1'_1, Vector[(-u2)]) → H_2
  276. Translate(I1'_1, Vector[(-u2)]) → I_2
  277. Translate(L1'_1, Vector[(-u2)]) → J_2
  278. Translate(J1'_1, Vector[(-u2)]) → K_2
  279. Translate(A3'_1, Vector[(-u2)]) → L_2
  280. Translate(O'_1, Vector[(-u2)]) → M_2
  281. Translate(T3, Vector[(-u2)]) → luc1
  282. Translate(A1'_1, Vector[(-2 * u2)]) → N_2
  283. Translate(I1'_1, Vector[(-2 * u2)]) → O_2
  284. Translate(L1'_1, Vector[(-2 * u2)]) → P_2
  285. Translate(J1'_1, Vector[(-2 * u2)]) → Q_2
  286. Translate(A3'_1, Vector[(-2 * u2)]) → R_2
  287. Translate(O'_1, Vector[(-2 * u2)]) → S_2
  288. Translate(T3, Vector[(-2 * u2)]) → luc2
  289. Translate(A1'_1, Vector[(-3 * u2)]) → T_2
  290. Translate(I1'_1, Vector[(-3 * u2)]) → U_2
  291. Translate(L1'_1, Vector[(-3 * u2)]) → V_2
  292. Translate(J1'_1, Vector[(-3 * u2)]) → W_2
  293. Translate(A3'_1, Vector[(-3 * u2)]) → Z_2
  294. Translate(O'_1, Vector[(-3 * u2)]) → A_3
  295. Translate(T3, Vector[(-3 * u2)]) → luc3
  296. Translate(A1, u3) → A1'_{14}
  297. Translate(I1, u3) → I1'_{14}
  298. Translate(L1, u3) → L1'_{14}
  299. Translate(J1, u3) → J1'_{14}
  300. Translate(A3, u3) → A3'_{14}
  301. Translate(O, u3) → O'_{14}
  302. Polygon(Translate[A1, u3], Translate[I1, u3], Translate[L1, u3], Translate[J1, u3], Translate[A3, u3], Translate[O, u3]) → ua1, h_2, i_2, j_2, k_2, l_2, m_2
  303. Translate(A1, Vector[(2 * u3)]) → A1'_{15}
  304. Translate(I1, Vector[(2 * u3)]) → I1'_{15}
  305. Translate(L1, Vector[(2 * u3)]) → L1'_{15}
  306. Translate(J1, Vector[(2 * u3)]) → J1'_{15}
  307. Translate(A3, Vector[(2 * u3)]) → A3'_{15}
  308. Translate(O, Vector[(2 * u3)]) → O'_{15}
  309. Polygon(Translate[A1, Vector[(2 * u3)]], Translate[I1, Vector[(2 * u3)]], Translate[L1, Vector[(2 * u3)]], Translate[J1, Vector[(2 * u3)]], Translate[A3, Vector[(2 * u3)]], Translate[O, Vector[(2 * u3)]]) → ua2, p_2, q_2, s_2, t_2, n_3, r_3
  310. Translate(A1, Vector[(3 * u3)]) → A1'_{16}
  311. Translate(I1, Vector[(3 * u3)]) → I1'_{16}
  312. Translate(L1, Vector[(3 * u3)]) → L1'_{16}
  313. Translate(J1, Vector[(3 * u3)]) → J1'_{16}
  314. Translate(A3, Vector[(3 * u3)]) → A3'_{16}
  315. Translate(O, Vector[(3 * u3)]) → O'_{16}
  316. Polygon(Translate[A1, Vector[(3 * u3)]], Translate[I1, Vector[(3 * u3)]], Translate[L1, Vector[(3 * u3)]], Translate[J1, Vector[(3 * u3)]], Translate[A3, Vector[(3 * u3)]], Translate[O, Vector[(3 * u3)]]) → ua3, a_3, c_6, d_6, e_6, f_7, g_7
  317. Translate(A1', u3) → A1''_{12}
  318. Translate(I1', u3) → I1''_{12}
  319. Translate(L1', u3) → L1''_{12}
  320. Translate(J1', u3) → J1''_{12}
  321. Translate(A3', u3) → A3''_{12}
  322. Translate(O', u3) → O''_{12}
  323. Translate(T2, u3) → ub1
  324. Translate(A1', Vector[(2 * u3)]) → A1''_{13}
  325. Translate(I1', Vector[(2 * u3)]) → I1''_{13}
  326. Translate(L1', Vector[(2 * u3)]) → L1''_{13}
  327. Translate(J1', Vector[(2 * u3)]) → J1''_{13}
  328. Translate(A3', Vector[(2 * u3)]) → A3''_{13}
  329. Translate(O', Vector[(2 * u3)]) → O''_{13}
  330. Translate(T2, Vector[(2 * u3)]) → ub2
  331. Translate(A1', Vector[(3 * u3)]) → A1''_{14}
  332. Translate(I1', Vector[(3 * u3)]) → I1''_{14}
  333. Translate(L1', Vector[(3 * u3)]) → L1''_{14}
  334. Translate(J1', Vector[(3 * u3)]) → J1''_{14}
  335. Translate(A3', Vector[(3 * u3)]) → A3''_{14}
  336. Translate(O', Vector[(3 * u3)]) → O''_{14}
  337. Translate(T2, Vector[(3 * u3)]) → ub3
  338. Translate(A1'_1, u3) → B_3
  339. Translate(I1'_1, u3) → C_3
  340. Translate(L1'_1, u3) → D_3
  341. Translate(J1'_1, u3) → E_3
  342. Translate(A3'_1, u3) → F_3
  343. Translate(O'_1, u3) → G_3
  344. Translate(T3, u3) → uc1
  345. Translate(A1'_1, Vector[(2 * u3)]) → H_3
  346. Translate(I1'_1, Vector[(2 * u3)]) → I_3
  347. Translate(L1'_1, Vector[(2 * u3)]) → J_3
  348. Translate(J1'_1, Vector[(2 * u3)]) → K_3
  349. Translate(A3'_1, Vector[(2 * u3)]) → L_3
  350. Translate(O'_1, Vector[(2 * u3)]) → M_3
  351. Translate(T3, Vector[(2 * u3)]) → uc2
  352. Translate(A1'_1, Vector[(3 * u3)]) → N_3
  353. Translate(I1'_1, Vector[(3 * u3)]) → O_3
  354. Translate(L1'_1, Vector[(3 * u3)]) → P_3
  355. Translate(J1'_1, Vector[(3 * u3)]) → Q_3
  356. Translate(A3'_1, Vector[(3 * u3)]) → R_3
  357. Translate(O'_1, Vector[(3 * u3)]) → S_3
  358. Translate(T3, Vector[(3 * u3)]) → uc3
  359. Translate(A1, Vector[(-u3)]) → A1'_{17}
  360. Translate(I1, Vector[(-u3)]) → I1'_{17}
  361. Translate(L1, Vector[(-u3)]) → L1'_{17}
  362. Translate(J1, Vector[(-u3)]) → J1'_{17}
  363. Translate(A3, Vector[(-u3)]) → A3'_{17}
  364. Translate(O, Vector[(-u3)]) → O'_{17}
  365. Polygon(Translate[A1, Vector[(-u3)]], Translate[I1, Vector[(-u3)]], Translate[L1, Vector[(-u3)]], Translate[J1, Vector[(-u3)]], Translate[A3, Vector[(-u3)]], Translate[O, Vector[(-u3)]]) → da1, f_3, g_3, h_3, i_3, j_3, k_3
  366. Translate(A1, Vector[(-2 * u3)]) → A1'_{18}
  367. Translate(I1, Vector[(-2 * u3)]) → I1'_{18}
  368. Translate(L1, Vector[(-2 * u3)]) → L1'_{18}
  369. Translate(J1, Vector[(-2 * u3)]) → J1'_{18}
  370. Translate(A3, Vector[(-2 * u3)]) → A3'_{18}
  371. Translate(O, Vector[(-2 * u3)]) → O'_{18}
  372. Polygon(Translate[A1, Vector[(-2 * u3)]], Translate[I1, Vector[(-2 * u3)]], Translate[L1, Vector[(-2 * u3)]], Translate[J1, Vector[(-2 * u3)]], Translate[A3, Vector[(-2 * u3)]], Translate[O, Vector[(-2 * u3)]]) → da2, l_3, m_3, p_3, q_3, s_3, b_3
  373. Translate(A1, Vector[(-3 * u3)]) → A1'_{19}
  374. Translate(I1, Vector[(-3 * u3)]) → I1'_{19}
  375. Translate(L1, Vector[(-3 * u3)]) → L1'_{19}
  376. Translate(J1, Vector[(-3 * u3)]) → J1'_{19}
  377. Translate(A3, Vector[(-3 * u3)]) → A3'_{19}
  378. Translate(O, Vector[(-3 * u3)]) → O'_{19}
  379. Polygon(Translate[A1, Vector[(-3 * u3)]], Translate[I1, Vector[(-3 * u3)]], Translate[L1, Vector[(-3 * u3)]], Translate[J1, Vector[(-3 * u3)]], Translate[A3, Vector[(-3 * u3)]], Translate[O, Vector[(-3 * u3)]]) → da3, c_3, d_3, e_3, n_4, r_4, h_7
  380. Translate(A1', Vector[(-u3)]) → A1''_{15}
  381. Translate(I1', Vector[(-u3)]) → I1''_{15}
  382. Translate(L1', Vector[(-u3)]) → L1''_{15}
  383. Translate(J1', Vector[(-u3)]) → J1''_{15}
  384. Translate(A3', Vector[(-u3)]) → A3''_{15}
  385. Translate(O', Vector[(-u3)]) → O''_{15}
  386. Translate(T2, Vector[(-u3)]) → db1
  387. Translate(A1', Vector[(-2 * u3)]) → A1''_{16}
  388. Translate(I1', Vector[(-2 * u3)]) → I1''_{16}
  389. Translate(L1', Vector[(-2 * u3)]) → L1''_{16}
  390. Translate(J1', Vector[(-2 * u3)]) → J1''_{16}
  391. Translate(A3', Vector[(-2 * u3)]) → A3''_{16}
  392. Translate(O', Vector[(-2 * u3)]) → O''_{16}
  393. Translate(T2, Vector[(-2 * u3)]) → db2
  394. Translate(A1', Vector[(-3 * u3)]) → A1''_{17}
  395. Translate(I1', Vector[(-3 * u3)]) → I1''_{17}
  396. Translate(L1', Vector[(-3 * u3)]) → L1''_{17}
  397. Translate(J1', Vector[(-3 * u3)]) → J1''_{17}
  398. Translate(A3', Vector[(-3 * u3)]) → A3''_{17}
  399. Translate(O', Vector[(-3 * u3)]) → O''_{17}
  400. Translate(T2, Vector[(-3 * u3)]) → db3
  401. Translate(A1'_1, Vector[(-u3)]) → T_3
  402. Translate(I1'_1, Vector[(-u3)]) → U_3
  403. Translate(L1'_1, Vector[(-u3)]) → V_3
  404. Translate(J1'_1, Vector[(-u3)]) → W_3
  405. Translate(A3'_1, Vector[(-u3)]) → Z_3
  406. Translate(O'_1, Vector[(-u3)]) → A_4
  407. Translate(T3, Vector[(-u3)]) → dc1
  408. Translate(A1'_1, Vector[(-2 * u3)]) → B_4
  409. Translate(I1'_1, Vector[(-2 * u3)]) → C_4
  410. Translate(L1'_1, Vector[(-2 * u3)]) → D_4
  411. Translate(J1'_1, Vector[(-2 * u3)]) → E_4
  412. Translate(A3'_1, Vector[(-2 * u3)]) → F_4
  413. Translate(O'_1, Vector[(-2 * u3)]) → G_4
  414. Translate(T3, Vector[(-2 * u3)]) → dc2
  415. Translate(A1'_1, Vector[(-3 * u3)]) → H_4
  416. Translate(I1'_1, Vector[(-3 * u3)]) → I_4
  417. Translate(L1'_1, Vector[(-3 * u3)]) → J_4
  418. Translate(J1'_1, Vector[(-3 * u3)]) → K_4
  419. Translate(A3'_1, Vector[(-3 * u3)]) → L_4
  420. Translate(O'_1, Vector[(-3 * u3)]) → M_4
  421. Translate(T3, Vector[(-3 * u3)]) → dc3
  422. Translate(A1, u4) → A1'_{20}
  423. Translate(I1, u4) → I1'_{20}
  424. Translate(L1, u4) → L1'_{20}
  425. Translate(J1, u4) → J1'_{20}
  426. Translate(A3, u4) → A3'_{20}
  427. Translate(O, u4) → O'_{20}
  428. Polygon(Translate[A1, u4], Translate[I1, u4], Translate[L1, u4], Translate[J1, u4], Translate[A3, u4], Translate[O, u4]) → q01a4, k_4, l_4, m_4, a_4, b_4, c_4
  429. Translate(A1, u5) → A1'_{21}
  430. Translate(I1, u5) → I1'_{21}
  431. Translate(L1, u5) → L1'_{21}
  432. Translate(J1, u5) → J1'_{21}
  433. Translate(A3, u5) → A3'_{21}
  434. Translate(O, u5) → O'_{21}
  435. Polygon(Translate[A1, u5], Translate[I1, u5], Translate[L1, u5], Translate[J1, u5], Translate[A3, u5], Translate[O, u5]) → q01a5, d_4, e_4, n_5, p_5, q_5, r_5
  436. Translate(A1, u6) → A1'_{22}
  437. Translate(I1, u6) → I1'_{22}
  438. Translate(L1, u6) → L1'_{22}
  439. Translate(J1, u6) → J1'_{22}
  440. Translate(A3, u6) → A3'_{22}
  441. Translate(O, u6) → O'_{22}
  442. Polygon(Translate[A1, u6], Translate[I1, u6], Translate[L1, u6], Translate[J1, u6], Translate[A3, u6], Translate[O, u6]) → q01a6, s_5, t_5, i_7, j_7, k_7, l_7
  443. Translate(T2, u4) → q01b4
  444. Translate(T2, u5) → q01b5
  445. Translate(T2, u6) → q01b6
  446. Translate(T3, u4) → q01c4
  447. Translate(T3, u5) → q01c5
  448. Translate(T3, u6) → q01c6
  449. Translate(A1, Vector[Rotate[u4, π / 3, (0, 0)]]) → A1'_{23}
  450. Translate(I1, Vector[Rotate[u4, π / 3, (0, 0)]]) → I1'_{23}
  451. Translate(L1, Vector[Rotate[u4, π / 3, (0, 0)]]) → L1'_{23}
  452. Translate(J1, Vector[Rotate[u4, π / 3, (0, 0)]]) → J1'_{23}
  453. Translate(A3, Vector[Rotate[u4, π / 3, (0, 0)]]) → A3'_{23}
  454. Translate(O, Vector[Rotate[u4, π / 3, (0, 0)]]) → O'_{23}
  455. Polygon(Translate[A1, Vector[Rotate[u4, π / 3, (0, 0)]]], Translate[I1, Vector[Rotate[u4, π / 3, (0, 0)]]], Translate[L1, Vector[Rotate[u4, π / 3, (0, 0)]]], Translate[J1, Vector[Rotate[u4, π / 3, (0, 0)]]], Translate[A3, Vector[Rotate[u4, π / 3, (0, 0)]]], Translate[O, Vector[Rotate[u4, π / 3, (0, 0)]]]) → q02a4, m_7, n_7, p_7, q_7, r_7, s_7
  456. Translate(A1, Vector[Rotate[u5, π / 3, (0, 0)]]) → A1'_{24}
  457. Translate(I1, Vector[Rotate[u5, π / 3, (0, 0)]]) → I1'_{24}
  458. Translate(L1, Vector[Rotate[u5, π / 3, (0, 0)]]) → L1'_{24}
  459. Translate(J1, Vector[Rotate[u5, π / 3, (0, 0)]]) → J1'_{24}
  460. Translate(A3, Vector[Rotate[u5, π / 3, (0, 0)]]) → A3'_{24}
  461. Translate(O, Vector[Rotate[u5, π / 3, (0, 0)]]) → O'_{24}
  462. Polygon(Translate[A1, Vector[Rotate[u5, π / 3, (0, 0)]]], Translate[I1, Vector[Rotate[u5, π / 3, (0, 0)]]], Translate[L1, Vector[Rotate[u5, π / 3, (0, 0)]]], Translate[J1, Vector[Rotate[u5, π / 3, (0, 0)]]], Translate[A3, Vector[Rotate[u5, π / 3, (0, 0)]]], Translate[O, Vector[Rotate[u5, π / 3, (0, 0)]]]) → q02a5, t_7, a_7, b_7, c_7, d_7, e_7
  463. Translate(A1, Vector[Rotate[u6, π / 3, (0, 0)]]) → A1'_{25}
  464. Translate(I1, Vector[Rotate[u6, π / 3, (0, 0)]]) → I1'_{25}
  465. Translate(L1, Vector[Rotate[u6, π / 3, (0, 0)]]) → L1'_{25}
  466. Translate(J1, Vector[Rotate[u6, π / 3, (0, 0)]]) → J1'_{25}
  467. Translate(A3, Vector[Rotate[u6, π / 3, (0, 0)]]) → A3'_{25}
  468. Translate(O, Vector[Rotate[u6, π / 3, (0, 0)]]) → O'_{25}
  469. Polygon(Translate[A1, Vector[Rotate[u6, π / 3, (0, 0)]]], Translate[I1, Vector[Rotate[u6, π / 3, (0, 0)]]], Translate[L1, Vector[Rotate[u6, π / 3, (0, 0)]]], Translate[J1, Vector[Rotate[u6, π / 3, (0, 0)]]], Translate[A3, Vector[Rotate[u6, π / 3, (0, 0)]]], Translate[O, Vector[Rotate[u6, π / 3, (0, 0)]]]) → q02a6, f_8, g_8, h_8, i_8, j_8, k_8
  470. Translate(T2, Vector[Rotate[u4, π / 3, (0, 0)]]) → q02b4
  471. Translate(T2, Vector[Rotate[u5, π / 3, (0, 0)]]) → q02b5
  472. Translate(T2, Vector[Rotate[u6, π / 3, (0, 0)]]) → q02b6
  473. Translate(T3, Vector[Rotate[u4, π / 3, (0, 0)]]) → q02c4
  474. Translate(T3, Vector[Rotate[u5, π / 3, (0, 0)]]) → q02c5
  475. Translate(T3, Vector[Rotate[u6, π / 3, (0, 0)]]) → q02c6
  476. Translate(A1, Vector[Rotate[u4, (2 * π / 3), (0, 0)]]) → A1'_{26}
  477. Translate(I1, Vector[Rotate[u4, (2 * π / 3), (0, 0)]]) → I1'_{26}
  478. Translate(L1, Vector[Rotate[u4, (2 * π / 3), (0, 0)]]) → L1'_{26}
  479. Translate(J1, Vector[Rotate[u4, (2 * π / 3), (0, 0)]]) → J1'_{26}
  480. Translate(A3, Vector[Rotate[u4, (2 * π / 3), (0, 0)]]) → A3'_{26}
  481. Translate(O, Vector[Rotate[u4, (2 * π / 3), (0, 0)]]) → O'_{26}
  482. Polygon(A1'_{26}, I1'_{26}, L1'_{26}, J1'_{26}, A3'_{26}, O'_{26}) → q03a4, a1'_{26}, i1'_{26}, l1'_{26}, j1'_{26}, a3'_{26}, o'_{26}
  483. Translate(A1, Vector[Rotate[u5, (2 * π / 3), (0, 0)]]) → A1'_{27}
  484. Translate(I1, Vector[Rotate[u5, (2 * π / 3), (0, 0)]]) → I1'_{27}
  485. Translate(L1, Vector[Rotate[u5, (2 * π / 3), (0, 0)]]) → L1'_{27}
  486. Translate(J1, Vector[Rotate[u5, (2 * π / 3), (0, 0)]]) → J1'_{27}
  487. Translate(A3, Vector[Rotate[u5, (2 * π / 3), (0, 0)]]) → A3'_{27}
  488. Translate(O, Vector[Rotate[u5, (2 * π / 3), (0, 0)]]) → O'_{27}
  489. Polygon(A1'_{27}, I1'_{27}, L1'_{27}, J1'_{27}, A3'_{27}, O'_{27}) → q03a5, a1'_{27}, i1'_{27}, l1'_{27}, j1'_{27}, a3'_{27}, o'_{27}
  490. Translate(A1, Vector[Rotate[u6, (2 * π / 3), (0, 0)]]) → A1'_{28}
  491. Translate(I1, Vector[Rotate[u6, (2 * π / 3), (0, 0)]]) → I1'_{28}
  492. Translate(L1, Vector[Rotate[u6, (2 * π / 3), (0, 0)]]) → L1'_{28}
  493. Translate(J1, Vector[Rotate[u6, (2 * π / 3), (0, 0)]]) → J1'_{28}
  494. Translate(A3, Vector[Rotate[u6, (2 * π / 3), (0, 0)]]) → A3'_{28}
  495. Translate(O, Vector[Rotate[u6, (2 * π / 3), (0, 0)]]) → O'_{28}
  496. Polygon(A1'_{28}, I1'_{28}, L1'_{28}, J1'_{28}, A3'_{28}, O'_{28}) → q03a6, a1'_{28}, i1'_{28}, l1'_{28}, j1'_{28}, a3'_{28}, o'_{28}
  497. Translate(T2, Vector[Rotate[u4, (2 * π / 3), (0, 0)]]) → q03b4
  498. Translate(T2, Vector[Rotate[u5, (2 * π / 3), (0, 0)]]) → q03b5
  499. Translate(T2, Vector[Rotate[u6, (2 * π / 3), (0, 0)]]) → q03b6
  500. Translate(T3, Vector[Rotate[u4, (2 * π / 3), (0, 0)]]) → q03c4
  501. Translate(T3, Vector[Rotate[u5, (2 * π / 3), (0, 0)]]) → q03c5
  502. Translate(T3, Vector[Rotate[u6, (2 * π / 3), (0, 0)]]) → q03c6
  503. Translate(A1, Vector[Rotate[u4, (3 * π / 3), (0, 0)]]) → A1'_{29}
  504. Translate(I1, Vector[Rotate[u4, (3 * π / 3), (0, 0)]]) → I1'_{29}
  505. Translate(L1, Vector[Rotate[u4, (3 * π / 3), (0, 0)]]) → L1'_{29}
  506. Translate(J1, Vector[Rotate[u4, (3 * π / 3), (0, 0)]]) → J1'_{29}
  507. Translate(A3, Vector[Rotate[u4, (3 * π / 3), (0, 0)]]) → A3'_{29}
  508. Translate(O, Vector[Rotate[u4, (3 * π / 3), (0, 0)]]) → O'_{29}
  509. Polygon(A1'_{29}, I1'_{29}, L1'_{29}, J1'_{29}, A3'_{29}, O'_{29}) → q04a4, a1'_{29}, i1'_{29}, l1'_{29}, j1'_{29}, a3'_{29}, o'_{29}
  510. Translate(A1, Vector[Rotate[u5, (3 * π / 3), (0, 0)]]) → A1'_{30}
  511. Translate(I1, Vector[Rotate[u5, (3 * π / 3), (0, 0)]]) → I1'_{30}
  512. Translate(L1, Vector[Rotate[u5, (3 * π / 3), (0, 0)]]) → L1'_{30}
  513. Translate(J1, Vector[Rotate[u5, (3 * π / 3), (0, 0)]]) → J1'_{30}
  514. Translate(A3, Vector[Rotate[u5, (3 * π / 3), (0, 0)]]) → A3'_{30}
  515. Translate(O, Vector[Rotate[u5, (3 * π / 3), (0, 0)]]) → O'_{30}
  516. Polygon(A1'_{30}, I1'_{30}, L1'_{30}, J1'_{30}, A3'_{30}, O'_{30}) → q04a5, a1'_{30}, i1'_{30}, l1'_{30}, j1'_{30}, a3'_{30}, o'_{30}
  517. Translate(A1, Vector[Rotate[u6, (3 * π / 3), (0, 0)]]) → A1'_{31}
  518. Translate(I1, Vector[Rotate[u6, (3 * π / 3), (0, 0)]]) → I1'_{31}
  519. Translate(L1, Vector[Rotate[u6, (3 * π / 3), (0, 0)]]) → L1'_{31}
  520. Translate(J1, Vector[Rotate[u6, (3 * π / 3), (0, 0)]]) → J1'_{31}
  521. Translate(A3, Vector[Rotate[u6, (3 * π / 3), (0, 0)]]) → A3'_{31}
  522. Translate(O, Vector[Rotate[u6, (3 * π / 3), (0, 0)]]) → O'_{31}
  523. Polygon(A1'_{31}, I1'_{31}, L1'_{31}, J1'_{31}, A3'_{31}, O'_{31}) → q04a6, a1'_{31}, i1'_{31}, l1'_{31}, j1'_{31}, a3'_{31}, o'_{31}
  524. Translate(T2, Vector[Rotate[u4, (3 * π / 3), (0, 0)]]) → q04b4
  525. Translate(T2, Vector[Rotate[u5, (3 * π / 3), (0, 0)]]) → q04b5
  526. Translate(T2, Vector[Rotate[u6, (3 * π / 3), (0, 0)]]) → q04b6
  527. Translate(T3, Vector[Rotate[u4, (3 * π / 3), (0, 0)]]) → q04c4
  528. Translate(T3, Vector[Rotate[u5, (3 * π / 3), (0, 0)]]) → q04c5
  529. Translate(T3, Vector[Rotate[u6, (3 * π / 3), (0, 0)]]) → q04c6
  530. Translate(A1, Vector[Rotate[u4, (4 * π / 3), (0, 0)]]) → A1'_{32}
  531. Translate(I1, Vector[Rotate[u4, (4 * π / 3), (0, 0)]]) → I1'_{32}
  532. Translate(L1, Vector[Rotate[u4, (4 * π / 3), (0, 0)]]) → L1'_{32}
  533. Translate(J1, Vector[Rotate[u4, (4 * π / 3), (0, 0)]]) → J1'_{32}
  534. Translate(A3, Vector[Rotate[u4, (4 * π / 3), (0, 0)]]) → A3'_{32}
  535. Translate(O, Vector[Rotate[u4, (4 * π / 3), (0, 0)]]) → O'_{32}
  536. Polygon(A1'_{32}, I1'_{32}, L1'_{32}, J1'_{32}, A3'_{32}, O'_{32}) → q05a4, a1'_{32}, i1'_{32}, l1'_{32}, j1'_{32}, a3'_{32}, o'_{32}
  537. Translate(A1, Vector[Rotate[u5, (4 * π / 3), (0, 0)]]) → A1'_{33}
  538. Translate(I1, Vector[Rotate[u5, (4 * π / 3), (0, 0)]]) → I1'_{33}
  539. Translate(L1, Vector[Rotate[u5, (4 * π / 3), (0, 0)]]) → L1'_{33}
  540. Translate(J1, Vector[Rotate[u5, (4 * π / 3), (0, 0)]]) → J1'_{33}
  541. Translate(A3, Vector[Rotate[u5, (4 * π / 3), (0, 0)]]) → A3'_{33}
  542. Translate(O, Vector[Rotate[u5, (4 * π / 3), (0, 0)]]) → O'_{33}
  543. Polygon(A1'_{33}, I1'_{33}, L1'_{33}, J1'_{33}, A3'_{33}, O'_{33}) → q05a5, a1'_{33}, i1'_{33}, l1'_{33}, j1'_{33}, a3'_{33}, o'_{33}
  544. Translate(A1, Vector[Rotate[u6, (4 * π / 3), (0, 0)]]) → A1'_{34}
  545. Translate(I1, Vector[Rotate[u6, (4 * π / 3), (0, 0)]]) → I1'_{34}
  546. Translate(L1, Vector[Rotate[u6, (4 * π / 3), (0, 0)]]) → L1'_{34}
  547. Translate(J1, Vector[Rotate[u6, (4 * π / 3), (0, 0)]]) → J1'_{34}
  548. Translate(A3, Vector[Rotate[u6, (4 * π / 3), (0, 0)]]) → A3'_{34}
  549. Translate(O, Vector[Rotate[u6, (4 * π / 3), (0, 0)]]) → O'_{34}
  550. Polygon(A1'_{34}, I1'_{34}, L1'_{34}, J1'_{34}, A3'_{34}, O'_{34}) → q05a6, a1'_{34}, i1'_{34}, l1'_{34}, j1'_{34}, a3'_{34}, o'_{34}
  551. Translate(T2, Vector[Rotate[u4, (4 * π / 3), (0, 0)]]) → q05b4
  552. Translate(T2, Vector[Rotate[u5, (4 * π / 3), (0, 0)]]) → q05b5
  553. Translate(T2, Vector[Rotate[u6, (4 * π / 3), (0, 0)]]) → q05b6
  554. Translate(T3, Vector[Rotate[u4, (4 * π / 3), (0, 0)]]) → q05c4
  555. Translate(T3, Vector[Rotate[u5, (4 * π / 3), (0, 0)]]) → q05c5
  556. Translate(T3, Vector[Rotate[u6, (4 * π / 3), (0, 0)]]) → q05c6
  557. Translate(A1, Vector[Rotate[u4, (5 * π / 3), (0, 0)]]) → A1'_{35}
  558. Translate(I1, Vector[Rotate[u4, (5 * π / 3), (0, 0)]]) → I1'_{35}
  559. Translate(L1, Vector[Rotate[u4, (5 * π / 3), (0, 0)]]) → L1'_{35}
  560. Translate(J1, Vector[Rotate[u4, (5 * π / 3), (0, 0)]]) → J1'_{35}
  561. Translate(A3, Vector[Rotate[u4, (5 * π / 3), (0, 0)]]) → A3'_{35}
  562. Translate(O, Vector[Rotate[u4, (5 * π / 3), (0, 0)]]) → O'_{35}
  563. Polygon(A1'_{35}, I1'_{35}, L1'_{35}, J1'_{35}, A3'_{35}, O'_{35}) → q06a4, a1'_{35}, i1'_{35}, l1'_{35}, j1'_{35}, a3'_{35}, o'_{35}
  564. Translate(A1, Vector[Rotate[u5, (5 * π / 3), (0, 0)]]) → A1'_{36}
  565. Translate(I1, Vector[Rotate[u5, (5 * π / 3), (0, 0)]]) → I1'_{36}
  566. Translate(L1, Vector[Rotate[u5, (5 * π / 3), (0, 0)]]) → L1'_{36}
  567. Translate(J1, Vector[Rotate[u5, (5 * π / 3), (0, 0)]]) → J1'_{36}
  568. Translate(A3, Vector[Rotate[u5, (5 * π / 3), (0, 0)]]) → A3'_{36}
  569. Translate(O, Vector[Rotate[u5, (5 * π / 3), (0, 0)]]) → O'_{36}
  570. Polygon(A1'_{36}, I1'_{36}, L1'_{36}, J1'_{36}, A3'_{36}, O'_{36}) → q06a5, a1'_{36}, i1'_{36}, l1'_{36}, j1'_{36}, a3'_{36}, o'_{36}
  571. Translate(A1, Vector[Rotate[u6, (5 * π / 3), (0, 0)]]) → A1'_{37}
  572. Translate(I1, Vector[Rotate[u6, (5 * π / 3), (0, 0)]]) → I1'_{37}
  573. Translate(L1, Vector[Rotate[u6, (5 * π / 3), (0, 0)]]) → L1'_{37}
  574. Translate(J1, Vector[Rotate[u6, (5 * π / 3), (0, 0)]]) → J1'_{37}
  575. Translate(A3, Vector[Rotate[u6, (5 * π / 3), (0, 0)]]) → A3'_{37}
  576. Translate(O, Vector[Rotate[u6, (5 * π / 3), (0, 0)]]) → O'_{37}
  577. Polygon(A1'_{37}, I1'_{37}, L1'_{37}, J1'_{37}, A3'_{37}, O'_{37}) → q06a6, a1'_{37}, i1'_{37}, l1'_{37}, j1'_{37}, a3'_{37}, o'_{37}
  578. Translate(T2, Vector[Rotate[u4, (5 * π / 3), (0, 0)]]) → q06b4
  579. Translate(T2, Vector[Rotate[u5, (5 * π / 3), (0, 0)]]) → q06b5
  580. Translate(T2, Vector[Rotate[u6, (5 * π / 3), (0, 0)]]) → q06b6
  581. Translate(T3, Vector[Rotate[u4, (5 * π / 3), (0, 0)]]) → q06c4
  582. Translate(T3, Vector[Rotate[u5, (5 * π / 3), (0, 0)]]) → q06c5
  583. Translate(T3, Vector[Rotate[u6, (5 * π / 3), (0, 0)]]) → q06c6