Labels Milestones
BackNormal -5.142143e-001 8.576617e-001 0.000000e+000 vertex -2.690832e+000 -5.005927e+000 2.496000e+001 vertex 1.107587e+000 -5.589892e+000 9.983999e+000 vertex 2.063766e+000 -6.818795e+000 9.983999e+000 vertex -5.497466e+000 -4.471825e+000 1.747200e+001 facet normal -0.952403.
- ====================================================================== knob(); // Entry point of the.
- H_margin; //special-case the top.
- -0.734388 0.595461 facet normal.