external contains_bounding_box : t -> Bounding_box.t -> bool =
  "polytope_contains_bounding_box"