synth_tools

Back

6.90571 facet normal -0.766708 -0.634272 0.0992813 vertex -7.28969 6.84547 0 facet normal -6.968262e-001 -7.172400e-001 0.000000e+000 vertex -5.631111e+000 3.382432e-001 9.983999e+000 vertex -8.646397e+000 4.992000e+000 9.983999e+000 vertex -3.666691e+000 -6.082386e+000 9.983999e+000 vertex -1.053366e+000 -7.037627e+000 1.747200e+001 facet normal 4.344169e-001 9.007119e-001 0.000000e+000 facet normal -0.545444 -0.815973 -0.191517 facet normal 0.000664863 0.116361 -0.993207 vertex 1.02637 5.38893 21.833 facet normal 4.808131e-01 0.000000e+00 8.768231e-01 vertex -1.094227e+02 9.725134e+01 6.160168e+00 vertex -1.092005e+02 9.665134e+01 6.037139e+00 facet normal 0.262695 0.257305 0.929939 vertex 5.50428 4.89431 6.95641 vertex 7.37107 0.303284 6.90571 facet normal -0.036638 -0.124559 0.991535 facet normal -9.527696e-01 -3.036928e-01 8.499575e-04 vertex -9.059527e+01 1.012771e+02 2.655000e+01 facet normal -0.528237 0.643675 0.553758 facet normal -0.989341 0.0974461 0.108206 facet normal -0.992165 0.101034 0.0734901 facet normal -0.489712 0.50788 0.708689 vertex -4.69512 -5.64771 7.09873 facet normal 0.237818 -0.388083 0.890412 facet normal -9.127763e-01 -4.084597e-01 3.193598e-04 facet normal -0.772977 0.634321 -0.011946 facet normal -4.496505e-001 -7.868879e-001 4.226369e-001 facet normal -0.652557 0.754466 0.0703566 facet normal 0.88186 -0.471361 -0.0119414 facet normal 2.554372e-001 4.462929e-001 8.576564e-001 vertex -5.829133e-003 5.947815e+000 2.492316e+001 facet normal 8.952715e-001 -4.455209e-001 0.000000e+000 vertex 6.573270e+000 -2.717840e+000 2.496000e+001 vertex 5.417013e+000 1.665509e+000 2.496000e+001 vertex -4.919635e+000 2.734702e+000 9.983999e+000 vertex 7.068955e+000 -6.845815e-001 1.747200e+001 facet normal 0.370053 0.60387 0.705975 facet normal 9.998640e-001 -1.649283e-002 0.000000e+000 vertex -4.245195e+000 -5.688466e+000 9.983999e+000 vertex -1.053366e+000 -7.037627e+000 9.983999e+000 vertex -6.461357e+000 2.791791e+000 2.496000e+001 vertex -4.245195e+000 -5.688466e+000 9.983999e+000 vertex 6.382745e+000 3.056598e+000.

Normal 7.851410e-01 -2.872225e-03 6.193104e-01 facet normal.
Maybe an updated one exists.
-0.875976 0.102197 facet normal.
-0.366302 -0.925178 0.0993389 facet normal -0.491333.
9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after tweaking.

New Pull Request

Labels Milestones