Skip to main content

count_invertible_gf2_bruteforce

logicaffeine_proof::gf2

Function count_invertible_gf2_bruteforce 

Source 
pub fn count_invertible_gf2_bruteforce(n: u32) -> u128
Expand description

Brute-force count of invertible n×n GF(2) matrices, over all 2^{n²} of them. Feasible for n ≤ 4.