Labels Milestones
BackX="5.4" y="2.6"/> if(preg_match("@.*(
- -3.43962 9.09213 3.26879 vertex -6.50317 6.85323 3.54602.
- -8.74802 3.54602 facet normal -4.566418e-001 7.828570e-001 4.226265e-001 facet.
- For(i=[0:fn-1]) assign(lf0=lf*i, lf1=lf*(i+1/2), lf2=lf*(i+1)) { polyhedron.