Function exp_matrix 

pub fn exp_matrix(
    m: &[Vec<Rational>],
    t: &Rational,
) -> Option<Vec<Vec<ExactReal>>>

e^{t·M}, every entry exact; None for a matrix that is not square.