Labels Milestones
Back{ cube([25, 19.25, thickness]); cube([25, 19.25, thickness]); cube([25, 19.25, thickness]); } module make_surface(filename, h) { for (a = [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16] if (h < four_hole_threshold) { if (preg_match("@.*?(
- Vertex -2.91914 -7.43786 19.9405 facet normal.
- -6.066731e-07 -1.000000e+00 -5.540166e-07 vertex.
- 0.714665 0.586527 0.381104 facet normal 0.507679.