n = 7 (slider from 5 to 10, step 1)
A = (-1.045549313615485, -0.909055466999213)
B = (1.24, -0.98)
poly1, a, b, c, d, e, f, g, h, s, t, C, D, E, F, G, H, F_1, I_1 = Polygon(A, B, n)
i = LineBisector(D, C)
j = LineBisector(E, F)
I = Intersect(j, i)
k = LineBisector(D, C)
l = LineBisector(D, E)
J = Intersect(l, k)
p = Circle(J, 1)
K = Point(p)
α = 3.2717942157885704 rad (slider from 0 to 6.283185307179586, step 0.01*°)
K' = Rotate(K, α, J)
β = Angle(K, J, K')
P: (x(K'), y(K'), 0.5)
m = Sphere(K', 0.3)
Q: (x(J), y(J), 5)
o, faceABQ, faceBCQ, faceCDQ, faceDEQ, faceAEQ, face1, face3, face5, face7, face9, edgeAQ, edgeBQ, edgeCQ, edgeDQ, edgeEQ, edge1, edge5, edge9, edge13, edge17 = Pyramid(poly1, Q)
q = 0.84 (slider from 0 to 1, step 0.01)
r, L, M, N, O, R, Z, B_1, D_1, G_1, J_1, S, T, U, V, W, A_1, C_1, E_1, H_1, K_1, faceLMNOR, faceLMS, faceMNT, faceNOU, faceORV, faceLRW, face2, face4, face6, face8, face10, edgeLM, edgeMN, edgeNO, edgeOR, edgeLR, edge2, edge6, edge10, edge14, edge18, edgeLS, edgeMS, edgeMT, edgeNT, edgeNU, edgeOU, edgeOV, edgeRV, edgeRW, edgeLW, edge3, edge4, edge7, edge8, edge11, edge12, edge15, edge16, edge19, edge20 = Net(o, q)