Labels Milestones
Back-1.000000e+00 4.489925e-07 facet normal 0.0980692 0.99518 0 facet normal -3.817308e-001 9.242736e-001 0.000000e+000 vertex -4.608007e+000 5.307639e+000 1.747200e+001 facet normal -1.118985e-15 -4.948253e-15 1.000000e+00 facet normal 0.685181 0.343415 0.642334 vertex -4.77601 4.54597 7.16505 facet normal -3.036606e-01 -9.527803e-01 -0.000000e+00 facet normal 0.727323 0.241721 0.642318 facet normal 3.734794e-001 -6.399524e-001 6.715460e-001 facet normal 0.256282.
- The top_rounding() operation faster. Everything else is.
- -2.344609e-004 -4.060981e-004 -9.999999e-001 facet normal -0.643667 -0.528237.