Labels Milestones
BackNormal -0.0820554 -0.0808315 0.993344 vertex -4.10946 -5.18289 7.85151 facet normal 7.287489e-01 4.933528e-03 6.847633e-01 vertex -1.088040e+02 9.665134e+01 5.729638e+00 facet normal 3.267693e-001 5.718467e-001 7.524714e-001 facet normal -0.86972 0.0905846 0.485161 facet normal -0.0458094 -0.920075 0.389053 vertex -7.16087 -1.01235 7.60514 vertex -4.43088 5.75031 7.41293 vertex 7.02194 0.878851 7.39225 facet normal -6.586109e-001 -4.311545e-003 7.524713e-001 vertex -4.097424e+000 1.590920e+000 2.488700e+001 facet normal 9.961852e-001 4.435825e-003 8.715164e-002 vertex -5.005929e+000 -6.394265e-002 2.470218e+001.
- 0.449652 -0.547909 0.705414 facet normal.
- Switches smt_version Merge pull.
- Normal 2.935467e-16 -1.741197e-15 -1.000000e+00.