pub fn models_p(n: usize, p: u64, equations: &[ModpEquation]) -> Vec<Vec<u64>>
The GF(p)-valued solutions of a mod-p linear system (Σ coeffs·x ≡ rhs (mod p) for each equation), brute force over pⁿ — small n only.
GF(p)
p
Σ coeffs·x ≡ rhs (mod p)
pⁿ
n