Labels Milestones
BackR=hole_radius, $fn=360); vertex 0 -8.97218 4.79464 facet normal -0.0462166 0.587101 0.808194 facet normal 0.192839 -0.747986 0.635083 facet normal 2.783082e-02 9.996126e-01 -2.490456e-06 vertex -9.698398e+01 1.060829e+02 3.455000e+01 vertex -9.202104e+01 9.410860e+01 1.855000e+01 vertex -1.045318e+02 9.970655e+01 1.855000e+01 vertex -9.151829e+01 1.030637e+02 1.055000e+01 vertex -9.838217e+01 9.177819e+01 2.550000e+00 facet normal -3.551516e-001 -2.892438e-003 9.348043e-001 vertex 4.199100e+000 -2.423207e+000 2.493625e+001.
New Pull Request