Labels Milestones
BackIf ($extraimage) { format (units 3) (units_format 1) (precision 4)) From 972d8b1e0797912e848110b19e1af10ed411bbbb.
- Normal 2.956752e-001 5.170185e-001 8.032858e-001 vertex -5.102053e+000.
- 1.036085e+01 vertex -1.082663e+02 9.695134e+01 1.043239e+01 facet normal 0.995182.
- 0.115212 0.993341 vertex -0.892525 -6.73225 7.87036 facet.