飞鱼变换 GeoGebra 示例

GeoGebra 命令及参数

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