p6m 半规则6-4-3-4 马赛克：对称变换构造

几何画板及绘图内容加载中，请稍等……

2023-03-22 23:20

所属专题 geometriadinamica.es

该范例展示在 p6m 六重对称框架下，用半规则贴片方式生成“6-4-3-4”几何马赛克（含三角与四边形/六边形的拼合规律），体现周期镶嵌与局部形状重复的现象。核心数学概念包括：马赛克/镶嵌（tessellation）、平面对称群 p6m、相似三角形与边长比例、分段几何变换（旋转、镜像、平移）以及由交点与中点等构造实现精确拼接。作图要点可由构造摘要提炼：使用 If 进行条件分支控制，结合 Line 与 Point 确定基准线与关键点；Polygon 形成单元多边形 poly1、poly2；Midpoint 计算边中点以维持比例；Mirror 与 Rotate 生成对称/旋转副本；Intersect 用于求边的交点以闭合拼片；Vector、Translate、Segment、Length、Circle 与 Translate/Rotate 共同完成方向、长度约束与圆/距离辅助；最终用 Min、Intersect 等保证拼接选择与几何关系一致。该示例适合中学竞赛拓展、大学基础几何与离散数学的教学演示，也适合对“对称变换+镶嵌构造”感兴趣的学习者用于自主建模与可视化实验。

GeoGebra 命令及参数

If(a < 2.3, 0, If[a < 3.3, a - 2.3, 1]) → d3
If(a < 1.2, 0, If[a < 2.2, a - 1.2, 1]) → d2
If(a < 1, a, 1) → d1
If(a < 3.4, 0, If[a < 4.4, a - 3.4, 1]) → d4
If(a < 4.5, 0, If[a < 5.5, a - 4.5, 1]) → d5
If(a < 5.6, 0, If[a < 6.6, a - 5.6, 1]) → d6
If(a < 6.7, 0, If[a < 7.7, a - 6.7, 1]) → d7
If(a < 7.8, 0, If[a < 8.8, a - 7.8, 1]) → d8
Line(A, B) → b
Line(C, b) → d
Point(d) → D
Polygon(C, D, 6) → poly1, e, H, f, g, h, i, j, E, F, G
Polygon(G, F, 4) → poly2, k, l, m, n, I, J
Polygon(H, G, 4) → poly3, p, q, r, s, K, L
Polygon(C, H, 4) → poly4, t, a_1, b_1, c_1, M, N
Polygon(F, E, 4) → poly5, d_1, e_1, o, g_1, O, P
Polygon(E, D, 4) → poly6, f_1, h_1, i_1, j_1, Q, R
Polygon(D, C, 4) → poly7, k_1, l_1, m_1, n_1, S, T
Polygon(K, G, 3) → poly8, u, q_1, r_1, U
Polygon(I, F, 3) → poly9, p_1, s_1, t_1, V
Polygon(E, R, 3) → poly10, w, b_2, c_2, W
Midpoint(C, F) → Z
Midpoint(F, J) → A_1
Mirror(K, Z) → K'
Mirror(G, Z) → G'
Mirror(U, Z) → U'
Polygon(K', G', U') → poly8', u', k', g'
Mirror(I, Z) → I'
Mirror(F, Z) → F'
Mirror(V, Z) → V'
Polygon(I', F', V') → poly9', v', i', f'
Mirror(E, Z) → E'
Mirror(R, Z) → R'
Mirror(W, Z) → W'
Polygon(E', R', W') → poly10', w', e', r'
Mirror(C, A_1) → C'
Mirror(D, A_1) → D'
Mirror(E, A_1) → E'_1
Mirror(F, A_1) → F'_1
Mirror(G, A_1) → G'_1
Mirror(H, A_1) → H'
Polygon(C', D', E'_1, F'_1, G'_1, H') → poly1', c', d', e'_1, f'_1, g'_1, h'
Mirror(E, A_1) → E'_2
Mirror(D, A_1) → D'_1
Mirror(Q, A_1) → Q'
Mirror(R, A_1) → R'_1
Polygon(E'_2, D'_1, Q', R'_1) → poly6', e'_2, d'_1, q', r'_1
Mirror(F, A_1) → F'_2
Mirror(E, A_1) → E'_3
Mirror(O, A_1) → O'
Mirror(P, A_1) → P'
Polygon(F'_2, E'_3, O', P') → poly5', f'_2, e'_3, o', p'
Mirror(C', Z) → C''
Mirror(D', Z) → D''
Mirror(E'_1, Z) → B_1
Mirror(F'_1, Z) → C_1
Mirror(G'_1, Z) → D_1
Mirror(H', Z) → H''
Polygon(C'', D'', B_1, C_1, D_1, H'') → poly1'', c'', d'', b_3, c_3, d_2, h''
Mirror(E'_2, Z) → E_1
Mirror(D'_1, Z) → F_1
Mirror(Q', Z) → Q''
Mirror(R'_1, Z) → G_1
Polygon(E_1, F_1, Q'', G_1) → poly6'', e_2, f_2, q'', g_2
Mirror(F'_2, Z) → H_1
Mirror(E'_3, Z) → I_1
Mirror(O', Z) → O''
Mirror(P', Z) → P''
Polygon(H_1, I_1, O'', P'') → poly5'', h_2, i_2, o'', p''
Mirror(D, A_1) → D'_2
Mirror(C, A_1) → C'_1
Mirror(S, A_1) → S'
Mirror(T, A_1) → T'
Polygon(D'_2, C'_1, S', T') → poly7', d'_2, c'_1, s', t'
Mirror(C, A_1) → C'_2
Mirror(H, A_1) → H'_1
Mirror(M, A_1) → M'
Mirror(N, A_1) → N'
Polygon(C'_2, H'_1, M', N') → poly4', c'_2, h'_1, m', n'
Mirror(H, A_1) → H'_2
Mirror(G, A_1) → G'_2
Mirror(K, A_1) → K'_1
Mirror(L, A_1) → L'
Polygon(H'_2, G'_2, K'_1, L') → poly3', h'_2, g'_2, k'_1, l'
Mirror(K', A_1) → K''
Mirror(G', A_1) → G''
Mirror(U', A_1) → U''
Polygon(K'', G'', U'') → poly8'', u'', k'', g''
Mirror(I', A_1) → I''
Mirror(F', A_1) → F''
Mirror(V', A_1) → V''
Polygon(I'', F'', V'') → poly9'', v'', i'', f''
Mirror(E', A_1) → E''
Mirror(R', A_1) → R''
Mirror(W', A_1) → W''
Polygon(E'', R'', W'') → poly10'', w'', e'', r''
Mirror(E, A_1) → E'_4
Mirror(R, A_1) → R'_2
Mirror(W, A_1) → W'_1
Polygon(E'_4, R'_2, W'_1) → poly10'_1, w'_1, e'_4, r'_2
Midpoint(E'_1, K) → J_1
Mirror(C', J_1) → C''_1
Mirror(D', J_1) → D''_1
Mirror(E'_1, J_1) → K_1
Mirror(F'_1, J_1) → L_1
Mirror(G'_1, J_1) → M_1
Mirror(H', J_1) → H''_1
Polygon(C''_1, D''_1, K_1, L_1, M_1, H''_1) → poly1''_1, c''_1, d''_1, k_2, l_2, m_2, h''_1
Mirror(C'_2, J_1) → N_1
Mirror(H'_1, J_1) → O_1
Mirror(M', J_1) → M''
Mirror(N', J_1) → N''
Polygon(N_1, O_1, M'', N'') → poly4'', n_2, o_1, m'', n''
Mirror(I'', J_1) → I'''
Mirror(F'', J_1) → F'''
Mirror(V'', J_1) → V'''
Polygon(I''', F''', V''') → poly9''', v''', i''', f'''
Mirror(D'_2, J_1) → P_1
Mirror(C'_1, J_1) → Q_1
Mirror(S', J_1) → S''
Mirror(T', J_1) → T''
Polygon(P_1, Q_1, S'', T'') → poly7'', p_2, q_2, s'', t''
Mirror(C''_1, A_1) → R_1
Mirror(D''_1, A_1) → S_1
Mirror(K_1, A_1) → T_1
Mirror(L_1, A_1) → U_1
Mirror(M_1, A_1) → V_1
Mirror(H''_1, A_1) → W_1
Polygon(R_1, S_1, T_1, U_1, V_1, W_1) → poly11, r_2, s_2, t_2, u_1, v_1, w_1
Mirror(N_1, A_1) → Z_1
Mirror(O_1, A_1) → A_2
Mirror(M'', A_1) → M'''
Mirror(N'', A_1) → N'''
Polygon(Z_1, A_2, M''', N''') → poly4''', z_1, a_2, m''', n'''
Mirror(I''', A_1) → B_2
Mirror(F''', A_1) → C_2
Mirror(V''', A_1) → D_2
Polygon(B_2, C_2, D_2) → poly12, d_3, b_4, c_4
Mirror(P_1, A_1) → E_2
Mirror(Q_1, A_1) → F_2
Mirror(S'', A_1) → S'''
Mirror(T'', A_1) → T'''
Polygon(E_2, F_2, S''', T''') → poly7''', e_3, f_3, s''', t'''
Midpoint(P, H') → G_2
Mirror(E'_2, G_2) → H_2
Mirror(D'_1, G_2) → I_2
Mirror(Q', G_2) → Q''_1
Mirror(R'_1, G_2) → J_2
Polygon(H_2, I_2, Q''_1, J_2) → poly6''_1, h_3, i_3, q''_1, j_2
Mirror(K'', G_2) → K'''
Mirror(G'', G_2) → G'''
Mirror(U'', G_2) → U'''
Polygon(K''', G''', U''') → poly8''', u''', k''', g'''
Mirror(D'_2, G_2) → K_2
Mirror(C'_1, G_2) → L_2
Mirror(S', G_2) → S''_1
Mirror(T', G_2) → T''_1
Polygon(K_2, L_2, S''_1, T''_1) → poly7''_1, k_3, l_3, s''_1, t''_1
Mirror(E'_4, G_2) → M_2
Mirror(R'_2, G_2) → N_2
Mirror(W'_1, G_2) → O_2
Polygon(M_2, N_2, O_2) → poly13, o_2, m_3, n_3
Mirror(C, G_2) → C'_3
Mirror(D, G_2) → D'_3
Mirror(E, G_2) → E'_5
Mirror(F, G_2) → F'_3
Mirror(G, G_2) → G'_3
Mirror(H, G_2) → H'_3
Polygon(C'_3, D'_3, E'_5, F'_3, G'_3, H'_3) → poly1'_1, c'_3, d'_3, e'_5, f'_3, g'_3, h'_3
Midpoint(S, D'') → P_2
Midpoint(M_1, L) → Q_2
Mirror(P_1, Q_2) → R_2
Mirror(Q_1, Q_2) → S_2
Mirror(S'', Q_2) → S'''_1
Mirror(T'', Q_2) → T'''_1
Polygon(R_2, S_2, S'''_1, T'''_1) → poly7'''_1, r_3, s_3, s'''_1, t'''_1
Mirror(H, Q_2) → H'_4
Mirror(G, Q_2) → G'_4
Mirror(K, Q_2) → K'_2
Mirror(L, Q_2) → L'_1
Polygon(H'_4, G'_4, K'_2, L'_1) → poly3'_1, h'_4, g'_4, k'_2, l'_1
Mirror(E', Q_2) → E''_1
Mirror(R', Q_2) → R''_1
Mirror(W', Q_2) → W''_1
Polygon(E''_1, R''_1, W''_1) → poly10''_1, w''_1, e''_1, r''_1
Mirror(K, Q_2) → K'_3
Mirror(G, Q_2) → G'_5
Mirror(U, Q_2) → U'_1
Polygon(K'_3, G'_5, U'_1) → poly8'_1, u'_1, k'_3, g'_5
Midpoint(T'''_1, O') → T_2
Mirror(C''_1, T_2) → U_2
Mirror(D''_1, T_2) → V_2
Mirror(K_1, T_2) → W_2
Mirror(L_1, T_2) → Z_2
Mirror(M_1, T_2) → A_3
Mirror(H''_1, T_2) → B_3
Polygon(U_2, V_2, W_2, Z_2, A_3, B_3) → poly14, u_2, v_2, w_2, z_2, a_3, b_5
Mirror(F'_2, T_2) → C_3
Mirror(E'_3, T_2) → D_3
Mirror(O', T_2) → O''_1
Mirror(P', T_2) → P''_1
Polygon(C_3, D_3, O''_1, P''_1) → poly5''_1, c_5, d_4, o''_1, p''_1
Mirror(K, T_2) → K'_4
Mirror(G, T_2) → G'_6
Mirror(U, T_2) → U'_2
Polygon(K'_4, G'_6, U'_2) → poly8'_2, u'_2, k'_4, g'_6
Mirror(H, T_2) → H'_5
Mirror(G, T_2) → G'_7
Mirror(K, T_2) → K'_5
Mirror(L, T_2) → L'_2
Polygon(H'_5, G'_7, K'_5, L'_2) → poly3'_2, h'_5, g'_7, k'_5, l'_2
Mirror(U_2, Q_2) → E_3
Mirror(V_2, Q_2) → F_3
Mirror(W_2, Q_2) → G_3
Mirror(Z_2, Q_2) → H_3
Mirror(A_3, Q_2) → I_3
Mirror(B_3, Q_2) → J_3
Polygon(E_3, F_3, G_3, H_3, I_3, J_3) → poly14', e_4, f_4, g_3, h_4, i_4, j_3
Mirror(E'_2, Q_2) → K_3
Mirror(D'_1, Q_2) → L_3
Mirror(Q', Q_2) → Q''_2
Mirror(R'_1, Q_2) → M_3
Polygon(K_3, L_3, Q''_2, M_3) → poly6''_2, k_4, l_4, q''_2, m_4
Mirror(E_2, Z) → N_3
Mirror(F_2, Z) → O_3
Mirror(S''', Z) → P_3
Mirror(T''', Z) → Q_3
Polygon(N_3, O_3, P_3, Q_3) → poly15, n_4, o_3, p_3, q_3
Mirror(H'_2, Z) → R_3
Mirror(G'_2, Z) → S_3
Mirror(K'_1, Z) → T_3
Mirror(L', Z) → L''
Polygon(R_3, S_3, T_3, L'') → poly3'', r_4, s_4, t_3, l''
Mirror(E'', Z) → E'''
Mirror(R'', Z) → R'''
Mirror(W'', Z) → W'''
Polygon(E''', R''', W''') → poly10''', w''', e''', r'''
Mirror(M_2, Z) → U_3
Mirror(N_2, Z) → V_3
Mirror(O_2, Z) → W_3
Polygon(U_3, V_3, W_3) → poly13', w_3, u_3, v_3
Mirror(Z_1, Z) → Z_3
Mirror(A_2, Z) → A_4
Mirror(M''', Z) → B_4
Mirror(N''', Z) → C_4
Polygon(Z_3, A_4, B_4, C_4) → poly16, z_3, a_4, b_6, c_6
Mirror(B_2, Z) → D_4
Mirror(C_2, Z) → E_4
Mirror(D_2, Z) → F_4
Polygon(D_4, E_4, F_4) → poly12', f_5, d_5, e_5
Mirror(H'_4, Z) → G_4
Mirror(G'_4, Z) → H_4
Mirror(K'_2, Z) → I_4
Mirror(L'_1, Z) → J_4
Polygon(G_4, H_4, I_4, J_4) → poly17, g_4, h_5, i_5, j_4
Mirror(C''_1, Z) → K_4
Mirror(D''_1, Z) → L_4
Mirror(K_1, Z) → M_4
Mirror(L_1, Z) → N_4
Mirror(M_1, Z) → O_4
Mirror(H''_1, Z) → P_4
Polygon(K_4, L_4, M_4, N_4, O_4, P_4) → poly18, k_5, l_5, m_5, n_5, o_4, p_4
Mirror(E''_1, Z) → Q_4
Mirror(R''_1, Z) → R_4
Mirror(W''_1, Z) → S_4
Polygon(Q_4, R_4, S_4) → poly19, s_5, q_4, r_5
Mirror(K'_3, Z) → T_4
Mirror(G'_5, Z) → U_4
Mirror(U'_1, Z) → V_4
Polygon(T_4, U_4, V_4) → poly20, v_4, t_4, u_4
Mirror(N_1, Z) → W_4
Mirror(O_1, Z) → Z_4
Mirror(M'', Z) → M'''_1
Mirror(N'', Z) → N'''_1
Polygon(W_4, Z_4, M'''_1, N'''_1) → poly4'''_1, w_4, z_4, m'''_1, n'''_1
Mirror(R_2, Z) → A_5
Mirror(S_2, Z) → B_5
Mirror(S'''_1, Z) → C_5
Mirror(T'''_1, Z) → D_5
Polygon(A_5, B_5, C_5, D_5) → poly21, a_5, b_7, c_7, d_6
Mirror(E'_4, Z) → E_5
Mirror(R'_2, Z) → F_5
Mirror(W'_1, Z) → G_5
Polygon(E_5, F_5, G_5) → poly22, g_5, e_6, f_6
Mirror(H_1, P_2) → H_5
Mirror(I_1, P_2) → I_5
Mirror(O'', P_2) → O'''
Mirror(P'', P_2) → P'''
Polygon(H_5, I_5, O''', P''') → poly5''', h_6, i_6, o''', p'''
Midpoint(T', C') → J_5
Midpoint(D', I) → K_5
Mirror(F, K_5) → F'_4
Mirror(E, K_5) → E'_6
Mirror(O, K_5) → O'_1
Mirror(P, K_5) → P'_1
Polygon(F'_4, E'_6, O'_1, P'_1) → poly5'_1, f'_4, e'_6, o'_1, p'_1
Mirror(C', J_5) → C''_2
Mirror(D', J_5) → D''_2
Mirror(E'_1, J_5) → L_5
Mirror(F'_1, J_5) → M_5
Mirror(G'_1, J_5) → N_5
Mirror(H', J_5) → H''_2
Polygon(C''_2, D''_2, L_5, M_5, N_5, H''_2) → poly1''_2, c''_2, d''_2, l_6, m_6, n_6, h''_2
Mirror(E'_2, J_5) → O_5
Mirror(D'_1, J_5) → P_5
Mirror(Q', J_5) → Q''_3
Mirror(R'_1, J_5) → Q_5
Polygon(O_5, P_5, Q''_3, Q_5) → poly6''_3, o_5, p_5, q''_3, q_5
Mirror(K'_4, J_5) → R_5
Mirror(G'_6, J_5) → S_5
Mirror(U'_2, J_5) → T_5
Polygon(R_5, S_5, T_5) → poly23, t_5, r_6, s_6
Mirror(C_3, J_5) → U_5
Mirror(D_3, J_5) → V_5
Mirror(O''_1, J_5) → W_5
Mirror(P''_1, J_5) → Z_5
Polygon(U_5, V_5, W_5, Z_5) → poly24, u_5, v_5, w_5, z_5
Mirror(H'_5, J_5) → A_6
Mirror(G'_7, J_5) → B_6
Mirror(K'_5, J_5) → C_6
Mirror(L'_2, J_5) → D_6
Polygon(A_6, B_6, C_6, D_6) → poly25, a_6, b_8, c_8, d_7
Midpoint(G'_6, V_2) → E_6
Midpoint(U_2, U'') → F_6
Mirror(F_6, K_5) → G_6
Mirror(Z, G_6) → Z'
Mirror(G_2, Z') → H_6
Mirror(J_1, K_5) → I_6
Mirror(K_5, I_6) → J_6
Mirror(J_6, Z') → K_6
Mirror(A_1, Z) → L_6
Midpoint(P_2, K_6) → M_6
Midpoint(P_2, Q_2) → N_6
Midpoint(I''', F_3) → O_6
Midpoint(E_3, W_3) → P_6
Midpoint(N'', J_3) → Q_6
Mirror(Q_6, O_6) → R_6
Mirror(R_6, P_2) → S_6
Mirror(M_6, K_6) → T_6
Midpoint(Z', J_6) → U_6
Midpoint(Z', K_6) → V_6
Midpoint(O_6, Q_2) → W_6
Midpoint(O'', S_4) → Z_6
Midpoint(G_4, I_4) → A_7
Midpoint(Q_3, E_3) → B_7
Midpoint(V_2, R'_1) → C_7
Midpoint(R'_1, D') → D_7
Mirror(F_6, C_7) → E_7
Mirror(F_6, D_7) → F_7
Mirror(D_7, J_5) → G_7
Mirror(I_6, J_6) → H_7
Mirror(G_7, J_6) → I_7
Mirror(G_6, Z') → J_7
Mirror(G_2, G_6) → K_7
Mirror(K_7, Z) → L_7
Mirror(L_7, Q_2) → M_7
Mirror(N_6, W_6) → N_7
Mirror(N_6, R_6) → O_7
Line(E_6, H_6) → j_5
Line(Q_2, j_5) → g_6
Line(O_6, j_5) → j_6
Line(O_6, K_6) → k_6
Line(Q_2, Z') → p_6
Line(C_7, J_6) → q_6
Line(J_6, Q_2) → t_6
Line(Z', O_6) → a_7
Line(K_6, P_2) → e_7
Line(J_6, K_6) → f_7
Line(J_5, P_2) → g_7
Line(O_6, C_7) → h_7
Line(T_2, U_6) → i_7
Line(W_6, V_6) → j_7
Line(C', J) → k_7
Line(R_1, O) → l_7
Line(V_1, L') → m_7
Line(J_4, R) → n_7
Line(D'', S) → p_7
Line(D, G) → q_7
Line(C, F) → r_7
Line(Q_2, O') → s_7
Intersect(i_7, s_7) → P_7
Intersect(p_6, k_7) → Q_7
Intersect(i_7, m_7) → R_7
Intersect(i_7, l_7) → S_7
Intersect(j_7, m_7) → T_7
Intersect(j_7, n_7) → U_7
Intersect(n_7, p_6) → V_7
Intersect(p_7, j_7) → W_7
Intersect(r_7, k_6) → Z_7
Intersect(q_7, l_7) → A_8
Intersect(j_7, s_7) → B_8
Intersect(i_7, p_7) → C_8
Intersect(q_6, l_7) → D_8
Intersect(m_7, k_7) → E_8
Intersect(n_7, s_7) → F_8
Intersect(q_6, p_7) → G_8
Intersect(k_6, m_7) → H_8
Intersect(k_6, s_7) → I_8
Intersect(k, g_7) → J_8
Intersect(n, p_6) → K_8
Polygon(Z, J_8, G) → poly26, g_8, z, j_8
Polygon(J_8, A_1, K_8, G) → poly27, j_9, a_8, k_8, g_9
Polygon(G, Q_7, K_8) → poly28, k_9, g_{10}, q_8
Mirror(J_8, g_7) → L_8
Mirror(A_1, g_7) → M_8
Mirror(K_8, g_7) → N_8
Mirror(G, g_7) → G'_8
Polygon(L_8, M_8, N_8, G'_8) → poly27', l_8, m_8, n_8, g'_8
Mirror(G, g_7) → G'_9
Mirror(Q_7, g_7) → O_8
Mirror(K_8, g_7) → P_8
Polygon(G'_9, O_8, P_8) → poly28', p_8, g'_9, o_8
Mirror(Z, g_7) → Z'_1
Mirror(J_8, g_7) → Q_8
Mirror(G, g_7) → G'_{10}
Polygon(Z'_1, Q_8, G'_{10}) → poly26', g'_{10}, z'_1, q_9
Min(60, ((a - 1) * 60)) → r1
Rotate(Z, r1°, Z) → Z'_2
Rotate(J_8, r1°, Z) → R_8
Rotate(G, r1°, Z) → G'_{11}
Polygon(Z'_2, R_8, G'_{11}) → poly26'_1, g'_{11}, z'_2, r_8
Rotate(Z'_1, r1°, Z) → S_8
Rotate(Q_8, r1°, Z) → T_8
Rotate(G'_{10}, r1°, Z) → U_8
Polygon(S_8, T_8, U_8) → poly26'', u_8, s_8, t_8
Rotate(J_8, r1°, Z) → V_8
Rotate(A_1, r1°, Z) → W_8
Rotate(K_8, r1°, Z) → Z_8
Rotate(G, r1°, Z) → G'_{12}
Polygon(V_8, W_8, Z_8, G'_{12}) → poly27'_1, v_8, w_8, z_8, g'_{12}
Rotate(L_8, r1°, Z) → A_9
Rotate(M_8, r1°, Z) → B_9
Rotate(N_8, r1°, Z) → C_9
Rotate(G'_8, r1°, Z) → D_9
Polygon(A_9, B_9, C_9, D_9) → poly27'', a_9, b_9, c_9, d_9
Rotate(G'_9, r1°, Z) → E_9
Rotate(O_8, r1°, Z) → F_9
Rotate(P_8, r1°, Z) → G_9
Polygon(E_9, F_9, G_9) → poly28'', g_{11}, e_9, f_9
Rotate(G, r1°, Z) → G'_{13}
Rotate(Q_7, r1°, Z) → H_9
Rotate(K_8, r1°, Z) → I_9
Polygon(G'_{13}, H_9, I_9) → poly28'_1, i_9, g'_{13}, h_9
Rotate(J_8, r1°, Z) → J_9
Rotate(A_1, r1°, Z) → K_9
Rotate(K_8, r1°, Z) → L_9
Rotate(G, r1°, Z) → G'_{14}
Min(60, ((a - 2) * 60)) → r2
Rotate(G'_{13}, r2°, Z) → M_9
Rotate(H_9, r2°, Z) → N_9
Rotate(I_9, r2°, Z) → O_9
Polygon(M_9, N_9, O_9) → poly29, o_9, m_9, n_9
Rotate(V_8, r2°, Z) → P_9
Rotate(W_8, r2°, Z) → Q_9
Rotate(Z_8, r2°, Z) → R_9
Rotate(G'_{12}, r2°, Z) → S_9
Polygon(P_9, Q_9, R_9, S_9) → poly30, p_9, q_{10}, r_9, s_9
Rotate(A_9, r2°, Z) → T_9
Rotate(B_9, r2°, Z) → U_9
Rotate(C_9, r2°, Z) → V_9
Rotate(D_9, r2°, Z) → W_9
Polygon(T_9, U_9, V_9, W_9) → poly27''', t_9, u_9, v_9, w_9
Rotate(E_9, r2°, Z) → Z_9
Rotate(F_9, r2°, Z) → A_{10}
Rotate(G_9, r2°, Z) → B_{10}
Polygon(Z_9, A_{10}, B_{10}) → poly28''', b_{10}, z_9, a_{10}
Rotate(S_8, r2°, Z) → C_{10}
Rotate(T_8, r2°, Z) → D_{10}
Rotate(U_8, r2°, Z) → E_{10}
Polygon(C_{10}, D_{10}, E_{10}) → poly26''', e_{10}, c_{10}, d_{10}
Rotate(Z'_2, r2°, Z) → F_{10}
Rotate(R_8, r2°, Z) → G_{10}
Rotate(G'_{11}, r2°, Z) → H_{10}
Polygon(F_{10}, G_{10}, H_{10}) → poly31, h_{10}, f_{10}, g_{12}
Min(60, ((a - 3) * 60)) → r3
Rotate(Z_9, r3°, Z) → I_{10}
Rotate(A_{10}, r3°, Z) → J_{10}
Rotate(B_{10}, r3°, Z) → K_{10}
Polygon(I_{10}, J_{10}, K_{10}) → poly32, k_{10}, i_{10}, j_{10}
Rotate(T_9, r3°, Z) → L_{10}
Rotate(U_9, r3°, Z) → M_{10}
Rotate(V_9, r3°, Z) → N_{10}
Rotate(W_9, r3°, Z) → O_{10}
Polygon(L_{10}, M_{10}, N_{10}, O_{10}) → poly33, l_{10}, m_{10}, n_{10}, o_{10}
Rotate(P_9, r3°, Z) → P_{10}
Rotate(Q_9, r3°, Z) → Q_{10}
Rotate(R_9, r3°, Z) → R_{10}
Rotate(S_9, r3°, Z) → S_{10}
Polygon(P_{10}, Q_{10}, R_{10}, S_{10}) → poly30', p_{10}, q_{11}, r_{10}, s_{10}
Rotate(M_9, r3°, Z) → T_{10}
Rotate(N_9, r3°, Z) → U_{10}
Rotate(O_9, r3°, Z) → V_{10}
Polygon(T_{10}, U_{10}, V_{10}) → poly29', v_{10}, t_{10}, u_{10}
Rotate(C_{10}, r3°, Z) → W_{10}
Rotate(D_{10}, r3°, Z) → Z_{10}
Rotate(E_{10}, r3°, Z) → A_{11}
Polygon(W_{10}, Z_{10}, A_{11}) → poly34, a_{11}, w_{10}, z_{10}
Rotate(F_{10}, r3°, Z) → B_{11}
Rotate(G_{10}, r3°, Z) → C_{11}
Rotate(H_{10}, r3°, Z) → D_{11}
Polygon(B_{11}, C_{11}, D_{11}) → poly31', d_{11}, b_{11}, c_{11}
Min(60, ((a - 4) * 60)) → r4
Rotate(W_{10}, r4°, Z) → E_{11}
Rotate(Z_{10}, r4°, Z) → F_{11}
Rotate(A_{11}, r4°, Z) → G_{11}
Polygon(E_{11}, F_{11}, G_{11}) → poly34', g_{13}, e_{11}, f_{11}
Rotate(B_{11}, r4°, Z) → H_{11}
Rotate(C_{11}, r4°, Z) → I_{11}
Rotate(D_{11}, r4°, Z) → J_{11}
Polygon(H_{11}, I_{11}, J_{11}) → poly31'', j_{11}, h_{11}, i_{11}
Rotate(I_{10}, r4°, Z) → K_{11}
Rotate(J_{10}, r4°, Z) → L_{11}
Rotate(K_{10}, r4°, Z) → M_{11}
Polygon(K_{11}, L_{11}, M_{11}) → poly32', m_{11}, k_{11}, l_{11}
Rotate(L_{10}, r4°, Z) → N_{11}
Rotate(M_{10}, r4°, Z) → O_{11}
Rotate(N_{10}, r4°, Z) → P_{11}
Rotate(O_{10}, r4°, Z) → Q_{11}
Polygon(N_{11}, O_{11}, P_{11}, Q_{11}) → poly33', n_{11}, o_{11}, p_{11}, q_{12}
Rotate(P_{10}, r4°, Z) → R_{11}
Rotate(Q_{10}, r4°, Z) → S_{11}
Rotate(R_{10}, r4°, Z) → T_{11}
Rotate(S_{10}, r4°, Z) → U_{11}
Polygon(R_{11}, S_{11}, T_{11}, U_{11}) → poly30'', r_{11}, s_{11}, t_{11}, u_{11}
Rotate(T_{10}, r4°, Z) → V_{11}
Rotate(U_{10}, r4°, Z) → W_{11}
Rotate(V_{10}, r4°, Z) → Z_{11}
Polygon(V_{11}, W_{11}, Z_{11}) → poly29'', z_{11}, v_{11}, w_{11}
Min(60, ((a - 5) * 60)) → r5
Rotate(K_{11}, r5°, Z) → A_{12}
Rotate(L_{11}, r5°, Z) → B_{12}
Rotate(M_{11}, r5°, Z) → C_{12}
Polygon(A_{12}, B_{12}, C_{12}) → poly32'', c_{12}, a_{12}, b_{12}
Rotate(N_{11}, r5°, Z) → D_{12}
Rotate(O_{11}, r5°, Z) → E_{12}
Rotate(P_{11}, r5°, Z) → F_{12}
Rotate(Q_{11}, r5°, Z) → G_{12}
Polygon(D_{12}, E_{12}, F_{12}, G_{12}) → poly33'', d_{12}, e_{12}, f_{12}, g_{14}
Rotate(R_{11}, r5°, Z) → H_{12}
Rotate(S_{11}, r5°, Z) → I_{12}
Rotate(T_{11}, r5°, Z) → J_{12}
Rotate(U_{11}, r5°, Z) → K_{12}
Polygon(H_{12}, I_{12}, J_{12}, K_{12}) → poly30''', h_{12}, i_{12}, j_{12}, k_{12}
Rotate(V_{11}, r5°, Z) → L_{12}
Rotate(W_{11}, r5°, Z) → M_{12}
Rotate(Z_{11}, r5°, Z) → N_{12}
Polygon(L_{12}, M_{12}, N_{12}) → poly29''', n_{12}, l_{12}, m_{12}
Rotate(E_{11}, r5°, Z) → O_{12}
Rotate(F_{11}, r5°, Z) → P_{12}
Rotate(G_{11}, r5°, Z) → Q_{12}
Polygon(O_{12}, P_{12}, Q_{12}) → poly34'', q_{13}, o_{12}, p_{12}
Rotate(C, r5°, Z) → C'_4
Rotate(D, r5°, Z) → D'_4
Rotate(E, r5°, Z) → E'_7
Rotate(F, r5°, Z) → F'_5
Rotate(G, r5°, Z) → G'_{15}
Rotate(H, r5°, Z) → H'_6
Rotate(H_{11}, r5°, Z) → R_{12}
Rotate(I_{11}, r5°, Z) → S_{12}
Rotate(J_{11}, r5°, Z) → T_{12}
Polygon(R_{12}, S_{12}, T_{12}) → poly31''', t_{12}, r_{12}, s_{12}
Vector(Q_2, K_5) → u1
Vector(Q_2, Z) → u2
Length(u1) → z1
Min(z1, ((a - 6) * z1)) → z2
Intersect(j_5, e_7) → U_{12}
Circle(U_{12}, z2) → t_7
Circle(U_{12}, r3) → d_8
Intersect(t_7, e_7, 1) → V_{12}
Vector(U_{12}, V_{12}) → u_6
Circle(U_{12}, r3) → e_8
Min(z1, ((a - 7) * z1)) → z3
Circle(U_{12}, z3) → f_8
Intersect(f_8, j_5, 2) → W_{12}
Vector(U_{12}, W_{12}) → v_6
Translate(G'_9, u_6) → Z_{12}
Translate(O_8, u_6) → A_{13}
Translate(P_8, u_6) → B_{13}
Polygon(Z_{12}, A_{13}, B_{13}) → poly28''_1, b_{13}, z_{12}, a_{13}
Translate(L_{12}, u_6) → C_{13}
Translate(M_{12}, u_6) → D_{13}
Translate(N_{12}, u_6) → E_{13}
Polygon(C_{13}, D_{13}, E_{13}) → poly35, e_{13}, c_{13}, d_{13}
Translate(H_{12}, u_6) → F_{13}
Translate(I_{12}, u_6) → G_{13}
Translate(J_{12}, u_6) → H_{13}
Translate(K_{12}, u_6) → I_{13}
Polygon(F_{13}, G_{13}, H_{13}, I_{13}) → poly36, f_{13}, g_{15}, h_{13}, i_{13}
Translate(D_{12}, u_6) → J_{13}
Translate(E_{12}, u_6) → K_{13}
Translate(F_{12}, u_6) → L_{13}
Translate(G_{12}, u_6) → M_{13}
Polygon(J_{13}, K_{13}, L_{13}, M_{13}) → poly33''', j_{13}, k_{13}, l_{13}, m_{13}
Translate(A_{12}, u_6) → N_{13}
Translate(B_{12}, u_6) → O_{13}
Translate(C_{12}, u_6) → P_{13}
Polygon(N_{13}, O_{13}, P_{13}) → poly32''', p_{13}, n_{13}, o_{13}
Translate(V_{11}, u_6) → Q_{13}
Translate(W_{11}, u_6) → R_{13}
Translate(Z_{11}, u_6) → S_{13}
Polygon(Q_{13}, R_{13}, S_{13}) → poly29'''_1, s_{13}, q_{14}, r_{13}
Translate(R_{11}, u_6) → T_{13}
Translate(S_{11}, u_6) → U_{13}
Translate(T_{11}, u_6) → V_{13}
Translate(U_{11}, u_6) → W_{13}
Polygon(T_{13}, U_{13}, V_{13}, W_{13}) → poly30'''_1, t_{13}, u_{13}, v_{13}, w_{13}
Translate(N_{11}, u_6) → Z_{13}
Translate(O_{11}, u_6) → A_{14}
Translate(P_{11}, u_6) → B_{14}
Translate(Q_{11}, u_6) → C_{14}
Polygon(Z_{13}, A_{14}, B_{14}, C_{14}) → poly33''_1, z_{13}, a_{14}, b_{14}, c_{14}
Translate(K_{11}, u_6) → D_{14}
Translate(L_{11}, u_6) → E_{14}
Translate(M_{11}, u_6) → F_{14}
Polygon(D_{14}, E_{14}, F_{14}) → poly32''_1, f_{14}, d_{14}, e_{14}
Translate(G', u_6) → G''_1
Translate(P_{10}, u_6) → G_{14}
Translate(Q_{10}, u_6) → H_{14}
Translate(R_{10}, u_6) → I_{14}
Translate(S_{10}, u_6) → J_{14}
Polygon(G_{14}, H_{14}, I_{14}, J_{14}) → poly30''_1, g_{16}, h_{14}, i_{14}, j_{14}
Translate(L_{10}, u_6) → K_{14}
Translate(M_{10}, u_6) → L_{14}
Translate(N_{10}, u_6) → M_{14}
Translate(O_{10}, u_6) → N_{14}
Polygon(K_{14}, L_{14}, M_{14}, N_{14}) → poly33'_1, k_{14}, l_{14}, m_{14}, n_{14}
Translate(I_{10}, u_6) → O_{14}
Translate(J_{10}, u_6) → P_{14}
Translate(K_{10}, u_6) → Q_{14}
Polygon(O_{14}, P_{14}, Q_{14}) → poly32'_1, q_{15}, o_{14}, p_{14}
Translate(F', u_6) → F''_1
Translate(P_9, u_6) → R_{14}
Translate(Q_9, u_6) → S_{14}
Translate(R_9, u_6) → T_{14}
Translate(S_9, u_6) → U_{14}
Polygon(R_{14}, S_{14}, T_{14}, U_{14}) → poly30'_1, r_{14}, s_{14}, t_{14}, u_{14}
Translate(T_9, u_6) → V_{14}
Translate(U_9, u_6) → W_{14}
Translate(V_9, u_6) → Z_{14}
Translate(W_9, u_6) → A_{15}
Polygon(V_{14}, W_{14}, Z_{14}, A_{15}) → poly37, v_{14}, w_{14}, z_{14}, a_{15}
Translate(Z_9, u_6) → B_{15}
Translate(A_{10}, u_6) → C_{15}
Translate(B_{10}, u_6) → D_{15}
Polygon(B_{15}, C_{15}, D_{15}) → poly38, d_{15}, b_{15}, c_{15}
Translate(G'_{13}, u_6) → E_{15}
Translate(H_9, u_6) → F_{15}
Translate(I_9, u_6) → G_{15}
Polygon(E_{15}, F_{15}, G_{15}) → poly39, g_{17}, e_{15}, f_{15}
Translate(V_8, u_6) → H_{15}
Translate(W_8, u_6) → I_{15}
Translate(Z_8, u_6) → J_{15}
Translate(G'_{12}, u_6) → K_{15}
Polygon(H_{15}, I_{15}, J_{15}, K_{15}) → poly40, h_{15}, i_{15}, j_{15}, k_{15}
Translate(A_9, u_6) → L_{15}
Translate(B_9, u_6) → M_{15}
Translate(C_9, u_6) → N_{15}
Translate(D_9, u_6) → O_{15}
Polygon(L_{15}, M_{15}, N_{15}, O_{15}) → poly27'''_1, l_{15}, m_{15}, n_{15}, o_{15}
Translate(E_9, u_6) → P_{15}
Translate(F_9, u_6) → Q_{15}
Translate(G_9, u_6) → R_{15}
Polygon(P_{15}, Q_{15}, R_{15}) → poly28'''_1, r_{15}, p_{15}, q_{16}
Translate(G, u_6) → G'_{16}
Translate(Q_7, u_6) → S_{15}
Translate(K_8, u_6) → T_{15}
Polygon(G'_{16}, S_{15}, T_{15}) → poly28'_2, t_{15}, g'_{16}, s_{15}
Translate(J_8, u_6) → U_{15}
Translate(A_1, u_6) → V_{15}
Translate(K_8, u_6) → W_{15}
Translate(G, u_6) → G'_{17}
Polygon(U_{15}, V_{15}, W_{15}, G'_{17}) → poly27'_2, u_{15}, v_{15}, w_{15}, g'_{17}
Translate(L_8, u_6) → Z_{15}
Translate(M_8, u_6) → A_{16}
Translate(N_8, u_6) → B_{16}
Translate(G'_8, u_6) → C_{16}
Polygon(Z_{15}, A_{16}, B_{16}, C_{16}) → poly27''_1, z_{15}, a_{16}, b_{16}, c_{16}
Translate(Z'_1, u_6) → D_{16}
Translate(Q_8, u_6) → E_{16}
Translate(G'_{10}, u_6) → F_{16}
Polygon(D_{16}, E_{16}, F_{16}) → poly26''_1, f_{16}, d_{16}, e_{16}
Translate(R_{12}, u_6) → G_{16}
Translate(S_{12}, u_6) → H_{16}
Translate(T_{12}, u_6) → I_{16}
Polygon(G_{16}, H_{16}, I_{16}) → poly41, i_{16}, g_{18}, h_{16}
Translate(O_{12}, u_6) → J_{16}
Translate(P_{12}, u_6) → K_{16}
Translate(Q_{12}, u_6) → L_{16}
Polygon(J_{16}, K_{16}, L_{16}) → poly34''', l_{16}, j_{16}, k_{16}
Translate(H_{11}, u_6) → M_{16}
Translate(I_{11}, u_6) → N_{16}
Translate(J_{11}, u_6) → O_{16}
Polygon(M_{16}, N_{16}, O_{16}) → poly31'''_1, o_{16}, m_{16}, n_{16}
Translate(E_{11}, u_6) → P_{16}
Translate(F_{11}, u_6) → Q_{16}
Translate(G_{11}, u_6) → R_{16}
Polygon(P_{16}, Q_{16}, R_{16}) → poly34''_1, r_{16}, p_{16}, q_{17}
Translate(B_{11}, u_6) → S_{16}
Translate(C_{11}, u_6) → T_{16}
Translate(D_{11}, u_6) → U_{16}
Polygon(S_{16}, T_{16}, U_{16}) → poly31''_1, u_{16}, s_{16}, t_{16}
Translate(W_{10}, u_6) → V_{16}
Translate(Z_{10}, u_6) → W_{16}
Translate(A_{11}, u_6) → Z_{16}
Polygon(V_{16}, W_{16}, Z_{16}) → poly34'_1, z_{16}, v_{16}, w_{16}
Translate(F_{10}, u_6) → A_{17}
Translate(G_{10}, u_6) → B_{17}
Translate(H_{10}, u_6) → C_{17}
Polygon(A_{17}, B_{17}, C_{17}) → poly31'_1, c_{17}, a_{17}, b_{17}
Translate(C_{10}, u_6) → D_{17}
Translate(D_{10}, u_6) → E_{17}
Translate(E_{10}, u_6) → F_{17}
Polygon(D_{17}, E_{17}, F_{17}) → poly42, f_{17}, d_{17}, e_{17}
Translate(Z'_2, u_6) → G_{17}
Translate(R_8, u_6) → H_{17}
Translate(G'_{11}, u_6) → I_{17}
Polygon(G_{17}, H_{17}, I_{17}) → poly43, i_{17}, g_{19}, h_{17}
Translate(S_8, u_6) → J_{17}
Translate(T_8, u_6) → K_{17}
Translate(U_8, u_6) → L_{17}
Polygon(J_{17}, K_{17}, L_{17}) → poly26'''_1, l_{17}, j_{17}, k_{17}
Translate(Z, u_6) → Z'_3
Translate(J_8, u_6) → M_{17}
Translate(G, u_6) → G'_{18}
Polygon(Z'_3, M_{17}, G'_{18}) → poly26'_2, g'_{18}, z'_3, m_{17}
Translate(T_{10}, u_6) → N_{17}
Translate(U_{10}, u_6) → O_{17}
Translate(V_{10}, u_6) → P_{17}
Polygon(N_{17}, O_{17}, P_{17}) → poly29''_1, p_{17}, n_{17}, o_{17}
Translate(M_9, u_6) → Q_{17}
Translate(N_9, u_6) → R_{17}
Translate(O_9, u_6) → S_{17}
Polygon(Q_{17}, R_{17}, S_{17}) → poly29'_1, s_{17}, q_{18}, r_{17}
Translate(R_{12}, v_6) → T_{17}
Translate(S_{12}, v_6) → U_{17}
Translate(T_{12}, v_6) → V_{17}
Polygon(T_{17}, U_{17}, V_{17}) → poly44, v_{17}, t_{17}, u_{17}
Translate(O_{12}, v_6) → W_{17}
Translate(P_{12}, v_6) → Z_{17}
Translate(Q_{12}, v_6) → A_{18}
Polygon(W_{17}, Z_{17}, A_{18}) → poly34'''_1, a_{18}, w_{17}, z_{17}
Translate(H_{11}, v_6) → B_{18}
Translate(I_{11}, v_6) → C_{18}
Translate(J_{11}, v_6) → D_{18}
Polygon(B_{18}, C_{18}, D_{18}) → poly31'''_2, d_{18}, b_{18}, c_{18}
Translate(E_{11}, v_6) → E_{18}
Translate(F_{11}, v_6) → F_{18}
Translate(G_{11}, v_6) → G_{18}
Polygon(E_{18}, F_{18}, G_{18}) → poly34''_2, g_{20}, e_{18}, f_{18}
Translate(B_{11}, v_6) → H_{18}
Translate(C_{11}, v_6) → I_{18}
Translate(D_{11}, v_6) → J_{18}
Polygon(H_{18}, I_{18}, J_{18}) → poly31''_2, j_{18}, h_{18}, i_{18}
Translate(W_{10}, v_6) → K_{18}
Translate(Z_{10}, v_6) → L_{18}
Translate(A_{11}, v_6) → M_{18}
Polygon(K_{18}, L_{18}, M_{18}) → poly34'_2, m_{18}, k_{18}, l_{18}
Translate(F_{10}, v_6) → N_{18}
Translate(G_{10}, v_6) → O_{18}
Translate(H_{10}, v_6) → P_{18}
Polygon(N_{18}, O_{18}, P_{18}) → poly31'_2, p_{18}, n_{18}, o_{18}
Translate(C_{10}, v_6) → Q_{18}
Translate(D_{10}, v_6) → R_{18}
Translate(E_{10}, v_6) → S_{18}
Polygon(Q_{18}, R_{18}, S_{18}) → poly45, s_{18}, q_{19}, r_{18}
Translate(Z'_2, v_6) → T_{18}
Translate(R_8, v_6) → U_{18}
Translate(G'_{11}, v_6) → V_{18}
Polygon(T_{18}, U_{18}, V_{18}) → poly46, v_{18}, t_{18}, u_{18}
Translate(S_8, v_6) → W_{18}
Translate(T_8, v_6) → Z_{18}
Translate(U_8, v_6) → A_{19}
Polygon(W_{18}, Z_{18}, A_{19}) → poly26'''_2, a_{19}, w_{18}, z_{18}
Translate(Z, v_6) → Z'_4
Translate(J_8, v_6) → B_{19}
Translate(G, v_6) → G'_{19}
Polygon(Z'_4, B_{19}, G'_{19}) → poly26'_3, g'_{19}, z'_4, b_{19}
Translate(Z'_1, v_6) → C_{19}
Translate(Q_8, v_6) → D_{19}
Translate(G'_{10}, v_6) → E_{19}
Polygon(C_{19}, D_{19}, E_{19}) → poly26''_2, e_{19}, c_{19}, d_{19}
Translate(L_8, v_6) → F_{19}
Translate(M_8, v_6) → G_{19}
Translate(N_8, v_6) → H_{19}
Translate(G'_8, v_6) → I_{19}
Polygon(F_{19}, G_{19}, H_{19}, I_{19}) → poly27''_2, f_{19}, g_{21}, h_{19}, i_{19}
Translate(G, v_6) → G'_{20}
Translate(Q_7, v_6) → J_{19}
Translate(K_8, v_6) → K_{19}
Polygon(G'_{20}, J_{19}, K_{19}) → poly28'_3, k_{19}, g'_{20}, j_{19}
Translate(J_8, v_6) → L_{19}
Translate(A_1, v_6) → M_{19}
Translate(K_8, v_6) → N_{19}
Translate(G, v_6) → G'_{21}
Polygon(L_{19}, M_{19}, N_{19}, G'_{21}) → poly27'_3, l_{19}, m_{19}, n_{19}, g'_{21}
Translate(A_9, v_6) → O_{19}
Translate(B_9, v_6) → P_{19}
Translate(C_9, v_6) → Q_{19}
Translate(D_9, v_6) → R_{19}
Polygon(O_{19}, P_{19}, Q_{19}, R_{19}) → poly27'''_2, o_{19}, p_{19}, q_{20}, r_{19}
Translate(V_8, v_6) → S_{19}
Translate(W_8, v_6) → T_{19}
Translate(Z_8, v_6) → U_{19}
Translate(G'_{12}, v_6) → V_{19}
Polygon(S_{19}, T_{19}, U_{19}, V_{19}) → poly47, s_{19}, t_{19}, u_{19}, v_{19}
Translate(G'_{13}, v_6) → W_{19}
Translate(H_9, v_6) → Z_{19}
Translate(I_9, v_6) → A_{20}
Polygon(W_{19}, Z_{19}, A_{20}) → poly48, a_{20}, w_{19}, z_{19}
Translate(Z_9, v_6) → B_{20}
Translate(A_{10}, v_6) → C_{20}
Translate(B_{10}, v_6) → D_{20}
Polygon(B_{20}, C_{20}, D_{20}) → poly49, d_{20}, b_{20}, c_{20}
Translate(T_9, v_6) → E_{20}
Translate(U_9, v_6) → F_{20}
Translate(V_9, v_6) → G_{20}
Translate(W_9, v_6) → H_{20}
Polygon(E_{20}, F_{20}, G_{20}, H_{20}) → poly50, e_{20}, f_{20}, g_{22}, h_{20}
Translate(P_9, v_6) → I_{20}
Translate(Q_9, v_6) → J_{20}
Translate(R_9, v_6) → K_{20}
Translate(S_9, v_6) → L_{20}
Polygon(I_{20}, J_{20}, K_{20}, L_{20}) → poly30'_2, i_{20}, j_{20}, k_{20}, l_{20}
Translate(M_9, v_6) → M_{20}
Translate(N_9, v_6) → N_{20}
Translate(O_9, v_6) → O_{20}
Polygon(M_{20}, N_{20}, O_{20}) → poly29'_2, o_{20}, m_{20}, n_{20}
Translate(I_{10}, v_6) → P_{20}
Translate(J_{10}, v_6) → Q_{20}
Translate(K_{10}, v_6) → R_{20}
Polygon(P_{20}, Q_{20}, R_{20}) → poly32'_2, r_{20}, p_{20}, q_{21}
Translate(L_{10}, v_6) → S_{20}
Translate(M_{10}, v_6) → T_{20}
Translate(N_{10}, v_6) → U_{20}
Translate(O_{10}, v_6) → V_{20}
Polygon(S_{20}, T_{20}, U_{20}, V_{20}) → poly33'_2, s_{20}, t_{20}, u_{20}, v_{20}
Translate(P_{10}, v_6) → W_{20}
Translate(Q_{10}, v_6) → Z_{20}
Translate(R_{10}, v_6) → A_{21}
Translate(S_{10}, v_6) → B_{21}
Polygon(W_{20}, Z_{20}, A_{21}, B_{21}) → poly30''_2, w_{20}, z_{20}, a_{21}, b_{21}
Translate(T_{10}, v_6) → C_{21}
Translate(U_{10}, v_6) → D_{21}
Translate(V_{10}, v_6) → E_{21}
Polygon(C_{21}, D_{21}, E_{21}) → poly29''_2, e_{21}, c_{21}, d_{21}
Translate(K_{11}, v_6) → F_{21}
Translate(L_{11}, v_6) → G_{21}
Translate(M_{11}, v_6) → H_{21}
Polygon(F_{21}, G_{21}, H_{21}) → poly32''_2, h_{21}, f_{21}, g_{23}
Translate(S_{19}, v_6) → I_{21}
Translate(T_{19}, v_6) → J_{21}
Translate(U_{19}, v_6) → K_{21}
Translate(V_{19}, v_6) → L_{21}
Translate(O_{19}, v_6) → M_{21}
Translate(P_{19}, v_6) → N_{21}
Translate(Q_{19}, v_6) → O_{21}
Translate(R_{19}, v_6) → P_{21}
Translate(V_{11}, v_6) → Q_{21}
Translate(W_{11}, v_6) → R_{21}
Translate(Z_{11}, v_6) → S_{21}
Polygon(Q_{21}, R_{21}, S_{21}) → poly29'''_2, s_{21}, q_{22}, r_{21}
Translate(F_{12}, v_6) → T_{21}
Translate(G_{12}, v_6) → U_{21}
Segment(T_{21}, U_{21}) → h_8
Translate(D_{12}, v_6) → V_{21}
Translate(E_{12}, v_6) → W_{21}
Translate(F_{12}, v_6) → Z_{21}
Translate(G_{12}, v_6) → A_{22}
Polygon(V_{21}, W_{21}, Z_{21}, A_{22}) → poly33'''_1, v_{21}, w_{21}, z_{21}, a_{22}
Translate(G'_9, v_6) → B_{22}
Translate(O_8, v_6) → C_{22}
Translate(P_8, v_6) → D_{22}
Polygon(B_{22}, C_{22}, D_{22}) → poly28''_2, d_{22}, b_{22}, c_{22}
Translate(L_{12}, v_6) → E_{22}
Translate(M_{12}, v_6) → F_{22}
Translate(N_{12}, v_6) → G_{22}
Polygon(E_{22}, F_{22}, G_{22}) → poly52, g_{24}, e_{22}, f_{22}
Translate(H_{12}, v_6) → H_{22}
Translate(I_{12}, v_6) → I_{22}
Translate(J_{12}, v_6) → J_{22}
Translate(K_{12}, v_6) → K_{22}
Polygon(H_{22}, I_{22}, J_{22}, K_{22}) → poly53, h_{22}, i_{22}, j_{22}, k_{22}
Translate(A_{12}, v_6) → L_{22}
Translate(B_{12}, v_6) → M_{22}
Translate(C_{12}, v_6) → N_{22}
Polygon(L_{22}, M_{22}, N_{22}) → poly32'''_1, n_{22}, l_{22}, m_{22}
Translate(E_9, v_6) → O_{22}
Translate(F_9, v_6) → P_{22}
Translate(G_9, v_6) → Q_{22}
Polygon(O_{22}, P_{22}, Q_{22}) → poly28'''_2, q_{23}, o_{22}, p_{22}
Translate(N_{11}, v_6) → R_{22}
Translate(O_{11}, v_6) → S_{22}
Translate(P_{11}, v_6) → T_{22}
Translate(Q_{11}, v_6) → U_{22}
Polygon(R_{22}, S_{22}, T_{22}, U_{22}) → poly33''_2, r_{22}, s_{22}, t_{22}, u_{22}
Translate(R_{11}, v_6) → V_{22}
Translate(S_{11}, v_6) → W_{22}
Translate(T_{11}, v_6) → Z_{22}
Translate(U_{11}, v_6) → A_{23}
Polygon(V_{22}, W_{22}, Z_{22}, A_{23}) → poly30'''_2, v_{22}, w_{22}, z_{22}, a_{23}
Line(T_2, D_7) → i_8
Line(W_6, L_7) → l_9
Line(B_7, R_6) → i_{21}
Line(I_6, G_2) → j_{21}
Line(F_6, D_7) → k_{21}
Line(V_6, T_2) → l_{21}
Line(M_6, N_6) → m_{21}
Line(U_6, F_6) → n_{21}
Vector(E_7, C_7) → w_6
Vector(M_7, Q_2) → z_6
Line(O_6, K_5) → p_{21}
Mirror(G'_{13}, p_{21}) → B_{23}
Mirror(H_9, p_{21}) → C_{23}
Mirror(I_9, p_{21}) → D_{23}
Polygon(B_{23}, C_{23}, D_{23}) → poly51, d_{23}, b_{23}, c_{23}
Mirror(Z_9, p_{21}) → E_{23}
Mirror(A_{10}, p_{21}) → F_{23}
Mirror(B_{10}, p_{21}) → G_{23}
Polygon(E_{23}, F_{23}, G_{23}) → poly54, g_{25}, e_{23}, f_{23}
Mirror(A_9, p_{21}) → H_{23}
Mirror(B_9, p_{21}) → I_{23}
Mirror(C_9, p_{21}) → J_{23}
Mirror(D_9, p_{21}) → K_{23}
Polygon(H_{23}, I_{23}, J_{23}, K_{23}) → poly27'''_3, h_{23}, i_{23}, j_{23}, k_{23}
Mirror(V_8, p_{21}) → L_{23}
Mirror(W_8, p_{21}) → M_{23}
Mirror(Z_8, p_{21}) → N_{23}
Mirror(G'_{12}, p_{21}) → O_{23}
Polygon(L_{23}, M_{23}, N_{23}, O_{23}) → poly55, l_{23}, m_{23}, n_{23}, o_{23}
Mirror(E_9, p_{21}) → P_{23}
Mirror(F_9, p_{21}) → Q_{23}
Mirror(G_9, p_{21}) → R_{23}
Polygon(P_{23}, Q_{23}, R_{23}) → poly28'''_3, r_{23}, p_{23}, q_{24}
Mirror(G, p_{21}) → G'_{22}
Mirror(Q_7, p_{21}) → S_{23}
Mirror(K_8, p_{21}) → T_{23}
Polygon(G'_{22}, S_{23}, T_{23}) → poly28'_4, t_{23}, g'_{22}, s_{23}
Mirror(Z'_2, p_{21}) → U_{23}
Mirror(R_8, p_{21}) → V_{23}
Mirror(G'_{11}, p_{21}) → W_{23}
Mirror(S_8, p_{21}) → Z_{23}
Mirror(T_8, p_{21}) → A_{24}
Mirror(U_8, p_{21}) → B_{24}
Mirror(T_9, p_{21}) → C_{24}
Mirror(U_9, p_{21}) → D_{24}
Mirror(V_9, p_{21}) → E_{24}
Mirror(W_9, p_{21}) → F_{24}
Polygon(C_{24}, D_{24}, E_{24}, F_{24}) → poly57, c_{24}, d_{24}, e_{24}, f_{24}
Mirror(P_9, p_{21}) → G_{24}
Mirror(Q_9, p_{21}) → H_{24}
Mirror(R_9, p_{21}) → I_{24}
Mirror(S_9, p_{21}) → J_{24}
Polygon(G_{24}, H_{24}, I_{24}, J_{24}) → poly30'_3, g_{26}, h_{24}, i_{24}, j_{24}
Mirror(M_9, p_{21}) → K_{24}
Mirror(N_9, p_{21}) → L_{24}
Mirror(O_9, p_{21}) → M_{24}
Polygon(K_{24}, L_{24}, M_{24}) → poly29'_3, m_{24}, k_{24}, l_{24}
Mirror(I_{10}, p_{21}) → N_{24}
Mirror(J_{10}, p_{21}) → O_{24}
Mirror(K_{10}, p_{21}) → P_{24}
Polygon(N_{24}, O_{24}, P_{24}) → poly32'_3, p_{24}, n_{24}, o_{24}
Mirror(L_{10}, p_{21}) → Q_{24}
Mirror(M_{10}, p_{21}) → R_{24}
Mirror(N_{10}, p_{21}) → S_{24}
Mirror(O_{10}, p_{21}) → T_{24}
Polygon(Q_{24}, R_{24}, S_{24}, T_{24}) → poly33'_3, q_{25}, r_{24}, s_{24}, t_{24}
Mirror(P_{10}, p_{21}) → U_{24}
Mirror(Q_{10}, p_{21}) → V_{24}
Mirror(R_{10}, p_{21}) → W_{24}
Mirror(S_{10}, p_{21}) → Z_{24}
Polygon(U_{24}, V_{24}, W_{24}, Z_{24}) → poly30''_3, u_{24}, v_{24}, w_{24}, z_{24}
Mirror(T_{10}, p_{21}) → A_{25}
Mirror(U_{10}, p_{21}) → B_{25}
Mirror(V_{10}, p_{21}) → C_{25}
Polygon(A_{25}, B_{25}, C_{25}) → poly29''_3, c_{25}, a_{25}, b_{25}
Mirror(T_{10}, p_{21}) → D_{25}
Mirror(U_{10}, p_{21}) → E_{25}
Mirror(V_{10}, p_{21}) → F_{25}
Mirror(K_{11}, p_{21}) → G_{25}
Mirror(L_{11}, p_{21}) → H_{25}
Mirror(M_{11}, p_{21}) → I_{25}
Polygon(G_{25}, H_{25}, I_{25}) → poly32''_3, i_{25}, g_{27}, h_{25}
Mirror(N_{11}, p_{21}) → J_{25}
Mirror(O_{11}, p_{21}) → K_{25}
Mirror(P_{11}, p_{21}) → L_{25}
Mirror(Q_{11}, p_{21}) → M_{25}
Polygon(J_{25}, K_{25}, L_{25}, M_{25}) → poly33''_3, j_{25}, k_{25}, l_{25}, m_{25}
Mirror(R_{11}, p_{21}) → N_{25}
Mirror(S_{11}, p_{21}) → O_{25}
Mirror(T_{11}, p_{21}) → P_{25}
Mirror(U_{11}, p_{21}) → Q_{25}
Polygon(N_{25}, O_{25}, P_{25}, Q_{25}) → poly30'''_3, n_{25}, o_{25}, p_{25}, q_{26}
Mirror(V_{11}, p_{21}) → R_{25}
Mirror(W_{11}, p_{21}) → S_{25}
Mirror(Z_{11}, p_{21}) → T_{25}
Polygon(R_{25}, S_{25}, T_{25}) → poly29'''_3, t_{25}, r_{25}, s_{25}
Mirror(A_{12}, p_{21}) → U_{25}
Mirror(B_{12}, p_{21}) → V_{25}
Mirror(C_{12}, p_{21}) → W_{25}
Polygon(U_{25}, V_{25}, W_{25}) → poly32'''_2, w_{25}, u_{25}, v_{25}
Mirror(D_{12}, p_{21}) → Z_{25}
Mirror(E_{12}, p_{21}) → A_{26}
Mirror(F_{12}, p_{21}) → B_{26}
Mirror(G_{12}, p_{21}) → C_{26}
Polygon(Z_{25}, A_{26}, B_{26}, C_{26}) → poly33'''_2, z_{25}, a_{26}, b_{26}, c_{26}
Mirror(H_{12}, p_{21}) → D_{26}
Mirror(I_{12}, p_{21}) → E_{26}
Mirror(J_{12}, p_{21}) → F_{26}
Mirror(K_{12}, p_{21}) → G_{26}
Polygon(D_{26}, E_{26}, F_{26}, G_{26}) → poly58, d_{26}, e_{26}, f_{26}, g_{28}
Mirror(L_{12}, p_{21}) → H_{26}
Mirror(M_{12}, p_{21}) → I_{26}
Mirror(N_{12}, p_{21}) → J_{26}
Polygon(H_{26}, I_{26}, J_{26}) → poly59, j_{26}, h_{26}, i_{26}
Mirror(G'_9, p_{21}) → K_{26}
Mirror(O_8, p_{21}) → L_{26}
Mirror(P_8, p_{21}) → M_{26}
Polygon(K_{26}, L_{26}, M_{26}) → poly28''_3, m_{26}, k_{26}, l_{26}
Mirror(L_8, p_{21}) → N_{26}
Mirror(M_8, p_{21}) → O_{26}
Mirror(N_8, p_{21}) → P_{26}
Mirror(G'_8, p_{21}) → Q_{26}
Polygon(N_{26}, O_{26}, P_{26}, Q_{26}) → poly27''_3, n_{26}, o_{26}, p_{26}, q_{27}
Mirror(J_8, p_{21}) → R_{26}
Mirror(A_1, p_{21}) → S_{26}
Mirror(K_8, p_{21}) → T_{26}
Mirror(G, p_{21}) → G'_{23}
Polygon(R_{26}, S_{26}, T_{26}, G'_{23}) → poly27'_4, r_{26}, s_{26}, t_{26}, g'_{23}
Mirror(Z'_2, p_{21}) → U_{26}
Mirror(R_8, p_{21}) → V_{26}
Mirror(G'_{11}, p_{21}) → W_{26}
Polygon(U_{26}, V_{26}, W_{26}) → poly56, w_{26}, u_{26}, v_{26}
Mirror(S_8, p_{21}) → Z_{26}
Mirror(T_8, p_{21}) → A_{27}
Mirror(U_8, p_{21}) → B_{27}
Polygon(Z_{26}, A_{27}, B_{27}) → poly26'''_3, b_{27}, z_{26}, a_{27}
Mirror(Z, p_{21}) → Z'_5
Mirror(J_8, p_{21}) → C_{27}
Mirror(G, p_{21}) → G'_{24}
Polygon(Z'_5, C_{27}, G'_{24}) → poly26'_4, g'_{24}, z'_5, c_{27}
Mirror(Z'_1, p_{21}) → D_{27}
Mirror(Q_8, p_{21}) → E_{27}
Mirror(G'_{10}, p_{21}) → F_{27}
Polygon(D_{27}, E_{27}, F_{27}) → poly26''_3, f_{27}, d_{27}, e_{27}
Mirror(R_{12}, p_{21}) → G_{27}
Mirror(S_{12}, p_{21}) → H_{27}
Mirror(T_{12}, p_{21}) → I_{27}
Polygon(G_{27}, H_{27}, I_{27}) → poly60, i_{27}, g_{29}, h_{27}
Mirror(O_{12}, p_{21}) → J_{27}
Mirror(P_{12}, p_{21}) → K_{27}
Mirror(Q_{12}, p_{21}) → L_{27}
Polygon(J_{27}, K_{27}, L_{27}) → poly34'''_2, l_{27}, j_{27}, k_{27}
Mirror(H_{11}, p_{21}) → M_{27}
Mirror(I_{11}, p_{21}) → N_{27}
Mirror(J_{11}, p_{21}) → O_{27}
Polygon(M_{27}, N_{27}, O_{27}) → poly31'''_3, o_{27}, m_{27}, n_{27}
Mirror(E_{11}, p_{21}) → P_{27}
Mirror(F_{11}, p_{21}) → Q_{27}
Mirror(G_{11}, p_{21}) → R_{27}
Polygon(P_{27}, Q_{27}, R_{27}) → poly34''_3, r_{27}, p_{27}, q_{28}
Mirror(B_{11}, p_{21}) → S_{27}
Mirror(C_{11}, p_{21}) → T_{27}
Mirror(D_{11}, p_{21}) → U_{27}
Polygon(S_{27}, T_{27}, U_{27}) → poly31''_3, u_{27}, s_{27}, t_{27}
Mirror(W_{10}, p_{21}) → V_{27}
Mirror(Z_{10}, p_{21}) → W_{27}
Mirror(A_{11}, p_{21}) → Z_{27}
Polygon(V_{27}, W_{27}, Z_{27}) → poly34'_3, z_{27}, v_{27}, w_{27}
Mirror(F_{10}, p_{21}) → A_{28}
Mirror(G_{10}, p_{21}) → B_{28}
Mirror(H_{10}, p_{21}) → C_{28}
Polygon(A_{28}, B_{28}, C_{28}) → poly31'_3, c_{28}, a_{28}, b_{28}
Mirror(C_{10}, p_{21}) → D_{28}
Mirror(D_{10}, p_{21}) → E_{28}
Mirror(E_{10}, p_{21}) → F_{28}
Polygon(D_{28}, E_{28}, F_{28}) → poly61, f_{28}, d_{28}, e_{28}
Polygon(S_{23}, Z'_1, M_8) → poly62, m_{28}, s_{28}, z'_6
Line(J_1, G_2) → t_{21}
Line(D_7, A_1) → b_{24}
Line(D_7, I_6) → d_{25}
Line(I_6, A_1) → e_{25}
Line(J_7, V_6) → f_{25}
Line(H_6, G_6) → h_{28}
Line(T_6, N_6) → i_{28}
Line(R_6, P_6) → j_{28}
Line(R_6, M_7) → k_{28}
Line(T_2, L_7) → a_{24}
Line(U_6, G_6) → l_{28}
Line(J_1, P_6) → p_{28}
Line(G_2, V_6) → r_{28}
Line(N_7, T_2) → n_{28}
Line(U_6, H_6) → t_{28}

AI 绘图提示语参考

绘制一个半正则六四三四镶嵌 tessellation 图形，基于 p6m 对称性框架，展示通过旋转、反射和位移等对称变换生成的周期性铺砖模式。图形由多种多边形组成，包括六边形、四边形和三角形，它们通过共享顶点和边形成复杂的镶嵌结构。首先构建基本的多边形单元，然后利用中点、反射和旋转等变换操作生成整个图形，最终呈现出具有高度对称性和规律性的铺砖效果。

以上提示语为根据原始绘图命令整理而来，仅供参考。