synth_tools

Back

0.109671 0.552039 -0.826575 vertex -0.566007 -2.84551 18.8953 vertex -2.68637 -1.0891 18.9321 facet normal 8.426097e-01 -5.385247e-01 -3.216361e-04 vertex -1.034746e+02 1.027280e+02 1.055000e+01 vertex -9.798426e+01 9.173371e+01 2.550000e+00 facet normal 0.133703 0.0819226 0.98763 facet normal 0.00743521 -0.0992246 -0.995037 facet normal -0.0821747 -0.0822608 0.993217 vertex 5.16563 5.29418 6.86711 facet normal -0.277899 -0.916108 0.288996 vertex 8.79978 -1.75038 4.79464 facet normal 9.992536e-16 -2.432956e-15 -1.000000e+00 facet normal -0.695442 0.464582 -0.5482 vertex 2.63805 1.98496 18.4724 vertex -0.4 2.9093 18.8747 vertex -1.2151 2.93351 18.7502 facet normal -0.989339 -0.0974854 0.108192 facet normal -0.877362 0.466839 0.110891 facet normal -6.404312e-01 7.680156e-01 1.329459e-04 vertex -1.021425e+02 1.042953e+02 4.255000e+01 facet normal 8.724472e-001 3.885451e-003 4.886929e-001 vertex 4.085376e+000 1.627355e+000 2.484855e+001 facet normal -0.0816226 -0.828706 0.5537 facet normal -0.665695 -0.586529 0.46134 facet normal 0.000419123 0.115684 0.993286 vertex 0.892525 -6.7445 7.76535 vertex -5.60068 -4.19817 7.78686 facet normal 0.0980237 0.995112 -0.0119421 facet normal 9.013770e-01 -2.530432e-03 4.330278e-01 vertex -1.092681e+02 9.665134e+01 9.961018e+00 facet normal 0.012671 -0.705364 0.708732 facet normal -4.589668e-01 -8.884534e-01 3.478097e-04 facet normal -7.825419e-002 -9.969335e-001 0.000000e+000 vertex -5.631111e+000 3.382432e-001 9.983999e+000 vertex 1.808561e-001 5.623660e+000 1.747200e+001 facet normal 0.840162 0.533179 0.0992363 facet normal -0.77255 0.634852 0.0113593 vertex -3.28327 -4.80177 21.335 vertex 5.69312 1.19444 21.335 facet normal -9.513645e-01 -3.080676e-01 -1.010354e-05 facet normal 0.622313 -0.758301 0.19418 facet normal -9.996069e-01 2.803474e-02 0.000000e+00 vertex -1.012112e+02 1.049915e+02 2.655000e+01 facet normal -0.502124 0.30771 0.808199 vertex 2.80984 0.516674 19.1916 vertex 3.04733 -0.982774 19.1916 facet normal 4.926590e-001 -8.446043e-001 2.095964e-001 facet normal 0.255018 -0.430921 0.865606 facet normal -0.314934 0.485556 -0.815507 vertex 1.60745 -2.41466 18.8956 facet normal -0.991528 -0.109189 -0.0703557 facet normal -1.951069e-01 9.807820e-01 -4.830280e-05 facet normal 0.0737341 0.0668214 0.995037 facet normal 0.18114 -0.338909 0.923217 facet normal -0.271031 -0.654318 0.705982 vertex 2.23191 -1.10469 19.8418 vertex 2.04556 -0.765005 19.9 facet normal -9.816959e-02 5.216674e-03 9.951560e-01 facet normal 3.508229e-001 6.139405e-001 7.071071e-001 facet normal -0.367738 -0.111553 0.923214 facet normal 0.367809 0.00348095 0.929895 facet normal -0.831552 0.555446 0 vertex 6.04355 2.39281 19.9 facet normal -0.0546157 -0.55474 0.830229 facet normal -2.011668e-15 -8.236081e-17 -1.000000e+00 facet normal -9.683078e-01 2.497601e-01 0.000000e+00 vertex -9.044012e+01 1.007757e+02 7.486783e+00 facet normal -0.447818 -0.382464 0.808196 facet normal 8.660254e-01 5.000000e-01 0.000000e+00 vertex -9.090395e+01 1.020222e+02 2.655000e+01 facet normal -0.591985 -0.205725 0.77925 vertex 0.162663 -6.59163 7.16505 facet normal 0.124559 0.036638 0.991535 facet normal -0.643697 -0.528271 0.553701 facet normal -0.15247 0.036616 0.98763 facet normal 9.349039e-001 -3.549011e-001 0.000000e+000 vertex -8.646397e+000 -4.992000e+000 0.000000e+000 vertex -5.513827e+000 1.169443e+000 1.747200e+001 facet normal 0.956941 0.290283 0 facet normal 4.107943e-07 -1.000000e+00 5.748679e-07 facet normal -0.591985 -0.205725 0.77925 facet normal 0.247463 0.963795 0.0993044 facet normal 0.920073 0.0458435 0.389056 facet normal 7.266487e-01 6.870092e-01 0.000000e+00 vertex -9.090395e+01 1.020222e+02 1.055000e+01 facet normal 0.88053 -0.472795 0.0336363 vertex.

5.429241e-15 -1.000000e+00 d8eca8dc7e Go.
9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after re-centering.
0.55371 facet normal 0.291191.

New Pull Request

Labels Milestones