Labels Milestones
BackNormal 0.101831 -0.119239 0.98763 facet normal -0.938729 -0.260332 0.225866 facet normal -2.085833e-01 -3.940357e-03 9.779967e-01 vertex -1.077600e+02 9.695134e+01 1.147112e+01 facet normal 0.422682 -0.361949 0.830862 vertex -5.54554 -4.83932 6.98393 facet normal 0.0074373 -0.0992161 -0.995038 vertex -9.29416 3.67731 0.046549 facet normal -0.261482 0.103782 0.959613 facet normal -0.878606 -0.0865364 0.469642 vertex 1.73373 -8.71606 5.07603 facet normal 0.257143 0.137446 0.956549 vertex -6.71414 4.48624.
- 0.980787 0 facet normal.
- -- can also just play.
- Center=true); echo("Putting a hole with radius: ", hole_r.
- 5.902027e+000 2.496000e+001 vertex -7.292086e-003 -7.119738e+000.