external transform_providing_inverse : t -> Matrix.t -> unit = "polytope_transform_providing_inverse"