Labels Milestones
Back$re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n.
- 0.0554883 -0.0877193 0.994599 vertex -5.8373 5.47736 19.9508.
- 18.5638 facet normal -0.
- -0 -0.174737 -0.984615 facet normal.
- Normal 0.956936 0.288344 0.0336384 facet normal 0.165341 0.688669.