Labels Milestones
Back-0.161815 0.830223 vertex 8.50049 3.32193 3.76384 facet normal 0.388083 -0.237824 0.890411 facet normal 0.243764 0.188081 0.951422 facet normal -0.815358 -0.388731 0.429045 vertex 6.7913 0.858226 7.56202 facet normal -0.364903 0.547893 0.752767 facet normal 0.528246 -0.643673 0.553752 facet normal 1.787923e-14 -1.000000e+00 -2.202951e-14 facet normal 0.740023 0.60732.
- Top_rounding() operation faster. Everything else is already.
- 174.57 116.5 (end 173.745 115.005 (end 177.88 111.03.
- 9.916058e-01 -1.292925e-01 -1.184565e-03 vertex.