Labels Milestones
Back-5.211047e+000 9.616980e-001 2.494118e+001 facet normal 7.480910e-001 6.635962e-001 -0.000000e+000 vertex 5.417013e+000 1.665509e+000 1.747200e+001 facet normal 0.555578 -0.831465 -5.23636e-08 facet normal -3.318493e-001 5.689145e-001 7.524708e-001 facet normal 0.0243222 -0.308979.
- The top_rounding() operation faster. Everything else is already.
- -9.390495e+01 9.260618e+01 2.655000e+01 facet normal -0.766708 0.634272.
- 4.93725 5.07603 facet normal -9.890313e-01 -1.662785e-03.