sezione ottaedro
Author: Piero Salemi

LineaDiTerra

Diedro

Foglio

Targhet

Raggio

Tutte

V_1''

V_2'≡O'≡V_1'

V_2''

A'

B'

C'

D'

A''

B''

C''

D''

A'

B'

C'

D'

V_2

V_1

A

B

C

D

A''

D''

B''

C''

V_1''

V_2''

_ l

_ l

O

O''

_ h_1

maniglie

V_2'≡O'≡V_1'

dgyj

_ t''β

_ t'β

_ t'β

β

dbdbdb = (17.39773503826416, 7.520149660393726)
dbdfbffb = Point(Circle[dbdbdb, 10.0])
a = Segment(dbdbdb, dbdfbffb)
Trasla = (21.321346897268143, 8.884359302949479)
c = Circle(Trasla, Segment[dbdbdb, dbdfbffb])
Maniglia_1 = Point(c)
b = Line(Trasla, Maniglia_1)
M_3 = Point(c)
d = Line(M_3, Maniglia_1)
dfbfffsss = Intersect(c, b, 2.0)
e = Line(M_3, dfbfffsss)
f = OrthogonalLine(M_3, b)
Origine = Intersect(b, f)
g = OrthogonalLine(Maniglia_1, b)
h = Circle(Maniglia_1, Segment[Maniglia_1, M_3])
zbzdf = Intersect(h, b, 2.0)
ghns = (29.79789023082474, 5.952313946391814)
J = Point(Circle[ghns, 9.0])
i = Segment(ghns, J)
k = Circle(zbzdf, Segment[ghns, J])
M_2 = Point(g)
j = Line(zbzdf, M_2)
l = OrthogonalLine(zbzdf, j)
zbbdb = Intersect(k, j, 2.0)
zbdrfb = Intersect(k, l, 1.0)
zfbesf = Intersect(g, l)
m = Line(zfbesf, dfbfffsss)
zbergerg = Midpoint(zfbesf, dfbfffsss)
p = Circle(zbergerg, zfbesf)
n = OrthogonalLine(Origine, m)
zbdhbr = Intersect(p, n, 1.0)
q = Line(zbdhbr, dfbfffsss)
r = Circle(zbdhbr, Segment[zbzdf, zbdrfb])
zdfg = Intersect(r, q, 2.0)
s = OrthogonalLine(zdfg, m)
zbggngf = Intersect(b, s)
t = Line(Origine, zfbesf)
a_1 = OrthogonalLine(zbdrfb, g)
zdbzdrge = Intersect(t, a_1)
b_1 = OrthogonalLine(zbbdb, g)
jyyh = Intersect(n, b_1)
poli1, h_1, m_1, c_1, d_1, aghsh, dhrth = Polygon(zbzdf, zbdrfb, 4.0)
e_1 = Segment(zdbzdrge, Origine)
f_1 = Segment(Origine, jyyh)
g_1 = Segment(Origine, zbggngf)
i_1 = Line(zdbzdrge, f_1)
j_1 = Line(jyyh, e_1)
W = Intersect(i_1, j_1)
k_1 = Line(zbggngf, e_1)
l_1 = Line(jyyh, g_1)
n_1 = Line(zbggngf, f_1)
p_1 = Line(zdbzdrge, g_1)
q_1 = Line(W, p_1)
fthrth = Intersect(k_1, p_1)
r_1 = Line(fthrth, i_1)
A_1 = Intersect(q_1, r_1)
s_1 = Line(A_1, e_1)
π_1, t_1, g_2, s_2, w = Polygon(jyyh, Origine, zdbzdrge, W)
Assey = Line(Origine, k_1)
b_2 = Line(Origine, r_1)
B_1 = Intersect(l_1, s_1)
π_2, t_2, g_3, r_2, b_3 = Polygon(jyyh, Origine, zbggngf, B_1)
π_3, r_3, z, s_3, g_4 = Polygon(zbggngf, fthrth, zdbzdrge, Origine)
Nascondiπ_3 = false
poli2, s_4, origine, l_2, m_2, zbthrrh, xngthrth = Polygon(zdbzdrge, Origine, 4.0)
n_2 = Segment(zdbzdrge, zbthrrh)
p_2 = Segment(Origine, xngthrth)
a_3 = Segment(Origine, fthrth)
i_3 = Segment(zbggngf, zdbzdrge)
K = Intersect(a_3, i_3)
W'_1 = Mirror(W, jyyh)
fthrthrth = Mirror(zdbzdrge, Origine)
fghthth = Mirror(zbggngf, Origine)
dfbdsss = Mirror(B_1, jyyh)
u = Vector(Origine, W'_1)
v = Vector(jyyh, fghthth)
u_1 = Vector(Origine, fthrthrth)
v_1 = Vector(jyyh, dfbdsss)
shgtr = (9.30351352265223, -4.913361044122789)
G_1 = (16.973285569205423, -4.957695982459542)
i_2 = Line(shgtr, G_1)
H_1 = Point(i_2)
zbdrb = Point(i_2)
poli3, h_3, i_4, j_2, k_2, J_1, K_1 = Polygon(H_1, zbdrb, 4.0)
L_1 = Mirror(H_1, K_1)
M_1 = Mirror(zbdrb, J_1)
w_1 = Vector(J_1, L_1)
z_1 = Vector(J_1, M_1)
j_3 = Line(M_1, L_1)
k_3 = Line(fthrthrth, W'_1)
q_2 = Line(L_1, w_1)
l_3 = Line(L_1, z_1)
m_3 = Line(W'_1, u)
N_1 = Intersect(q_2, k_3)
O_1 = Intersect(l_3, k_3)
P_1 = Intersect(m_3, j_3)
Q_1 = Intersect(j_1, j_3)
n_3 = Line(O_1, Q_1)
p_3 = Line(N_1, P_1)
Centro1 = Intersect(n_3, p_3)
q_3 = Line(M_1, z_1)
t_3 = Line(M_1, w_1)
a_4 = Line(fthrthrth, u)
R_1 = Intersect(s_1, j_3)
S_1 = Intersect(k_3, q_3)
b_4 = Line(S_1, R_1)
T_1 = Intersect(j_3, a_4)
U_1 = Intersect(k_3, t_3)
c_4 = Line(T_1, U_1)
d_4 = Line(fghthth, dfbdsss)
e_4 = Line(H_1, zbdrb)
f_4 = Line(dfbdsss, v)
h_4 = Line(dfbdsss, v_1)
j_4 = Line(H_1, z_1)
k_4 = Line(H_1, w_1)
gyjtyj = Intersect(d_4, k_4)
W_1 = Intersect(e_4, f_4)
l_4 = Line(gyjtyj, W_1)
Z_1 = Intersect(e_4, h_4)
A_2 = Intersect(d_4, j_4)
m_4 = Line(Z_1, A_2)
Centro3 = Intersect(l_4, m_4)
n_4 = Line(fghthth, v_1)
p_4 = Line(fghthth, v)
q_4 = Line(zbdrb, z_1)
r_4 = Line(zbdrb, w_1)
B_2 = Intersect(d_4, r_4)
C_2 = Intersect(e_4, p_4)
t_4 = Line(C_2, B_2)
D_2 = Intersect(e_4, n_4)
E_2 = Intersect(d_4, q_4)
a_5 = Line(D_2, E_2)
Centro4 = Intersect(t_4, a_5)
poli4, k_5, j_5, b_5, c_5, F_2, G_2 = Polygon(K_1, J_1, 4.0)
d_5 = Line(fthrthrth, u)
e_5 = Line(fthrthrth, u_1)
f_5 = Line(F_2, w_1)
g_5 = Line(F_2, J_1)
J_2 = Intersect(j_3, e_5)
K_2 = Intersect(k_3, g_5)
h_5 = Line(J_2, K_2)
L_2 = Intersect(k_3, f_5)
M_6 = Intersect(j_3, d_5)
i_5 = Line(L_2, M_6)
Centro2 = Intersect(h_5, i_5)
LineaDiTerra3D = Line(Origine, jyyh)
LineaDiTerra2D = Line(K_1, J_1)
o_2 = false
i_7 = Segment(W'_1, W)
j_7 = Segment(B_1, dfbdsss)
M_5 = Point(j_7)
u_2 = Vector(jyyh, M_5)
W'' = Translate(W'_1, u_2)
W' = Translate(W, u_2)
k_7 = Segment(W'', W')
N_3 = Point(k_7)
l_7 = Line(M_5, LineaDiTerra3D)
m_7 = Segment(zbggngf, fghthth)
O_3 = Intersect(b, m_7)
P_3 = Intersect(l_7, m_7)
n_7 = Segment(M_5, P_3)
v_2 = Vector(M_5, N_3)
Q_3 = Translate(M_5, v_2)
R_3 = Translate(P_3, v_2)
p_7 = Segment(Q_3, R_3)
S_3 = Point(p_7)
q_7 = Line(S_3, k_7)
r_7 = Line(S_3, b_1)
s_7 = Line(N_3, b_1)
T_3 = Intersect(j_1, i_7)
U_3 = Intersect(j_1, i_7)
V_3 = Intersect(j_1, i_7)
W_3 = Intersect(i_7, s_7)
t_7 = Line(W_3, LineaDiTerra3D)
Z_3 = Intersect(r_7, t_7)
A_4 = Intersect(q_7, n_7)
a_8 = Segment(M_5, A_4)
b_8 = Segment(A_4, S_3)
c_8 = Segment(S_3, N_3)
d_8 = Segment(S_3, Z_3)
e_8 = Segment(N_3, W_3)
f_8 = Line(Z_3, j_1)
g_8 = Line(A_4, b_1)
B_4 = Intersect(f_8, g_8)
h_8 = Segment(A_4, B_4)
i_8 = Segment(B_4, Z_3)
j_8 = Line(W'_1, Z_3)
k_8 = Line(Z_3, fthrthrth)
C_4 = Intersect(j_3, j_8)
l_8 = Line(C_4, Centro1)
D_4 = Intersect(j_3, k_8)
m_8 = Line(D_4, Centro2)
E_4 = Intersect(k_3, l_8)
n_8 = Line(E_4, G_2)
F_4 = Intersect(k_3, m_8)
p_8 = Line(F_4, F_2)
G_4 = Intersect(n_8, p_8)
q_8 = Line(dfbdsss, A_4)
r_8 = Line(fghthth, A_4)
H_4 = Intersect(e_4, r_8)
s_8 = Line(H_4, Centro4)
I_4 = Point(e_4)
J_4 = Intersect(e_4, q_8)
t_8 = Line(J_4, Centro3)
K_4 = Intersect(d_4, t_8)
a_9 = Line(K_4, H_1)
L_4 = Intersect(d_4, s_8)
b_9 = Line(L_4, zbdrb)
M_4 = Intersect(a_9, b_9)
N_4 = Point(j_2)
w_2 = Vector(G_4, N_4)
z_2 = Vector(M_4, N_4)
c_9 = Line(F_2, N_4)
d_9 = Line(G_2, N_4)
O_4 = Intersect(k_3, d_9)
e_9 = Line(O_4, Centro1)
P_4 = Intersect(k_3, c_9)
f_9 = Line(P_4, Centro2)
Q_4 = Intersect(j_3, e_9)
g_9 = Line(Q_4, W'_1)
R_4 = Intersect(j_3, f_9)
h_9 = Line(R_4, fthrthrth)
S_4 = Intersect(h_9, g_9)
u_3 = Vector(S_3, S_4)
v_3 = Vector(Z_3, S_4)
w_3 = Vector(A_4, S_4)
i_9 = Segment(N_3, M_5)
j_9 = Segment(Z_3, W_3)
T_4 = (21.62325665433231, 8.015788645017288)
D_1 = (10.152649832163808, -1.0869645714447183)
o_3 = false
c_{11} = Line(G_2, D_1)
h_{11} = Line(F_2, D_1)
R_5 = Intersect(k_3, c_{11})
p_{11} = Line(R_5, Centro1)
V_5 = Intersect(k_3, h_{11})
t_{11} = Line(V_5, Centro2)
D_6 = Intersect(j_3, p_{11})
f_{12} = Line(W'_1, D_6)
H_6 = Intersect(j_3, t_{11})
j_{12} = Line(fthrthrth, H_6)
p_{16} = Line(H_1, K_1)
S_8 = Intersect(d_4, p_{16})
d_{17} = Line(S_8, Centro3)
W_8 = Intersect(e_4, d_{17})
p_{17} = Line(W_8, dfbdsss)
w_4 = false
fghft = Intersect(s, s_1)
sthrth = Intersect(k_1, s)
tyjteyj = Intersect(j_1, i_1)
stfhrth = Intersect(i_1, a_1)
o = false
a_2 = false
E = (9.440171081497654, -2.473088338370897)
F = (13.864439509023102, -3.8591638366591674)
poli5, e_2, f_2, c_2, d_2, G, H = Polygon(E, F, 4.0)
I, sfghfg, M, N = Omografia4punti(E, F, G, H, W'_1, fthrthrth, stfhrth, tyjteyj, G_2, F_2, zbdrb, H_1)
h_2 = Line(H, F)
c_3 = Line(E, G)
dgyjtyj = Intersect(h_2, c_3)
d_3 = OrthogonalLine(dgyjtyj, LineaDiTerra2D)
P = Point(d_3)
e_3 = Circle(P, Segment[dgyjtyj, H])
Q, R = Intersect(e_3, d_3)
f_3 = Line(P, LineaDiTerra2D)
p_5 = OrthogonalLine(E, LineaDiTerra2D)
q_5 = OrthogonalLine(H, LineaDiTerra2D)
r_5 = OrthogonalLine(G, LineaDiTerra2D)
s_5 = OrthogonalLine(F, LineaDiTerra2D)
S = Intersect(f_3, p_5)
T = Intersect(f_3, s_5)
U = Intersect(f_3, q_5)
tuet = Intersect(f_3, r_5)
Z, C_1, E_1, F_1 = Omografia4punti(R, S, Q, tuet, fghft, sthrth, fghthth, dfbdsss, G_2, F_2, zbdrb, H_1)
poli7, t_5, r_6, s_6 = Polygon(R, S, T)
poli8, s_9, t_6, q_6 = Polygon(T, Q, S)
poli9, u_4, r_9, v_4 = Polygon(R, tuet, U)
poli10, v_5, u_5, q_9 = Polygon(U, Q, tuet)
poli11, u_6, r_{10}, s_{10} = Polygon(R, S, U)
poli12, u_7, s_{11}, q_{10} = Polygon(S, Q, U)
poli13, v_6, r_{11}, t_9 = Polygon(R, T, tuet)
poli14, v_7, t_{10}, q_{11} = Polygon(T, Q, tuet)
I_1, H_2, I_2, N_2 = Omografia4punti(T, P, U, Q, fghft, sthrth, fghthth, dfbdsss, G_2, F_2, zbdrb, H_1)
poli15, i_{10}, z_3, c_6 = Polygon(Z, C_1, I_1)
poli16, c_7, i_{11}, e_6 = Polygon(I_1, E_1, C_1)
poli17, i_{12}, z_4, f_6 = Polygon(Z, F_1, I_2)
poli18, f_7, i_{13}, e_7 = Polygon(I_2, E_1, F_1)
poli19, i_{14}, z_5, c_{10} = Polygon(Z, C_1, I_2)
poli20, c_{12}, i_{15}, e_{10} = Polygon(I_2, E_1, C_1)
poli21, f_{10}, z_6, i_{16} = Polygon(Z, I_1, F_1)
poli22, f_{11}, i_{17}, e_{11} = Polygon(I_1, E_1, F_1)
a_6 = Line(Z, s_1)
O_2 = Strumento11(dgyjtyj, W'_1, fthrthrth, stfhrth, tyjteyj, G_2, F_2, zbdrb, H_1)
b_6 = Line(O_2, b)
d_6 = Line(E_1, Assey)
P_2 = Intersect(b_6, d_6)
Q_2 = Intersect(a_6, b_6)
g_6 = Line(M, a_1)
h_6 = Line(I, b_1)
j_6 = Line(sfghfg, b)
k_6 = Line(N, b)
l_6 = Line(F_1, Assey)
m_6 = Line(I_2, Assey)
n_6 = Line(I_1, j_1)
p_6 = Line(C_1, j_1)
R_2 = Intersect(h_6, p_6)
S_2 = Intersect(j_6, n_6)
T_2 = Intersect(k_6, m_6)
U_2 = Intersect(g_6, l_6)
poli23, s_{12}, q_{12}, u_8 = Polygon(Q_2, U_2, S_2)
poli24, q_{13}, s_{13}, r_{12} = Polygon(S_2, R_2, Q_2)
poli25, q_{14}, r_{13}, t_{12} = Polygon(R_2, T_2, Q_2)
poli26, q_{15}, t_{13}, u_9 = Polygon(T_2, U_2, Q_2)
fyhtyh = (-8.274412937385051, -2.2259358184442677)
poli27, s_{14}, r_{14}, p_9 = Polygon(R_2, P_2, S_2)
poli28, p_{10}, r_{15}, t_{14} = Polygon(R_2, T_2, P_2)
poli29, p_{12}, u_{10}, s_{15} = Polygon(U_2, S_2, P_2)
poli30, p_{13}, u_{11}, t_{15} = Polygon(U_2, T_2, P_2)
poli6, i_6, o_4, n_5 = Polygon(O_2, N, I)
poli31, l_5, o_5, i_{18} = Polygon(O_2, I, sfghfg)
poli32, m_5, o_6, l_9 = Polygon(O_2, sfghfg, M)
poli33, n_9, o_7, m_9 = Polygon(O_2, M, N)
poli34, f_{13}, e_{12}, o_8 = Polygon(E, dgyjtyj, F)
poli35, h_7, e_{13}, o_9 = Polygon(E, dgyjtyj, H)
poli36, g_7, o_{10}, h_{10} = Polygon(dgyjtyj, H, G)
poli37, f_{14}, o_{11}, g_{10} = Polygon(dgyjtyj, G, F)
a_7 = Segment(Q_2, P_2)
b_7 = Segment(U_2, R_2)
d_7 = Segment(T_2, S_2)
W_2 = Intersect(s_{12}, t_{13})
Z_2 = Midpoint(t_{13})
A_3 = Midpoint(s_{14})
k_9 = Segment(Z_2, A_3)
B_3 = Midpoint(u_8)
C_3 = Midpoint(r_{15})
a_{10} = Segment(B_3, C_3)
D_3 = Midpoint(r_{13})
E_3 = Midpoint(r_{14})
b_{10} = Segment(D_3, E_3)
F_3 = Midpoint(s_{15})
G_3 = Midpoint(s_{13})
d_{10} = Segment(G_3, F_3)
j_{10} = Segment(S_2, A_3)
k_{10} = Segment(R_2, E_3)
H_3 = Midpoint(q_{13})
I_3 = Midpoint(q_{15})
J_3 = Midpoint(q_{12})
K_3 = Midpoint(q_{14})
l_{10} = Segment(K_3, J_3)
m_{10} = Segment(I_3, H_3)
L_3 = Intersect(j_{10}, k_{10})
n_{10} = Segment(D_3, U_2)
a_{11} = Segment(Z_2, T_2)
U_4 = Intersect(n_{10}, a_{11})
b_{11} = Segment(U_4, L_3)
d_{11} = Segment(Z_2, S_2)
g_{11} = Segment(Q_2, J_3)
V_4 = Intersect(d_{11}, g_{11})
j_{11} = Segment(T_2, A_3)
k_{11} = Segment(K_3, P_2)
W_4 = Intersect(j_{11}, k_{11})
l_{11} = Segment(W_4, V_4)
m_{11} = Segment(Q_2, K_3)
n_{11} = Segment(R_2, D_3)
a_{12} = Segment(U_2, E_3)
b_{12} = Segment(S_2, F_3)
Z_4 = Intersect(m_{11}, n_{11})
A_5 = Intersect(a_{12}, b_{12})
d_{12} = Segment(Z_4, A_5)
g_{12} = Segment(Q_2, H_3)
h_{12} = Segment(B_3, R_2)
k_{12} = Segment(U_2, C_3)
l_{12} = Segment(I_3, P_2)
B_5 = Intersect(k_{12}, l_{12})
C_5 = Intersect(g_{12}, h_{12})
m_{12} = Segment(B_5, C_5)
w_5 = false
A = Point(t_2)
B = Point(k_5)
C = Intersect(b_7, d_7)
n_{12} = OrthogonalLine(H, e_{13})
a_{13} = OrthogonalLine(F, e_{12})
g_{13} = Line(R, k_5)
h_{13} = Line(Q, k_5)
m_{13} = Segment(S, E)
n_{13} = Segment(tuet, G)
a_{14} = Segment(H, U)
b_{14} = Segment(T, F)
D_5 = Intersect(e_{13}, h_{10})
c_{14} = Segment(R, D_5)
k_{14} = Segment(O_2, P_2)
l_{14} = Segment(P_2, Q_2)
m_{14} = Segment(S_2, sfghfg)
n_{14} = Segment(M, U_2)
a_{15} = Segment(N, T_2)
b_{15} = Segment(E_1, P_2)
c_{15} = Segment(Q_2, Z)
d_{15} = Segment(F_1, U_2)
e_{15} = Segment(T_2, I_2)
f_{15} = Segment(I_1, S_2)
g_{15} = Segment(R_2, C_1)
j_{15} = Line(E_1, t_2)
k_{15} = Line(Z, j_{15})
m_{15} = Segment(U_2, R_2)
n_{15} = Segment(T_2, S_2)
p_{15} = Line(U_2, n_{15})
a_{16} = Line(R_2, n_{15})
j_{14} = Segment(I_1, C_1)
v_{11} = true
D = Point(LineaDiTerra2D)
L = (16.481446909408437, -3.130109048104043)
b_{13} = Line(D, L)
c_{13} = OrthogonalLine(D, LineaDiTerra2D)
O = Intersect(b_{13}, o_{10})
V = Intersect(h_{10}, b_{13})
V_1 = Intersect(b_{13}, e_{12})
V_2 = Intersect(b_{13}, o_8)
d_{13} = OrthogonalLine(O, LineaDiTerra2D)
j_{13} = OrthogonalLine(V, LineaDiTerra2D)
k_{13} = OrthogonalLine(V_1, LineaDiTerra2D)
l_{13} = OrthogonalLine(V_2, LineaDiTerra2D)
E_5 = Intersect(t_{10}, j_{13})
F_5 = Intersect(j_{13}, t_9)
G_5 = Intersect(k_{13}, v_7)
H_5 = Intersect(k_{13}, v_6)
d_{14} = Segment(tuet, U)
I_5 = Intersect(q_{11}, d_{14})
J_5 = Intersect(d_{14}, d_{13})
e_{14} = Segment(S, T)
K_5 = Intersect(l_{13}, a_{14})
L_5 = Intersect(q_6, e_{14})
N_5 = Intersect(q_6, e_{14})
O_5 = Intersect(e_{14}, l_{13})
poli38, g_{14}, e_{16}, j_{16}, f_{16}, h_{14}, o_1 = Polygon(G_5, E_5, J_5, F_5, H_5, O_5)
P_5, Q_5, S_5, T_5 = Omografia4punti(O, V, V_1, V_2, W'_1, fthrthrth, stfhrth, tyjteyj, G_2, F_2, zbdrb, H_1)
p_{14} = Line(P_5, a_1)
h_{15} = Line(Q_5, a_1)
l_{15} = Line(S_5, b)
b_{16} = Line(T_5, b)
U_5 = Intersect(h_{15}, s_{12})
W_5 = Intersect(h_{15}, t_{15})
Z_5 = Intersect(p_{14}, p_{13})
A_6 = Intersect(p_9, b_{16})
B_6 = Intersect(l_{15}, u_{10})
C_6 = Intersect(l_{15}, r_{12})
poli39, b_{17}, w_6, z_7, u_{12}, c_{16}, a_{17} = Polygon(B_6, W_5, Z_5, U_5, C_6, A_6)
E_6 = Intersect(b_{13}, e_{13})
F_6 = Intersect(b_{13}, f_{13})
d_{16} = OrthogonalLine(E_6, LineaDiTerra2D)
g_{16} = OrthogonalLine(F_6, LineaDiTerra2D)
G_6 = Intersect(d_{16}, s_{11})
I_6 = Intersect(d_{16}, s_{10})
J_6 = Intersect(g_{16}, u_6)
K_6 = Intersect(g_{16}, u_7)
poli40, g_{17}, j_{17}, i_{19}, j_{18}, o_{12}, k_{16} = Polygon(G_6, J_5, I_6, J_6, O_5, K_6)
L_6 = Strumento11(D, W'_1, fthrthrth, stfhrth, tyjteyj, G_2, F_2, zbdrb, H_1)
N_6 = Strumento11(L, W'_1, fthrthrth, stfhrth, tyjteyj, G_2, F_2, zbdrb, H_1)
h_{16} = Line(N_6, L_6)
O_6 = Intersect(h_{16}, l_5)
P_6 = Intersect(h_{16}, m_9)
l_{16} = Line(O_6, a_1)
m_{16} = Line(P_6, a_1)
Q_6 = Intersect(l_{16}, t_{12})
R_6 = Intersect(u_9, m_{16})
S_6 = Intersect(m_{16}, u_{11})
T_6 = Intersect(s_{14}, l_{16})
poli41, r_{16}, q_{16}, a_{18}, t_{16}, s_{16}, z_8 = Polygon(R_6, Q_6, A_6, T_6, S_6, Z_5)
U_6 = Intersect(h_{16}, o_4)
n_{16} = Line(U_6, q_1)
V_6 = Intersect(q_{14}, n_{16})
poli42, t_{17}, v_8, q_{17}, a_{19} = Polygon(T_6, V_6, Q_6, A_6)
w_7 = false
c_{17} = Segment(U, S)
W_6 = Intersect(b_{13}, o_9)
e_{17} = OrthogonalLine(W_6, LineaDiTerra2D)
Z_6 = Intersect(e_{17}, c_{17})
poli43, j_{19}, z_9, k_{17}, o_{13} = Polygon(J_6, Z_6, K_6, O_5)
A_7 = Intersect(h_{16}, o_6)
f_{17} = Line(A_7, q_1)
B_7 = Intersect(q_{12}, f_{17})
poli44, b_{18}, a_{20}, c_{18}, b_{19} = Polygon(B_6, A_6, C_6, B_7)
poli45, s_{17}, v_9, r_{17}, z_{10} = Polygon(S_6, V_6, R_6, Z_5)
poli46, z_{11}, i_{20}, j_{20}, g_{18} = Polygon(Z_6, I_6, J_5, G_6)
C_7 = Intersect(b_{13}, o_{11})
h_{17} = OrthogonalLine(C_7, LineaDiTerra2D)
l_{17} = Segment(tuet, T)
D_7 = Intersect(h_{17}, l_{17})
poli47, o_{14}, h_{18}, d_{18}, g_{19} = Polygon(O_5, H_5, D_7, G_5)
poli48, w_8, b_{20}, u_{13}, z_{12} = Polygon(W_5, B_7, U_5, Z_5)
poli49, d_{19}, f_{18}, j_{21}, e_{18} = Polygon(D_7, F_5, J_5, E_5)
poli50, s_{18}, w_9, b_{21}, u_{14}, r_{18}, v_{10} = Polygon(S_6, W_5, B_7, U_5, R_6, V_6)
poli51, g_{20}, e_{19}, d_{20}, f_{19}, i_{21}, z_{13} = Polygon(G_6, E_5, D_7, F_5, I_6, Z_6)
poli52, j_{22}, h_{19}, d_{21}, g_{21}, k_{18}, z_{14} = Polygon(J_6, H_5, D_7, G_5, K_6, Z_6)
poli53, v_{12}, t_{18}, b_{22}, b_{23}, c_{19}, q_{18} = Polygon(V_6, T_6, B_6, B_7, C_6, Q_6)
E_7 = Intersect(Assey, i_1)
F_7 = Intersect(j_1, q_1)
G_7 = Intersect(b_1, LineaDiTerra3D)
H_7 = Intersect(Assey, LineaDiTerra3D)
I_7 = Intersect(k_1, s)
J_7 = Intersect(s_1, s)
K_7 = Intersect(k_1, r_1)
L_7 = Intersect(q_1, r_1)
m_{17} = Segment(H_7, E_7)
M_7 = Intersect(h_{16}, m_{17})
N_7 = Intersect(h_{16}, t_2)
n_{17} = Line(M_7, n_{16})
l_{18} = Line(N_7, n_{16})
m_{18} = Segment(N_7, M_7)
w_{10} = Vector(G_7, J_7)
O_7 = Translate(N_7, w_{10})
P_7 = Translate(M_7, w_{10})
n_{18} = Segment(O_7, P_7)
poli54, n_{19}, o_{15}, p_{18}, m_{19} = Polygon(N_7, O_7, P_7, M_7)
k_{19} = Segment(G_7, F_7)
Q_7 = Intersect(h_{16}, k_{19})
l_{19} = Segment(M_7, Q_7)
R_7 = Translate(M_7, w_{10})
S_7 = Translate(Q_7, w_{10})
p_{19} = Segment(R_7, S_7)
poli55, s_{19}, r_{19}, m_{20}, q_{19} = Polygon(S_7, R_7, M_7, Q_7)
t_{19} = Segment(E_7, F_7)
T_7 = Intersect(h_{16}, t_{19})
c_{20} = Segment(N_7, T_7)
U_7 = Translate(N_7, w_{10})
V_7 = Translate(T_7, w_{10})
e_{20} = Segment(U_7, V_7)
poli56, u_{15}, v_{13}, t_{20}, n_{20} = Polygon(U_7, V_7, T_7, N_7)
poli57, r_{20}, v_{14}, t_{21}, m_{21} = Polygon(R_7, V_7, T_7, M_7)
poli59, q_{20}, s_{20}, v_{15}, t_{22} = Polygon(Q_7, S_7, V_7, T_7)
f_{20} = Segment(T_6, V_6)
h_{20} = Segment(V_6, Q_6)
k_{20} = Segment(Q_6, C_6)
l_{20} = Segment(C_6, B_7)
p_{20} = Segment(B_7, B_6)
c_{21} = Segment(B_6, T_6)
f_{21} = Segment(S_6, V_6)
h_{21} = Segment(R_6, V_6)
k_{21} = Segment(R_6, U_5)
l_{21} = Segment(U_5, B_7)
n_{21} = Segment(B_7, W_5)
p_{21} = Segment(W_5, S_6)
q_{21} = Segment(S_6, Z_5)
r_{21} = Segment(Z_5, R_6)
s_{21} = Segment(Q_6, A_6)
a_{22} = Segment(A_6, T_6)
c_{22} = Segment(U_5, Z_5)
d_{22} = Segment(Z_5, W_5)
e_{22} = Segment(U_7, N_7)
f_{22} = Segment(U_5, C_6)
g_{22} = Segment(C_6, A_6)
h_{22} = Segment(A_6, B_6)
i_{22} = Segment(B_6, W_5)
k_{22} = Segment(R_6, Q_6)
l_{22} = Segment(T_6, S_6)
poli60, u_{16}, s_{22}, q_{22}, n_{22} = Polygon(U_7, S_7, Q_7, N_7)
m_{22} = Segment(N_7, Q_7)
p_{22} = Segment(M_7, Q_7)
D_8, E_8, F_8, G_8 = Omografia4punti(G_6, Z_6, I_6, F_5, J_7, I_7, fghthth, dfbdsss, G_2, F_2, zbdrb, H_1)
H_8, I_8, J_8, K_8 = Omografia4punti(J_6, H_5, D_7, G_5, J_7, I_7, fghthth, dfbdsss, G_2, F_2, zbdrb, H_1)
L_8 = Strumento11(E_5, J_7, I_7, fghthth, dfbdsss, G_2, F_2, zbdrb, H_1)
M_8 = Strumento11(K_6, J_7, I_7, fghthth, dfbdsss, G_2, F_2, zbdrb, H_1)
N_8 = Strumento11(O_5, J_7, I_7, fghthth, dfbdsss, G_2, F_2, zbdrb, H_1)
O_8 = Strumento11(J_5, J_7, I_7, fghthth, dfbdsss, G_2, F_2, zbdrb, H_1)
poli61, m_{23}, e_{23}, h_{23}, i_{23}, j_{23}, k_{23} = Polygon(M_8, E_8, H_8, I_8, J_8, K_8)
poli62, m_{24}, n_{23}, h_{24}, e_{24} = Polygon(M_8, N_8, H_8, E_8)
poli63, e_{25}, d_{23}, l_{23}, j_{24}, g_{23}, f_{23} = Polygon(E_8, D_8, L_8, J_8, G_8, F_8)
poli64, d_{24}, o_{16}, f_{24}, e_{26} = Polygon(D_8, O_8, F_8, E_8)
poli65, n_{24}, k_{24}, l_{24}, o_{17}, g_{24}, i_{24} = Polygon(N_8, K_8, L_8, O_8, G_8, I_8)
poli66, n_{25}, i_{25}, j_{25}, k_{25} = Polygon(N_8, I_8, J_8, K_8)
poli67, h_{25}, n_{26}, m_{25}, d_{25}, o_{18}, f_{25} = Polygon(H_8, N_8, M_8, D_8, O_8, F_8)
poli68, l_{25}, o_{19}, g_{25}, j_{26} = Polygon(L_8, O_8, G_8, J_8)
r_{22} = Line(G_2, F_2)
P_8 = Intersect(c_{13}, r_{22})
a_{23} = Segment(P_8, D)
Q_8 = Strumento11(T_7, G_2, F_2, zbdrb, H_1, W'_1, fthrthrth, E_7, F_7)
c_{23} = Segment(D, Q_8)
R_8 = Strumento11(M_7, G_2, F_2, zbdrb, H_1, W'_1, fthrthrth, E_7, F_7)
q_{23} = Segment(D, R_8)
T_8 = Strumento11(Q_7, G_2, F_2, zbdrb, H_1, W'_1, fthrthrth, E_7, F_7)
p_{23} = Line(Q_7, t_2)
r_{23} = Segment(H_7, E_7)
U_8 = Intersect(p_{23}, r_{23})
V_8 = Strumento11(U_8, G_2, F_2, zbdrb, H_1, W'_1, fthrthrth, E_7, F_7)
s_{23} = Line(V_8, k_5)
t_{23} = Segment(G_2, H_1)
Z_8 = Intersect(s_{23}, t_{23})
a_{24} = Segment(Z_8, D)
b_{24} = Segment(Q_7, T_7)
c_{24} = Segment(D, Z_8)
a_{21} = Segment(M_7, T_7)
e_{21} = Segment(F_5, J_5)
p_{24} = Segment(J_5, E_5)
q_{24} = Segment(E_5, D_7)
r_{24} = Segment(D_7, F_5)
t_{24} = Segment(G_8, O_8)
a_{25} = Segment(O_8, L_8)
b_{25} = Segment(L_8, J_8)
c_{25} = Segment(J_8, G_8)
p_{25} = Segment(M_8, D_8)
q_{25} = Segment(O_8, F_8)
r_{25} = Segment(O_8, D_8)
s_{25} = Segment(M_8, N_8)
t_{25} = Segment(N_8, H_8)
a_{26} = Segment(H_8, F_8)
b_{26} = Segment(G_8, I_8)
c_{26} = Segment(I_8, N_8)
d_{26} = Segment(N_8, K_8)
f_{26} = Segment(K_8, L_8)
g_{26} = Segment(F_8, E_8)
h_{26} = Segment(E_8, D_8)
i_{26} = Segment(K_6, G_6)
k_{26} = Segment(J_5, G_6)
l_{26} = Segment(J_5, I_6)
m_{26} = Segment(I_6, J_6)
p_{26} = Segment(J_6, O_5)
q_{26} = Segment(O_5, K_6)
r_{26} = Segment(I_6, Z_6)
s_{26} = Segment(Z_6, G_6)
t_{26} = Segment(E_5, G_5)
a_{27} = Segment(G_5, O_5)
b_{27} = Segment(O_5, H_5)
c_{27} = Segment(F_5, H_5)
d_{27} = Segment(I_6, F_5)
e_{27} = Segment(E_5, G_6)
f_{27} = Segment(G_8, F_8)
g_{27} = Segment(D_8, L_8)
h_{27} = Segment(Z_6, K_6)
i_{27} = Segment(G_5, K_6)
j_{27} = Segment(G_5, D_7)
k_{27} = Segment(D_7, H_5)
l_{27} = Segment(H_5, J_6)
m_{27} = Segment(J_6, Z_6)
n_{27} = Segment(H_8, I_8)
p_{27} = Segment(I_8, J_8)
q_{27} = Segment(J_8, K_8)
r_{27} = Segment(K_8, M_8)
s_{27} = Segment(M_8, E_8)
t_{27} = Segment(E_8, H_8)
W_7 = Point(a_{23})
Z_7 = Point(q_{23})
A_8 = Point(c_{23})
B_8 = Point(r_{19})

Tool: Strumento1
Input: A, B, C, D, E, F, G, H, I
Output: Z

a = Line(B, C)
b = Line(F, G)
c = Line(B, D)
d = Line(F, H)
e = Line(B, E)
f = Line(I, F)
J = Intersect(c, f)
K = Intersect(a, f)
L = Intersect(b, e)
M = Intersect(d, e)
g = Line(J, M)
h = Line(L, K)
N = Intersect(g, h)
i = Line(E, C)
j = Line(E, D)
k = Line(I, G)
l = Line(I, H)
O = Intersect(f, i)
P = Intersect(f, j)
Q = Intersect(e, k)
R = Intersect(e, l)
m = Line(P, R)
n = Line(Q, O)
S = Intersect(m, n)
p = Line(A, F)
q = Line(I, A)
T = Intersect(e, p)
r = Line(T, N)
U = Intersect(f, r)
s = Line(U, B)
V = Intersect(e, q)
t = Line(V, S)
W = Intersect(f, t)
a_1 = Line(W, E)
Z = Intersect(s, a_1)

Tool: Omografia4punti
Input: A, B, C, D, E, F, G, H, I, J, K, L
Output: O_1, P_1, Q_1, R_1

a = Line(E, F)
b = Line(E, G)
c = Line(E, H)
d = Line(I, J)
e = Line(I, K)
f = Line(I, L)
M = Intersect(b, f)
N = Intersect(a, f)
O = Intersect(c, d)
P = Intersect(c, e)
g = Line(N, O)
h = Line(M, P)
Q = Intersect(g, h)
i = Line(H, F)
j = Line(H, G)
k = Line(L, J)
l = Line(L, K)
R = Intersect(f, i)
S = Intersect(f, j)
T = Intersect(c, l)
U = Intersect(c, k)
m = Line(R, U)
n = Line(T, S)
V = Intersect(m, n)
p = Line(I, A)
q = Line(I, B)
r = Line(I, C)
s = Line(I, D)
t = Line(L, A)
a_1 = Line(L, B)
b_1 = Line(L, C)
c_1 = Line(L, D)
W = Intersect(c, p)
Z = Intersect(c, q)
A_1 = Intersect(c, r)
B_1 = Intersect(c, s)
d_1 = Line(W, Q)
e_1 = Line(Z, Q)
f_1 = Line(Q, A_1)
g_1 = Line(B_1, Q)
C_1 = Intersect(f, g_1)
D_1 = Intersect(f, f_1)
E_1 = Intersect(f, e_1)
F_1 = Intersect(f, d_1)
h_1 = Line(C_1, E)
i_1 = Line(D_1, E)
j_1 = Line(E_1, E)
k_1 = Line(F_1, E)
G_1 = Intersect(c, t)
H_1 = Intersect(c, a_1)
I_1 = Intersect(c, b_1)
J_1 = Intersect(c, c_1)
l_1 = Line(J_1, V)
m_1 = Line(V, I_1)
n_1 = Line(H_1, V)
p_1 = Line(V, G_1)
K_1 = Intersect(f, l_1)
L_1 = Intersect(f, m_1)
M_1 = Intersect(f, n_1)
N_1 = Intersect(f, p_1)
q_1 = Line(K_1, H)
r_1 = Line(L_1, H)
s_1 = Line(M_1, H)
t_1 = Line(N_1, H)
O_1 = Intersect(k_1, t_1)
P_1 = Intersect(j_1, s_1)
Q_1 = Intersect(i_1, r_1)
R_1 = Intersect(h_1, q_1)

Tool: Strumento1 (command Strumento11)
Input: A, B, C, D, E, F, G, H, I
Output: Z

a = Line(B, C)
b = Line(F, G)
c = Line(B, D)
d = Line(F, H)
e = Line(B, E)
f = Line(I, F)
J = Intersect(c, f)
K = Intersect(a, f)
L = Intersect(b, e)
M = Intersect(d, e)
g = Line(J, M)
h = Line(L, K)
N = Intersect(g, h)
i = Line(E, C)
j = Line(E, D)
k = Line(I, G)
l = Line(I, H)
O = Intersect(f, i)
P = Intersect(f, j)
Q = Intersect(e, k)
R = Intersect(e, l)
m = Line(P, R)
n = Line(Q, O)
S = Intersect(m, n)
p = Line(A, F)
q = Line(I, A)
T = Intersect(e, p)
r = Line(T, N)
U = Intersect(f, r)
s = Line(U, B)
V = Intersect(e, q)
t = Line(V, S)
W = Intersect(f, t)
a_1 = Line(W, E)
Z = Intersect(s, a_1)