Labels Milestones
Back(end 187.35 111.25 (end 189.1 111 (end 187.35 111.25 (end 183.66 112.0925 (end 181.3 115.5 (end 183.66 112.0925 (end 181.3 115.5.
- 9.71631 3.26879 facet normal -1.011997e-14 5.429241e-15 -1.000000e+00.
- The top_rounding() operation faster.
- 8.032235e-01 vertex -1.048853e+02 9.695134e+01 9.319300e+00 facet normal -0.97742.
- 8.343550e-001 2.588294e-001 vertex 3.447419e+000 -3.878611e+000 2.475471e+001 facet normal.