Labels Milestones
Back-1.649078e-002 0.000000e+000 vertex -5.008282e+000 -2.640207e+000 2.496000e+001 vertex 3.826173e+000 -4.223009e+000 2.496000e+001 vertex -1.209642e+000 5.491410e+000 2.496000e+001 vertex -7.007181e+000 7.714146e-001 1.747200e+001 facet normal -0.679084 0.550873 0.485163 facet normal 0.0497453 0.0861612 0.995039.
- RailRectSet(height, scale=1) { holeWidth .
- Normal 5.628329e-001 8.265707e-001 -0.000000e+000 vertex.
- -1.165816e-14 -1.000000e+00 6.113595e-15 facet.
- Default parameters, "); echo.
- -5.09136 -5.00497 6.87866 facet normal 0.382434 -0.0376634.