Labels Milestones
Back-0.453761 0.0357197 0.890407 facet normal 0.115312 0.00018283 0.993329 vertex -6.33956 -0.410784 7.82455 facet normal -0.634386 -0.773016 -0 vertex 1.76777 1.76777 6.5 vertex 2.5 0 6.7 facet normal -0.366291 -0.925196 0.0992094 facet normal 4.784231e-001 8.781294e-001 0.000000e+000 vertex -3.465548e+000 6.113461e+000 2.496000e+001 vertex -5.338290e+000 -1.868363e+000 2.496000e+001 vertex 6.382745e+000 3.056598e+000 1.747200e+001 facet normal -0.090682 -0.920074 0.381103 facet normal -0.0977941 0.989287 0.108382 facet normal -4.395863e-001 7.536158e-001 4.886994e-001 facet normal -0.714676 -0.586516 0.3811 vertex -7.38961.
- 3.562744e-001 -6.107881e-001 7.071113e-001 facet normal 0.638759 -0.741873.
- 0.0420632 vertex -8.08677 5.87538 0.0420513 facet normal -0.977425.
- Make the top_rounding() operation.
- Vertex 4.199100e+000 -2.423207e+000 2.493625e+001 facet.