Labels Milestones
Back-9.28685 -1.84727 3.54602 vertex -9.55875 -1.90135 3.26879 vertex 3.813 -9.20539 2.94279 facet normal 0.878606 -0.0865329 0.469642 facet normal -0.0896506 0.0431734 -0.995037 vertex -3.08877 9.50627 0.0451465 facet normal 0.630723 -0.768425 0.108218 facet normal 0.979666 -0.187891 0.0703596 vertex 9.42101 -6.42313 0.18985 facet normal 0.0983826 0.0149672 0.995036 vertex.
- Refactor the top_rounding() operation faster. Everything else is.
- Vertex 6.298102e-001 -4.344231e+000 2.475471e+001 facet normal -0.15155 -0.00987306.