piirto1: PolyLine[(-1.4945E-2,6.8226E-2), (-3.2587E-2,1.2115E-1), (-1.4945E-2,1.9172E-1), (1.4384E-1,5.6221E-1), (2.3205E-1,7.5628E-1), (4.2612E-1,1.1268E0), (5.6726E-1,1.3738E0), (6.3783E-1,1.4796E0), (7.0840E-1,1.6384E0), (9.0246E-1,2.0265E0), (1.2024E0,2.6617E0), (1.3612E0,2.9616E0), (1.4494E0,3.1380E0), (1.5199E0,3.2439E0), (1.5905E0,3.4379E0), (1.6964E0,3.6673E0), (1.7846E0,3.8084E0), (1.8375E0,3.8790E0), (1.8904E0,3.9848E0), (1.9257E0,4.0731E0), (1.9875E0,4.2054E0), (2.0669E0,4.3201E0), (2.1110E0,4.4436E0), (2.1551E0,4.5582E0), (2.0845E0,4.5494E0), (1.9963E0,4.4788E0), (1.9257E0,4.4436E0), (1.8552E0,4.3994E0), (1.9875E0,4.5141E0), (2.0933E0,4.5935E0), (2.1904E0,4.5935E0), (2.2256E0,4.5141E0), (2.2609E0,4.4083E0), (2.2962E0,4.3024E0), (�,�), (8.8482E-1,4.0731E0), (7.7014E-1,4.0642E0), (6.8193E-1,3.9760E0), (6.9957E-1,3.8614E0), (7.9661E-1,3.8614E0), (8.8482E-1,3.9407E0), (9.8626E-1,4.0510E0), (1.0789E0,3.9584E0), (1.1495E0,3.8790E0), (1.2024E0,3.8084E0), (1.1671E0,3.8614E0), (�,�), (6.9075E-1,4.2318E0), (7.7896E-1,4.2318E0), (8.8482E-1,4.2495E0), (1.0789E0,4.2495E0), (1.2024E0,4.2495E0), (�,�), (2.6975E-3,5.0583E-2), (8.2088E-2,1.0351E-1), (2.8498E-1,2.2701E-1), (6.2018E-1,3.5050E-1), (9.0246E-1,4.3872E-1), (1.0612E0,5.2693E-1), (1.2906E0,5.6221E-1), (1.4494E0,5.9750E-1), (1.6434E0,6.5043E-1), (1.9257E0,7.5628E-1), (2.1021E0,8.4449E-1), (2.6843E0,1.0386E0), (3.1783E0,1.2150E0), (3.5488E0,1.3385E0), (3.7076E0,1.3914E0), (3.9370E0,1.4443E0), (4.1310E0,1.5325E0), (4.2898E0,1.5855E0), (4.3427E0,1.6208E0), (�,�), (4.3075E0,1.7090E0), (4.2192E0,1.7266E0), (4.0957E0,1.7443E0), (3.9722E0,1.7443E0), (3.9017E0,1.7619E0), (3.8311E0,1.7619E0), (3.9017E0,1.7619E0), (3.9987E0,1.7531E0), (4.0781E0,1.7266E0), (4.1751E0,1.7178E0), (4.2722E0,1.6913E0), (4.3692E0,1.6825E0), (4.3957E0,1.5855E0), (4.3427E0,1.5149E0), (4.2722E0,1.4091E0), (4.2545E0,1.3385E0), (�,�), (3.3018E0,7.2100E-1), (3.2842E0,6.5043E-1), (3.2842E0,5.6221E-1), (3.2489E0,4.9164E-1), (3.2886E0,3.9902E-1), (3.3900E0,4.2107E-1), (3.4871E0,4.0343E-1), (3.5312E0,3.3286E-1), (3.5312E0,2.6229E-1), (3.4606E0,2.6229E-1), (3.3900E0,2.4465E-1), (3.3018E0,2.2701E-1), (3.2136E0,2.2701E-1), (3.1431E0,2.2701E-1), (3.0901E0,2.4465E-1), (�,�), (3.1960E0,8.2685E-1), (3.2842E0,8.2685E-1), (3.3548E0,8.6214E-1), (3.4253E0,8.6214E-1), (3.5135E0,8.7978E-1), (3.5841E0,8.9742E-1), (3.6547E0,8.9742E-1), (�,�), true]
piirto2: PolyLine[(2.1374E0,4.6200E0), (2.1904E0,4.5406E0), (2.2433E0,4.4612E0), (2.3139E0,4.3730E0), (2.3844E0,4.2848E0), (2.4197E0,4.2142E0), (2.5256E0,4.0907E0), (2.6402E0,3.9407E0), (2.7549E0,3.7908E0), (2.9490E0,3.5261E0), (3.0460E0,3.4026E0), (3.1342E0,3.2880E0), (3.2842E0,3.0851E0), (3.3548E0,2.9792E0), (3.4430E0,2.8734E0), (3.5400E0,2.7411E0), (3.6370E0,2.6352E0), (3.6900E0,2.5382E0), (3.8311E0,2.3617E0), (4.0957E0,2.0089E0), (4.2104E0,1.8589E0), (4.2545E0,1.7795E0), (4.2898E0,1.7266E0), (�,�), true]
piirto3: PolyLine[(3.3724E0,3.1380E0), (3.2930E0,3.0939E0), (3.2136E0,3.0322E0), (3.3195E0,3.0851E0), (3.3900E0,3.1204E0), (3.4694E0,3.1557E0), (3.3636E0,3.1027E0), (3.2842E0,3.0674E0), (3.2313E0,3.0322E0), (�,�), (3.9722E0,3.6320E0), (3.9546E0,3.5614E0), (3.9370E0,3.4909E0), (3.8840E0,3.3497E0), (3.8487E0,3.2262E0), (3.8311E0,3.1380E0), (3.8311E0,3.0674E0), (�,�), (3.9370E0,3.6320E0), (4.0164E0,3.6761E0), (4.1134E0,3.6849E0), (4.2281E0,3.6761E0), (4.3251E0,3.6055E0), (4.3516E0,3.4997E0), (4.2633E0,3.4115E0), (4.1840E0,3.3674E0), (4.0252E0,3.3674E0), (3.9017E0,3.3674E0), (�,�), true]
piirto4: PolyLine[(-6.7872E-2,8.5868E-2), (-2.3766E-2,1.6526E-1), (5.5625E-2,2.7111E-1), (1.0855E-1,3.5050E-1), (1.7030E-1,4.3872E-1), (2.6733E-1,5.6221E-1), (3.6437E-1,6.6807E-1), (4.7022E-1,7.7392E-1), (5.7608E-1,8.7096E-1), (6.5547E-1,9.1506E-1), (7.4368E-1,9.9445E-1), (8.4071E-1,1.0562E0), (9.4657E-1,1.1444E0), (1.0524E0,1.2238E0), (1.2024E0,1.3561E0), (1.3435E0,1.4443E0), (1.4317E0,1.4973E0), (1.5199E0,1.5678E0), (1.6082E0,1.6208E0), (1.6611E0,1.6913E0), (1.7669E0,1.7795E0), (2.0845E0,1.9913E0), (2.1904E0,2.0618E0), (2.3139E0,2.1853E0), (2.4638E0,2.2735E0), (2.5697E0,2.3529E0), (2.6314E0,2.4147E0), (2.7373E0,2.5029E0), (2.8696E0,2.5823E0), (2.9754E0,2.6528E0), (3.0372E0,2.7146E0), (3.1078E0,2.7675E0), (3.1960E0,2.8204E0), (3.3018E0,2.9263E0), (3.4342E0,3.0057E0), (3.5135E0,3.0498E0), (3.5488E0,3.1027E0), (�,�), true]
piirto5: PolyLine[(3.7429E0,3.5967E0), (3.7429E0,3.5261E0), (3.7429E0,3.2262E0), (3.7429E0,3.0674E0), (�,�), (3.7429E0,3.6320E0), (3.7958E0,3.6673E0), (3.8929E0,3.6761E0), (3.9899E0,3.6849E0), (4.0869E0,3.6673E0), (4.1487E0,3.5967E0), (4.1487E0,3.5261E0), (4.0516E0,3.4820E0), (3.9546E0,3.4556E0), (3.8664E0,3.4556E0), (3.7958E0,3.4556E0), (�,�), true]
piirto6: PolyLine[(2.9843E0,3.8084E0), (2.9137E0,3.8084E0), (2.7196E0,3.7379E0), (2.6314E0,3.7026E0), (2.7020E0,3.7026E0), (2.7549E0,3.7379E0), (2.8078E0,3.7731E0), (�,�), (4.0428E0,2.4147E0), (3.9722E0,2.3970E0), (3.8752E0,2.3617E0), (3.7694E0,2.2824E0), (3.7958E0,2.2912E0), (3.8840E0,2.3088E0), (3.9546E0,2.3441E0), (4.0252E0,2.3617E0), (4.0781E0,2.3970E0), (�,�), true]
piirto7: PolyLine[(3.2665E0,4.5494E0), (3.1695E0,4.4965E0), (3.1078E0,4.3994E0), (3.0725E0,4.3201E0), (3.0813E0,4.2142E0), (3.1695E0,4.1083E0), (3.2489E0,4.0554E0), (�,�), (3.3900E0,4.3730E0), (3.4430E0,4.4259E0), (3.4959E0,4.4612E0), (3.5488E0,4.5141E0), (3.5665E0,4.4436E0), (3.5665E0,4.3730E0), (3.5488E0,4.3201E0), (3.5312E0,4.2671E0), (3.5312E0,4.1966E0), (�,�), (3.7253E0,4.6023E0), (3.8046E0,4.5494E0), (3.8752E0,4.4524E0), (3.8840E0,4.3201E0), (3.8399E0,4.2054E0), (3.7782E0,4.1260E0), (3.7253E0,4.0907E0), (�,�), (4.5721E0,2.8734E0), (4.5192E0,2.7940E0), (4.4662E0,2.7146E0), (4.4662E0,2.6087E0), (4.4839E0,2.4764E0), (4.5721E0,2.4058E0), (4.6603E0,2.3617E0), (�,�), (4.8014E0,2.8028E0), (4.8544E0,2.8204E0), (4.9073E0,2.8381E0), (4.9426E0,2.7852E0), (4.9426E0,2.7146E0), (4.9426E0,2.6440E0), (4.9249E0,2.5735E0), (4.9249E0,2.5029E0), (�,�), (5.0308E0,2.9439E0), (5.1014E0,2.9263E0), (5.1366E0,2.8734E0), (5.1366E0,2.7852E0), (5.1543E0,2.7322E0), (5.1543E0,2.5735E0), (5.1543E0,2.4500E0), (5.1366E0,2.3970E0), (�,�), true]
piirto8: PolyLine[(2.1904E0,2.1853E0), (2.1021E0,2.1589E0), (2.1286E0,2.0706E0), (2.2080E0,2.0442E0), (2.2786E0,2.0442E0), (2.2698E0,2.1412E0), (2.1551E0,2.1677E0), (2.0757E0,2.1059E0), (2.1463E0,2.0265E0), (2.2256E0,1.9913E0), (2.3227E0,2.0177E0), (2.3050E0,2.1324E0), (2.2256E0,2.1677E0), (2.1551E0,2.1853E0), (2.0757E0,2.1589E0), (2.1198E0,2.0971E0), (�,�), (1.8375E0,2.4323E0), (1.8904E0,2.5293E0), (1.9345E0,2.6352E0), (2.0272E0,2.7278E0), (2.1286E0,2.5911E0), (2.1992E0,2.6969E0), (2.3271E0,2.7719E0), (2.3491E0,2.6440E0), (2.3491E0,2.5205E0), (2.3668E0,2.4500E0), (�,�), (1.1318E0,1.9913E0), (1.0789E0,1.9383E0), (1.0612E0,1.8678E0), (1.0436E0,1.8148E0), (1.0436E0,1.7266E0), (1.0436E0,1.6560E0), (1.0965E0,1.6031E0), (�,�), (1.2200E0,1.9207E0), (1.2730E0,1.9560E0), (1.3435E0,1.9560E0), (1.4229E0,1.9295E0), (1.3876E0,1.8148E0), (1.3082E0,1.7619E0), (1.4141E0,1.7619E0), (1.5199E0,1.7619E0), (�,�), (1.5552E0,2.0795E0), (1.6258E0,2.0795E0), (1.6787E0,2.0442E0), (1.7317E0,1.9736E0), (1.7846E0,1.8854E0), (1.7846E0,1.8148E0), (1.7846E0,1.7443E0), (�,�), (2.7373E0,3.0145E0), (2.6843E0,2.9969E0), (2.6314E0,2.9263E0), (2.5961E0,2.8557E0), (2.5785E0,2.7675E0), (2.5785E0,2.6969E0), (2.6491E0,2.6617E0), (2.7020E0,2.6440E0), (�,�), (2.7549E0,2.8557E0), (2.8078E0,2.8734E0), (2.8608E0,2.9263E0), (2.9137E0,2.9616E0), (2.9137E0,2.8910E0), (2.9137E0,2.8204E0), (2.8961E0,2.7675E0), (2.8961E0,2.6969E0), (�,�), (2.9843E0,3.1380E0), (3.0460E0,3.0586E0), (3.1166E0,2.9528E0), (3.1783E0,2.8734E0), (3.1783E0,2.7852E0), (3.1695E0,2.6881E0), (3.1431E0,2.6087E0), (3.1078E0,2.5558E0), (�,�), true]
piirto9: PolyLine[(1.0789E0,5.7844E0), (9.9067E-1,5.7844E0), (9.2010E-1,5.7314E0), (8.3189E-1,5.6521E0), (7.7014E-1,5.5197E0), (7.7014E-1,5.3874E0), (8.5836E-1,5.3080E0), (1.0260E0,5.2904E0), (1.1759E0,5.2992E0), (1.2818E0,5.3786E0), (1.3082E0,5.5021E0), (1.2818E0,5.5991E0), (1.1759E0,5.6785E0), (1.0965E0,5.7138E0), (�,�), (1.4494E0,5.7491E0), (1.4494E0,5.6609E0), (1.4494E0,5.5903E0), (1.4494E0,5.5021E0), (1.4317E0,5.4139E0), (1.4317E0,5.3433E0), (1.4494E0,5.2904E0), (�,�), (1.4494E0,5.7667E0), (1.5023E0,5.8020E0), (1.6082E0,5.8020E0), (1.7405E0,5.7932E0), (1.8287E0,5.7226E0), (1.7581E0,5.6344E0), (1.6787E0,5.6080E0), (1.5729E0,5.6080E0), (1.4670E0,5.6080E0), (�,�), (1.0789E0,5.9608E0), (1.1671E0,5.9608E0), (1.7669E0,5.9608E0), (1.9434E0,5.9608E0), (�,�), (2.0669E0,5.6432E0), (2.1551E0,5.6432E0), (2.2609E0,5.6432E0), (2.3844E0,5.6432E0), (2.4374E0,5.6256E0), (�,�), (2.1551E0,5.5197E0), (2.2256E0,5.5197E0), (2.2962E0,5.5197E0), (2.3668E0,5.5021E0), (2.4374E0,5.5021E0), (�,�), true]
piirto10: PolyLine[(2.9490E0,6.0490E0), (3.0019E0,6.1019E0), (3.0196E0,6.1549E0), (3.0372E0,6.0843E0), (3.0372E0,5.9784E0), (3.0372E0,5.8726E0), (3.0196E0,5.8197E0), (�,�), (2.8431E0,5.6609E0), (2.9137E0,5.6609E0), (3.1960E0,5.6609E0), (3.3724E0,5.6609E0), (�,�), (2.8078E0,5.5550E0), (2.8784E0,5.5550E0), (2.9843E0,5.5550E0), (3.0813E0,5.5462E0), (3.1342E0,5.4580E0), (3.0725E0,5.3610E0), (2.9666E0,5.2904E0), (2.8828E0,5.2154E0), (2.9666E0,5.2022E0), (3.0901E0,5.1845E0), (3.1783E0,5.1669E0), (3.2489E0,5.1669E0), (3.3195E0,5.1669E0), (�,�), (3.6723E0,5.5197E0), (3.6723E0,5.5197E0), (�,�), (3.9370E0,5.8902E0), (3.9370E0,5.8020E0), (3.9370E0,5.4668E0), (3.9634E0,5.3169E0), (4.0693E0,5.3698E0), (4.1663E0,5.3786E0), (4.2545E0,5.3521E0), (4.2633E0,5.2551E0), (4.1840E0,5.2198E0), (4.0957E0,5.2198E0), (3.9987E0,5.2286E0), (3.9722E0,5.3080E0), (�,�), (3.9193E0,6.1019E0), (4.0252E0,6.1019E0), (4.1487E0,6.1019E0), (4.2722E0,6.1019E0), (�,�), true]
piirto11: PolyLine[(4.6250E0,5.5021E0), (4.7132E0,5.5021E0), (4.7838E0,5.5021E0), (4.8544E0,5.5021E0), (�,�), (4.7309E0,5.6432E0), (4.7309E0,5.5727E0), (4.7309E0,5.5021E0), (4.7485E0,5.4492E0), (�,�), (5.4366E0,5.8902E0), (5.4542E0,5.9608E0), (5.4895E0,6.0137E0), (5.5071E0,6.0843E0), (5.5248E0,6.0137E0), (5.5248E0,5.8549E0), (5.5248E0,5.7314E0), (�,�), (5.2601E0,5.5550E0), (5.3484E0,5.5550E0), (5.5954E0,5.5550E0), (5.7541E0,5.5550E0), (�,�), (5.2954E0,5.3080E0), (5.4013E0,5.3080E0), (5.5160E0,5.2816E0), (5.5512E0,5.1934E0), (5.4630E0,5.1051E0), (5.4101E0,5.0522E0), (5.5424E0,5.0258E0), (5.6483E0,5.0258E0), (5.7365E0,5.0258E0), (�,�), (6.2834E0,5.5374E0), (6.1952E0,5.5374E0), (6.1246E0,5.5374E0), (6.0541E0,5.5197E0), (5.9747E0,5.4580E0), (5.9482E0,5.3433E0), (6.0188E0,5.3080E0), (6.1158E0,5.3169E0), (6.2040E0,5.3698E0), (6.2746E0,5.4051E0), (6.3187E0,5.2992E0), (6.3893E0,5.2198E0), (6.4069E0,5.2727E0), (�,�), (6.0541E0,5.7667E0), (6.1246E0,5.7667E0), (6.1952E0,5.7667E0), (6.2481E0,5.7491E0), (6.3187E0,5.7491E0), (6.3893E0,5.7491E0), (�,�), (5.8423E0,5.5021E0), (5.8423E0,5.5021E0), (�,�), true]
a = Vector((3, 18, 12))
b = Vector((-6, 12, 0))
M: (2 / 3 * ((1 / 2 * a) + (1 / 2 * b)))
OM = Vector(M)
u: a ⊗ b
v = UnitVector(u)
w = Translate(Vector[(18 * v)], M)
c = Translate(Vector[(-18 * v)], M)
A = Point((0, 0, 0), a)
B = Point((0, 0, 0), b)
P_1 = Point(M, w)
P_2 = Point(M, c)
O: (0, 0, 0)
k1, b_1, o, a_1 = Polygon(O, A, B)
d, tahko2, tahko1, tahko3, särmä3, särmä1, särmä2 = Pyramid(k1, P_1)
e, tahko5, tahko4, tahko6, särmä6, särmä4, särmä5 = Pyramid(k1, P_2)