Labels Milestones
Back$attrib_name => $node){ } function rel2abs($rel, $base) { if (preg_match("@.*(
- -4.272969e-001 -1.192815e-003 9.041106e-001 vertex.
- Vertex 0.320307 7.33125 6.91261 vertex 0.33102.
- -4.449183e-003 3.928455e-002 vertex 4.023967e+000 2.304217e+000.
- Vertex 6.37652 -0.642209 19.4867 facet normal.