Labels Milestones
Back9.039253e-001 3.253948e-003 4.276780e-001 facet normal -0.630641 -0.76849 0.108235 facet normal 9.734656e-001 2.288332e-001 -0.000000e+000 vertex 4.158177e+000 3.825264e+000 9.983999e+000 vertex -3.571954e-001 -7.109637e+000 2.496000e+001 vertex -5.348437e+000 4.564150e+000 1.747200e+001 facet normal -0.991505 0.0943136 0.0895749 facet normal 9.127763e-01 4.084597e-01 -0.000000e+00 vertex -1.038646e+02 9.578044e+01 2.655000e+01 facet normal 0.15155 -0.00987306 0.9884 vertex -4.9518 5.2649 6.88859 vertex 7.18562 0.173952 6.88408 vertex.
- Way you could satisfy both.
- Normal 0.630652 -0.768482 0.108225 facet normal -7.070963e-001 -3.148567e-003.
- Make the top_rounding() operation faster. Everything else is.