Labels Milestones
Back-4.455212e-001 0.000000e+000 vertex 5.055779e+000 -2.918668e+000 2.464800e+001 facet normal 0.993102 -0.0624781 0.0992224 facet normal 4.547755e-001 -7.811843e-001 4.277037e-001 facet normal -0.634399 0.773006.
- R=hole_radius, $fn=360); vertex 0 9.96384.
- 5.689120e-001 7.524735e-001 facet normal 3.934402e-001 -6.745044e-001 6.246989e-001 vertex.