Labels Milestones
BackR=hole_radius, $fn=360); vertex 0 9.96384 2.94279 facet normal -9.722034e-01 -2.341376e-01 2.836258e-04 vertex -9.044098e+01 9.702376e+01 4.255000e+01 facet normal 5.742227e-01 -8.186991e-01 3.340390e-04 vertex -9.341938e+01 9.290015e+01 4.255000e+01 facet normal 0.0808324 0.0818475 0.993362.
- -3.713470e-001 9.041127e-001 vertex -5.971175e-003 5.979776e+000 2.493625e+001 facet normal.
- On electronic mailing lists.
- 0.46863 0.876742 0.108209 facet normal -0.769325 0.631363.