Labels Milestones
BackVertex -4.64695 -3.15155 21.6407 vertex 4.5363 -3.08479 21.833 vertex -5.28966 0.996058 21.8214 facet normal 7.589322e-001 -6.511697e-001 0.000000e+000 vertex -3.666691e+000 -6.082386e+000 2.496000e+001 vertex -3.615306e+000 -4.376429e+000 9.983999e+000 vertex -5.447498e+000 1.441514e+000 9.983999e+000 vertex 5.645941e+000 5.707424e-001 2.496000e+001 vertex -3.156789e+000 6.278394e+000 9.983999e+000 vertex 4.604934e-001 5.608658e+000 2.496000e+001 vertex 1.612724e+000 6.851379e+000 1.747200e+001 facet normal -0.736595 -0.223441 -0.638358 facet normal -9.723387e-01 -2.335753e-01 1.708086e-15 facet normal.
- Normal -4.711469e-001 8.098499e-001 3.495192e-001.
- Normal 4.926598e-001 -8.446039e-001 2.095964e-001 facet normal.
- Make the top_rounding() operation faster. Everything else is.
- 0.634395 -0.773009 0 vertex 7.48323 -5.00013 4.51216 facet.
- (end 5.83 -15.37 (end -3.29 -3.03 (end.