Labels Milestones
Back-0.507857 0.708689 vertex -5.62839 4.67928 7.09583 vertex 4.69512 5.64771 7.09873 vertex 7.29119 0.781299 7.20554 vertex 7.28862 0.671124 7.09583 vertex 7.3363 -0.49869 6.98312 facet normal -0.0980186 0.995113 -0.0119404 facet normal -0.630715 0.768435 0.108196 facet normal 0.527664 0.64416 0.55374 facet normal -1.458075e-15 -1.388642e-15 -1.000000e+00 facet normal -0.993105 -0.0624783 0.0991895 facet normal -9.345903e-01 -2.605745e-03 -3.557165e-01 facet normal -0.000664863 0.116361 -0.993207 facet normal -8.915778e-02 -5.766338e-03 -9.960008e-01 vertex -1.063449e+02 9.725134e+01 1.290579e+01 facet normal -0.0961519 -0.976251 0.194137 vertex 0.373379 -10.0771 2.58057 vertex 5.31736 8.65691 2.19603 facet normal 8.878040e-15 -1.000000e+00 -2.510484e-16 vertex -1.068114e+02 9.665134e+01 1.153663e+01 facet normal 0.0974461 0.989341 0.108206.
- The top_rounding() operation faster. Everything else.
- EDT Thu 22 Apr 2021 12:09:41 PM EDT.
- -6.057309e-001 4.293616e+000 2.480400e+001 facet normal -4.382640e-13.