synth_tools

Back

Vertex -1.094117e+02 9.665134e+01 1.068833e+01 vertex -1.094227e+02 9.725134e+01 7.312023e+00 facet normal 0.703995 -0.703995 0.0937203 facet normal 0.115803 -0.000209061 0.993272 facet normal -0.401182 -0.913292 0.07036 vertex -5.70114 9.87467 0.18985 facet normal -9.062902e-001 -5.070952e-003 4.226256e-001 vertex -5.029147e+000 1.989062e+000 2.475471e+001 facet normal 4.798183e-01 -8.773678e-01 3.384709e-04 vertex -9.410987e+01 9.249720e+01 4.255000e+01 facet normal -8.712699e-01 -4.908041e-01 -3.188436e-04 vertex -9.121820e+01 9.519808e+01 2.550000e+00 facet normal -0.462436 0.865129 0.19418 facet normal 0.491815 -0.403619 0.771499 vertex -4.7566 7.11876 5.56266 facet normal -0.484645 -0.0153859 0.874575 facet normal -0.796836 0.241804 0.553699 facet normal -9.013511e-01 1.491429e-03 4.330867e-01 vertex -1.084402e+02 9.665134e+01 1.109822e+01 vertex -1.084398e+02 9.665134e+01 1.062078e+01 vertex -1.084653e+02 9.725134e+01 1.069591e+01 vertex -1.084784e+02 9.695134e+01 1.075295e+01 facet normal -0.95687 0.29027 -0.0119775 facet normal 0.680175 0.733049 -0 facet normal 0.989339 0.0974854 0.108192 facet normal 0.77078 0.0759133 0.632562 vertex -1.70669 8.58011 5.33536 facet normal 0.956943 0.290276 0 facet normal 4.395873e-001 -7.536190e-001 4.886936e-001 facet normal -0.734383 0.392551 0.553702 facet normal -0.980801 0.195013 -6.28597e-07 vertex 3.42063 -0.0219903 6.59 facet normal -0.989338 0.097471 0.108209 facet normal 9.106669e-01 -1.195953e-03 4.131396e-01 vertex -1.082406e+02 9.725134e+01 4.877984e+00 vertex -1.081833e+02 9.665134e+01 4.734130e+00 facet normal 4.107943e-07 -1.000000e+00 5.748679e-07 facet normal -0.338917 0.181149 0.923212 facet normal -1.782618e-15 -1.159613e-15 -1.000000e+00 facet normal 6.788764e-001 7.342526e-001 -0.000000e+000 vertex 5.430013e+000 4.519711e+000 1.747200e+001 facet normal 0.362608 -0.422016 0.830914 vertex 5.64771 4.69512 7.09873 facet normal -4.141702e-01 -5.129028e-03 -9.101850e-01 vertex -1.051080e+02 9.725134e+01 1.257556e+01 vertex -1.053448e+02 9.665134e+01 1.268330e+01 facet normal 0.951058 -0.309012 0 vertex -7.20568 7.20568 0 facet normal 0.471397 -0.881921 0 vertex 7.48323 5.00013 0 vertex -2.69268 -2.0165 6.59 vertex 0.4 3.28125 18.4724 vertex -2.63805 -1.98496 18.4724 facet normal 1.494122e-01 -0.000000e+00 9.887750e-01 facet normal -3.544499e-15 -2.713367e-15 1.000000e+00 facet normal -0.307712 0.502116 0.808204 facet normal -1.379493e-13 -1.000000e+00 -3.723660e-13 facet normal -0.831387 -0.555694 1.06687e-17 vertex 2.4343 2.40319 6.59 facet normal -0.00906568 0.644985 0.764141 vertex -5.07598 4.42088 7.17947 vertex 0.38016 -6.8561 7.04537 facet normal 7.266486e-01 6.870092e-01 3.365359e-04 vertex -9.229838e+01 1.039874e+02 2.655000e+01 facet normal -9.659187e-001 -4.300158e-003 2.588098e-001 facet normal 0.472793 0.880533 0.0335807 facet normal -6.62301e-05 -0.115847 -0.993267 facet normal -0.184688 0.60884 0.771495 facet normal -0.687862 -0.439079 0.577975 facet normal 4.272878e-001 2.612714e-003 9.041119e-001 facet normal -0.976256 -0.0729258 0.203976 facet normal.

9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Vertex -1.076282e+02 9.695134e+01 1.149682e+01.

New Pull Request

Labels Milestones