Labels Milestones
Back-3.351948e+000 9.983999e+000 vertex 1.561409e+000 5.411416e+000 1.747200e+001 facet normal -0.338904 0.0729974 0.937985 facet normal -0.469146 -0.877714 0.0975761 vertex 3.49795 8.28616 4.51215 facet normal -1.192332e-14 -1.000000e+00 -7.097263e-15 facet normal 3.562750e-001 -6.107893e-001 7.071100e-001 vertex -1.659599e+000 4.876741e+000 2.484855e+001 facet normal 4.937034e-001 -8.439927e-001 2.096029e-001 vertex -3.428293e+000 2.612886e+000 2.470218e+001 facet normal -4.648459e-001 -8.134797e-001 3.495269e-001 facet normal 0.122657 -0.678289 0.724486 facet normal 0.331516 0.422844 0.843386 facet normal 0.0761278 -0.0624757 0.995139 vertex -2.87789 6.94785 6.0001 facet normal 0.0822158 0.828628 0.55373 facet normal 0.630109.
- Thickness=2; */ module label(string, size=4, halign="center", height=thickness+1.
- * height + rotate_vector_sin.