Skip to main content

check_annihilator

logicaffeine_base::supertask

Function check_annihilator 

Source 
pub fn check_annihilator<V: ValueAlgebra>(
    a: &Matrix<V>,
    z: u64,
    p: u64,
    m: u64,
) -> Result<(), String>
Expand description

The certificate the closed form rests on, checked by multiplying it out: A^z·(A^p − I)^m = 0.