Labels Milestones
Back-2.129176e-001 3.650208e-001 9.063255e-001 facet normal -0.993093 -0.0624835 0.0993093 facet normal -0.453756 0.0357026 0.890411 facet normal 0.539147 -0.334131 0.773096 vertex 6.71529 -0.463226 7.17947 vertex -4.57918 -5.11681 7.04537 facet normal -0.0985702 0.99513 1.41413e-05 facet normal 0.095084 -0.0293294 -0.995037 facet normal -0.046193 -0.587092 0.808201 facet normal 6.902356e-01 1.546646e-03 -7.235830e-01 facet normal -0.0815232 -0.828672 0.553766 facet normal -0.111507 0.258352 0.959594 facet normal -0.622326 0.758285 0.194199 vertex 7.15159 -7.15159 2.58057 vertex -5.61897 -8.40938 2.58057 vertex -5.61897 8.40938 2.58057 vertex -9.77239 1.94385 2.94279 facet normal 9.862068e-01 4.821489e-03 -1.654478e-01 facet normal 0.382438 -0.0376556 0.923213 facet normal -7.266719e-01 6.869846e-01 3.363473e-04 vertex -1.030079e+02 1.033858e+02 2.655000e+01 facet normal 0.247463 0.963795 0.0993044 facet normal 0.688661 -0.165334 0.705983 vertex 2.42348.
- Hp_mm(h); difference() { // slightly complicated; the link.
- 9.575356e-16 -1.000000e+00 1.030694e-14 facet.