pub fn is_inverse(a: &[Vec<Rational>], b: &[Vec<Rational>]) -> bool
Is A·B == I exactly? (independent re-check behind a certified inverse)
A·B == I