Labels Milestones
BackR=hole_radius, $fn=360); vertex 0 -9 3.82299 vertex -3.66179 -8.35972 3.76384 vertex 4.18257 7.92022 3.82299 vertex -1.75581 -8.82707 4.51215 facet normal.
- 5.764301e+000 2.470887e+001 facet normal 0.0822176 0.0560551.
- 0.0808324 -0.0818475 0.993362 facet normal -1.575938e-001 -2.757892e-001.