Labels Milestones
Back9.342428e-01 3.501715e-04 vertex -1.005052e+02 1.053817e+02 1.055000e+01 vertex -1.022955e+02 9.364629e+01 2.550000e+00 facet normal 6.030216e-001 7.977249e-001 -0.000000e+000 vertex 6.868123e+000 1.745502e+000 2.496000e+001 vertex 2.684762e+000 -5.028090e+000 2.496000e+001 vertex 1.951762e+000 6.764269e+000.
- Hw, holes } module external_direction_indicator() { if(pointy_external_indicator.
- -9.055606e+01 9.664079e+01 4.255000e+01 facet normal -0.338912 -0.181161.