W = (0.5, 0, 3)
O = (0, 0)
B = (1.6693045687423815, 0.3356502922189961, 0.5000000000000001)
A = (1, -2, 0)
v = Vector((0, 0), A)
w = Vector((0, 0), B)
a: (v * w)
C: O + v + w
paralelogramo, b, c, h, i = Polygon(O, A, C, B)
B': (x(B), y(B))
d = Segment(B, B')
C': (x(C), y(C))
e = Segment(C, C')
A': (x(A), y(A))
f = Segment(A, A')
α = Angle(A, O, B)
u = Vector(O, W)
E: O + u
E': (x(E), y(E))
j = Segment(E, E')
prisma, F, G, H, caraAFEO, caraACGF, caraBCGH, caraBHEO, caraEFGH, aristaEO, aristaAF_1, aristaCG_1, aristaBH_1, aristaEF_1, aristaFG_1, aristaGH_1, aristaEH_1 = Prism(paralelogramo, E)
planobase = Plane(O, A, B)
k = OrthogonalLine(W, planobase)
I = Intersect(k, planobase)
J: W - I
t1, caraABO, caraABW, caraBOW, caraAOW, aristaAB_1, aristaBO, aristaAO, aristaAW, aristaBW, aristaOW = Pyramid(A, B, O, W)
t2, caraABE, caraABF_1, caraBEF_1, caraAEF, aristaAB_2, aristaBE_1, aristaAE, aristaAF_2, aristaBF_1, aristaEF_2 = Pyramid(A, B, E, F)
t3, caraBEH, caraBFH_1, caraBEF, caraEFH, aristaBH_2, aristaBE, aristaEH, aristaFH_1, aristaBF_2, aristaEF = Pyramid(H, B, E, F)
t4, caraCGH, caraFGH, caraCFG, caraCFH_1, aristaGH, aristaCG, aristaCH_1, aristaFH_2, aristaFG, aristaCF_1 = Pyramid(H, G, C, F)
t5, caraBCH, caraBFH, caraBCF_1, caraCFH, aristaBH, aristaBC_1, aristaCH, aristaFH, aristaBF_3, aristaCF_2 = Pyramid(H, B, C, F)
t6, caraABC, caraABF, caraBCF, caraACF, aristaAB, aristaBC, aristaAC, aristaAF, aristaBF, aristaCF = Pyramid(A, B, C, F)