external contains_vec3 : t -> Vec3.t -> bool =
  "polytope_contains_vec3"