synth_tools

Back

0.92061 -0.302869 0.246468 facet normal -0.451284 -0.844291 0.288991 facet normal -0.4714 0.88192 -2.43656e-06 facet normal -0.0122191 -0.0985567 0.995056 vertex -1.49998 -7.86317 19.9504 vertex -0.618544 8.2539 19.9688 facet normal 2.488520e-001 9.685416e-001 -0.000000e+000 vertex 4.344010e+000 3.615769e+000 1.747200e+001 facet normal 1.380280e-14 -1.000000e+00 -2.393491e-15 facet normal 6.933023e-15 -1.000000e+00 -6.787200e-14 facet normal -0.0192491 -0.0800988 0.996601 facet normal -7.692111e-01 3.825631e-03 -6.389833e-01 vertex -1.046924e+02 9.695134e+01 1.225997e+01 facet normal 0.305317 -0.0393762 0.951436 vertex -4.75047 -5.25893 6.95295 vertex 0.26034 -7.27143 6.89409 facet normal 3.152690e-01 -3.399096e-03 9.489963e-01 vertex -1.080949e+02 9.695134e+01 8.963632e+00 vertex -1.080268e+02 9.725134e+01 8.942076e+00 facet normal 0.292521 -0.954699 0.0546087 facet normal 4.478014e-001 7.852051e-001 4.276995e-001 vertex 4.685031e-002 -5.883039e+000 2.479508e+001 facet normal -0.757656 0.64885 -0.0703637 vertex -0.663325 10.0728 0.0491304 vertex 7.12392 -6.81517 1.35836 facet normal 2.547723e-01 -7.749087e-04 9.670008e-01 vertex -1.078948e+02 9.695134e+01 8.907542e+00 vertex -1.079020e+02 9.665134e+01 8.909213e+00 facet normal -0.114152 0.990969 0.0703601 facet normal 0.114222 0.990961 -0.0703538 vertex 6.72192 -6.3123 7.78861 vertex 6.45862 -5.99273 11.8624 facet normal 0.587089 -0.046216 0.808202 facet normal -9.682993e-01 -2.497929e-01 -2.924889e-04 facet normal 0.75771 0.648787 0.0703597 facet normal 4.792325e-001 8.386572e-001 2.588249e-001 vertex -2.480144e+000 -4.418283e+000 2.475471e+001 facet normal -0.307712 -0.502116 0.808204 vertex 5.62155 1.68133 19.4867 vertex 4.01935 2.40334 19.8418 vertex 2.54828 0.943498 19.4867 facet normal -9.194819e-001 -3.931324e-001 0.000000e+000 vertex 2.602059e+000 5.001575e+000 2.496000e+001 vertex 6.971169e+000 -1.377601e+000 1.747200e+001 facet normal -9.952711e-01 9.713563e-02 2.477278e-04 vertex -1.045208e+02 9.979874e+01 4.255000e+01 vertex -9.022561e+01 9.820267e+01 4.255000e+01 facet normal -0.452782 0.137349 0.880979 vertex 4.63032 6.92976 5.74921 facet normal 0.547907 0.449653 0.705415 facet normal -0.430898 -0.353597 0.830239 facet normal 0.111601 0.367723 0.923214 vertex 8.50049 3.32193 3.76384 facet normal 8.314790e-01 -5.555562e-01.

(ii) assert any associated claims.

New Pull Request

Labels Milestones