external transform : t -> Matrix.t -> unit =
  "polytope_transform"