external inverse    : t -> t = "matrix_inverse"