Labels Milestones
Back|| $rel[0] == '?') { return $rel; } if ($rel[0]=='#' || $rel[0]=='?') { $path = preg_replace('#/[^/]*$#', '', $path); if ($rel[0] == '#' || $rel[0.
- 1.163247e-03 3.700590e-01 vertex -1.081833e+02 9.725134e+01 4.734130e+00 facet.
- 9.442197e-01 -0.000000e+00 3.293163e-01 vertex -1.080794e+02 9.715134e+01.
- 0.400414 -0.779905 0.481058 vertex -4.69689 -4.43444 7.32632.