synth_tools

Back

9.984431e-01 1.066899e-02 5.474948e-02 vertex -1.094227e+02 9.715134e+01 1.090773e+01 facet normal -0.453756 -0.0357026 0.890411 facet normal -0.346103 0.295604 0.890411 facet normal -3.986657e-001 -6.972437e-001 5.957491e-001 facet normal -0.634483 -0.772937 0 facet normal 4.589969e-01 -8.884378e-01 3.476991e-04 facet normal 0.18115 -0.338903 0.923217 vertex -1.78758 -8.81743 3.82299 vertex 8.35972 -3.66179 3.76384 facet normal -0.989353 0.0972815 0.108241 facet normal 0.144952 0.617515 0.773087 vertex -5.07598 -4.42088 7.17947 facet normal 7.775532e-01 6.288171e-01 -3.274316e-04 vertex -9.191964e+01 9.422454e+01 2.550000e+00 facet normal -1.613712e-14 -3.046341e-14 1.000000e+00 facet normal -1.914251e-01 2.131062e-03 9.815049e-01 vertex -1.076282e+02 9.695134e+01 1.149682e+01 facet normal 0.886057 -0.124598 0.446518 facet normal 0.100994 -0.992167 0.0735183 vertex 4.24331 2.97557 21.7998 vertex 0.762348 -4.94225 21.7809 facet normal -0.0974657 -0.989339 0.108209 facet normal 0.0995027 0 -0.995037 vertex 9.68164 2.48334 0.0479704 vertex 9.83901 -1.66324 0.0388355 vertex 9.69846 1.62046 1.50249 facet normal -5.955815e-001 -2.856946e-003 8.032898e-001 vertex 5.168263e+000 2.960945e+000 2.490742e+001 facet normal -4.711469e-001 8.098499e-001 3.495192e-001 vertex 6.298102e-001 -4.344231e+000 2.475471e+001 facet normal 0.572633 -0.137478 0.808203 facet normal -0.63066 0.768477 0.108216 vertex 4.87024 3.18104 21.335 facet normal -0.584872 0.80502 0.0993387 vertex -5.09939 6.16411 20 facet normal -0.0980159 -0.995185 0 vertex -4.7383 4.44956 20 vertex 6.54872 1.35564 20 vertex -2.00861 -6.18187 19.9 facet normal 3.426986e-001 -5.870507e-001 7.334365e-001 vertex -4.122493e+000 2.331989e+000 2.490742e+001 facet normal 0.423019 -0.690473 0.586772 facet normal -0.590357 -0.804069 0.0703596 facet normal 0.63062 -0.768512 0.108202 facet normal 0.243884 0.297017 0.923202 vertex -5.02581 -7.46215 3.82299 facet normal 0.224827 0.741154 0.632569 vertex 8.08229 -3.34779 5.33536 facet normal -9.720730e-01 2.346768e-01 -9.036883e-04 vertex -9.035159e+01 9.739274e+01 1.656905e+01 facet normal -0.773981 -0.633208 0 facet normal 0.881921 0.471397 0 facet normal -4.891628e-001 8.376552e-001 2.430093e-001 facet normal 0.115783 -4.54538e-07 -0.993275 vertex -0.82619 -5.40722 21.8351 facet normal -0.768426 0.630721 0.108223 facet normal 0.773014 -0.634388 0 vertex 1.31069 3.16429 11.8737 facet normal -0.115912 0.000107246 0.993259 vertex 7.34599 -0.0206242 6.86125 facet normal -0.0620211 0.0778225 0.995036 vertex 4.28949 6.75916 19.9463 facet normal -2.129164e-001 3.650182e-001 9.063268e-001 facet normal 3.58571e-05 -0.116097 0.993238 vertex 5.39246 -4.12472 7.87006 facet normal -0.544076 -0.225367 0.808202 facet normal -0.468218 0.881923 0.0546202 vertex 0.991719 -6.92883 7.78686 facet normal -0.772567 0.634832 0.0113625 facet normal 0.0868518 -0.0464265 0.995139 facet normal -8.915778e-02 5.766338e-03 -9.960008e-01 vertex -1.063449e+02 9.725134e+01 1.290579e+01 facet normal 8.244231e-16 -2.375573e-15 -1.000000e+00 facet normal 7.808647e-001 3.476227e-003 6.246905e-001.

J3, J4, J5 .
Normal -9.890889e-01 2.385755e-03 1.473008e-01 vertex -1.042690e+02.
9f9f6acf76f746b4755da71c07bb656091774052 SMT updates SMT updates

New Pull Request

Labels Milestones