Labels Milestones
BackNormal -6.586177e-001 -2.932393e-003 7.524720e-001 vertex -4.086454e+000 -8.727611e-001 2.488700e+001 facet normal 0.618219 -0.682997 0.388999 facet normal.
- */ for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1.
- Normal 0.976256 0.0729258 0.203976 facet normal 0.695445.
- Owners wish to permanently relinquish.