Function certify_system 

pub fn certify_system(
    ctx: &Context,
    a: &[Vec<Rational>],
    b: &[Rational],
) -> Option<SystemCert>

Solve and produce the complete unique-solution certificate.