A = (2, 0)
B = (8, 0)
poly1, a, b, c, d, F, E = Polygon(A, B, 4)
α_1 = 1.2217304763960306 rad (slider from 0 to 180*°, step 0.08726646259971647)
F' = Rotate(F, α_1, E)
e = Segment(E, F')
f = Ray(E, F')
H' = Point(f)
g = Segment(E, H')
k = 0.5 (slider from 0 to 1, step 0.1)
r: (k * a)
h = Circle(E, r)
H = Intersect(h, g, 1)
i = Segment(E, H)
j = Line(H, c)
l = Line(H, d)
m = Line(F, i)
n = Line(A, i)
p = Line(B, i)
G = Intersect(j, m)
q = Line(G, l)
D = Intersect(l, n)
C = Intersect(p, q)
s = Segment(H, G)
t = Segment(G, F)
a_1 = Segment(G, C)
b_1 = Segment(C, B)
c_1 = Segment(A, D)
d_1 = Segment(D, C)
e_1 = Segment(D, H)
f_1 = Ray(A, B)
X = Point(f_1)
α = Angle(X, B, C)
g_1 = Segment(B, X)
I = Midpoint(E, F)
J = Midpoint(F, B)
K = Midpoint(F, G)
L = Midpoint(E, A)
M = Midpoint(E, H)
N = Midpoint(A, B)
O = Midpoint(A, D)
P = Midpoint(B, C)
h_1 = Segment(G, K)
i_1 = Segment(K, I)
j_1 = Segment(I, J)
k_1 = Segment(J, K)
l_1 = Segment(J, P)
m_1 = Segment(J, N)
n_1 = Segment(N, P)
p_1 = Segment(N, L)
q_1 = Segment(L, O)
r_1 = Segment(N, O)
s_1 = Segment(O, D)
t_1 = Segment(L, I)
a_2 = Segment(I, M)
b_2 = Segment(M, L)
c_2 = Segment(M, H)
d_2 = Segment(P, C)
e_2 = Segment(G, C)
f_2 = Segment(H, E)
g_2 = Segment(E, F)
h_2 = Segment(F, G)
i_2 = Segment(E, A)
j_2 = Segment(A, B)
k_2 = Segment(B, F)
l_2 = Segment(A, D)
m_2 = Segment(B, C)