MathPlotAI Logo MathPlotAI

Four Layers Construction

Four Layers Construction
Loading the math board and drawing, please wait…
2020-04-30 17:08
PolygonSolid GeometryGeometric Construction
This example demonstrates a four-layer geometric construction involving circles, lines, and polygons. Using GeoGebra commands such as Line, Rotate, Segment, etc., complex geometric shapes can be constructed. Suitable for middle school and above students or teachers for teaching geometric construction and solid geometry.

GeoGebra Commands & Parameters

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

AI Drawing Prompt Reference

Construct a four-layer geometric figure with four circles and polygons. Start by drawing a horizontal line, then rotate to create new segments, draw polygons and circles, and use reflections and rotations to generate multiple polygons and circles, finally connect the points to form a complex geometric shape.
The prompt above was compiled from the original drawing commands and is for reference only.