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.
e^{t·M}
None