Labels Milestones
Back-1.064033e+02 9.695134e+01 8.842057e+00 vertex -1.065849e+02 9.665134e+01 8.832685e+00 facet normal -0.0635954 0.807213 0.586824 facet normal 0.980752 -0.195255 -3.95367e-07 vertex -3.425 0 6.59 facet normal 0.479377 0.871971 0.0993225 vertex 4.28661 6.75462 20 facet normal 0.678283 0.205751 0.705407 vertex 3.43962 -9.09213 3.26879 facet normal -0.995182 0.0973802 0.011361 facet normal 0.075425 -0.766035 -0.638358 facet normal 2.121136e-001 -3.654925e-001 9.063239e-001 vertex -8.147030e-001 5.465666e+000 2.491820e+001 facet normal 0.491815 -0.403619 0.771499 vertex 7.11876.
- -0.989341 0.0974419 0.108207 facet normal -5.7231e-05 -0.113358 0.993554.
- -6.188077e-01 -7.855425e-01 3.314906e-04 vertex -9.309199e+01 9.312977e+01.
- Top_rounding() operation faster. Everything else is already.