u = 1.8915878433114541 rad
s = 0 (slider from 0 to 3, step 0.1)
n_3 = If(s > 1, 1, s)
γ: 180 ° - (1 - n_3) u
α = If(s < 2, 328°, 328 ° + (s - 2) 32 °)
n_1 = If(s < 1, 1, s)
n_2 = If(n_1 > 2, 2, n_1)
β: 22 ° + (n_2 - 1) 68 °
v1: sin(α)
w1: -cos(α) sin(β)
v2: cos(α)
w2: sin(α) sin(β)
v3 = 0
w3: cos(β)
vA = 0
wA = 0
A: (vA, wA)
xB = 2
yB = 0
zB = 0
vB: xB v1 + yB v2 + zB v3
wB: xB w1 + yB w2 + zB w3
B: (vB, wB)
xC = 2
yC = 2
zC = 0
vC: xC v1 + yC v2 + zC v3
wC: xC w1 + yC w2 + zC w3
C: (vC, wC)
xD = 0
yD = 2
zD = 0
vD: xD v1 + yD v2 + zD v3
wD: xD w1 + yD w2 + zD w3
D: (vD, wD)
P, a, b, c, d = Polygon(A, B, C, D)
xE = 1
zE: sqrt(10) sin(γ)
yE: cos(γ) sqrt(10)
vE: xE v1 + yE v2 + zE v3
wE: xE w1 + yE w2 + zE w3
E: (vE, wE)
Q, e, a_1, b_1 = Polygon(A, B, E)
xF = 1
yF: 2 - sqrt(10) cos(γ)
zF: sqrt(10) sin(γ)
vF: xF v1 + yF v2 + zF v3
wF: xF w1 + yF w2 + zF w3
F: (vF, wF)
R, f, c_1, d_1 = Polygon(C, D, F)
zG: sqrt(10) sin(γ)
yG = 1
xG: cos(γ) sqrt(10)
vG: xG v1 + yG v2 + zG v3
wG: xG w1 + yG w2 + zG w3
G: (vG, wG)
S, g, a_2, d_2 = Polygon(A, D, G)
xH: 2 - sqrt(10) cos(γ)
yH = 1
zH: sqrt(10) sin(γ)
vH: xH v1 + yH v2 + zH v3
wH: xH w1 + yH w2 + zH w3
H: (vH, wH)
T, c_2, b_2, h = Polygon(B, H, C)