pub fn inverse(a: &[Vec<Rational>]) -> Option<Vec<Vec<Rational>>>
Exact matrix inverse via Gauss–Jordan on [A | I]. None iff singular.
[A | I]
None