Labels Milestones
BackFacets of rounding cylinder // this gets added to the middle // the diameter.
- -9.027550e+01 9.780591e+01 4.255000e+01 vertex -9.435317e+01 9.365127e+01 2.550000e+00.
- Normal 0.88194 0.471362 3.9939e-07.
- Eb8580ef62 Undo converting GND to GND_JMP.
- Diamater fits well on the.
- { for(i=[0:fn-1]) assign(lf0=lf*i, lf1=lf*(i+1/2), lf2=lf*(i+1.