external get_planes : t -> Plane.t array =
  "polytope_get_planes"