Skip to main content

lu_is_exact

logicaffeine_proof::linalg

Function lu_is_exact 

Source 
pub fn lu_is_exact(a: &[Vec<Rational>], f: &Lu) -> bool
Expand description

Certify a factorization: is P·A == L·U exactly? (P·A is A with its rows permuted by perm.)