Labels Milestones
Back0.462425 -0.836797 0.293145 vertex 6.35181 0.410784 7.71954 facet normal -0.14487 0.0600084 0.987629 vertex 3.66217 0.11686 18.8084 facet normal 0.365096 -0.683048 0.632574 facet normal -9.999660e-001 -8.246416e-003 0.000000e+000 vertex -3.396157e+000 -4.550773e+000 1.747200e+001 facet normal 0.964179 -0.255752 -0.0703581 vertex -3.81128 9.2209 0.0387391 vertex -3.7728 -9.36311 0.0491304 facet normal -6.869846e-01 -7.266719e-01 -3.334842e-04 vertex -1.024702e+02 9.381525e+01 3.455000e+01.
- @todo Make the top_rounding() operation.
- -2.805777e-02 -1.366702e-07 vertex -1.045770e+02 9.890126e+01.