pub fn prove_lu(
ctx: &Context,
a: &[Vec<Rational>],
) -> Option<(Lu, Vec<Vec<Term>>)>Expand description
Factor A and PROVE the factorization in the kernel: every entry of P·A = L·U is a dot-product
proof Lᵢ·Uⱼ = (PA)ᵢⱼ. Returns the exact factorization and an n×n grid of kernel-checked terms.