Labels Milestones
Back-1.221225e-13 -1.000000e+00 -2.539719e-13 vertex -1.075046e+02 9.725134e+01 1.022701e+01 facet normal 3.036606e-01 9.527803e-01 0.000000e+00 vertex -1.015466e+02 1.047674e+02 1.855000e+01 vertex -9.657885e+01 9.175388e+01 3.455000e+01 vertex -9.073906e+01 9.614893e+01 1.055000e+01 facet normal -0.91528 -0.396626 -0.0703594 vertex 7.87145 3.78899 12.4715 facet normal 9.966023e-001 8.236405e-002 0.000000e+000 facet normal -0.156322.
- Top_rounding() operation faster. Everything else is already fast.
- -0.548115 vertex -1.28613 -3.10499 18.4724 facet.
- 22.0001 vertex 4.47193 2.98805 22.0001.
- && $article['debugging']) { foreach.