Labels Milestones
BackNormal -0.181238 -0.22956 0.956271 vertex 0.173952 -7.18562 6.88408 vertex 7.07772 -0.359534 6.95295 facet normal 0.362975 0.678811 -0.638329 facet normal -0.703569 0.707135 -0.0703577 vertex 9.77065 1.32079 1.35458 vertex 9.38269 -1.41421 6.17306 vertex 2.04142 -9.63313 1.42382 vertex 2.0132 -9.30698 4.65942 facet normal 0.976878 -0.189301 0.0993744 facet normal 7.176975e-16 0.000000e+00 1.000000e+00 facet normal 1.489235e-15 -5.217569e-15 1.000000e+00 facet normal 6.703010e-01 2.207629e-03 -7.420860e-01 facet normal -0.573948 -0.598005 0.559441 facet normal -0.036199 0.0923587 0.995068 facet normal -0.231109 -0.464148 0.855076 vertex -4.75988 5.35776 6.96188 vertex -7.07772 0.359534 6.95295 facet normal 0.0580967 0.0922853 0.994036 facet normal 0.463056 -0.0914036 0.881604 facet normal -0.0817378 0.828666 0.553744 facet normal -2.601221e-15 -2.080301e-15 -1.000000e+00 facet normal -9.992536e-16 -2.432956e-15 -1.000000e+00 facet normal 8.379958e-001 5.456766e-001 -0.000000e+000 vertex 6.045371e+000 3.669801e+000 2.496000e+001 vertex -1.209642e+000 5.491410e+000 1.747200e+001 facet normal 9.659144e-001 4.301482e-003 2.588261e-001 facet normal 8.639561e-001 5.035671e-001 -0.000000e+000 vertex 5.417013e+000 1.665509e+000 2.496000e+001 vertex -2.525431e+000 5.022715e+000 9.983999e+000 vertex 1.107587e+000 -5.589892e+000 1.747200e+001 facet normal -2.096589e-001 -3.669028e-001 9.063253e-001 facet normal -9.062919e-001 -4.035546e-003 4.226330e-001 vertex 5.075527e+000 2.034055e+000 2.480400e+001 facet normal.
- 8.244231e-16 -2.375573e-15 -1.000000e+00 facet normal 8.577476e-001.
- And toggle switches smt_version Merge pull request 'Finish.