pub fn ns_lower_bound_witness_polys_gfp(
f: NsField,
num_vars: usize,
gens: &[GfpPoly],
degree: usize,
) -> Option<Vec<(Mono, u64)>>Expand description
A degree-d pseudo-expectation over f for an arbitrary generator system: a functional L on
the degree-≤ d monomials with L(1) = 1 and L(m·g) = 0 for every admitted generator product,
returned as its nonzero values (monomial, value). Some(L) certifies NS-degree > d over f
(re-checkable by check_ns_lower_bound_polys_gfp, zero trust in the solver); None means a
degree-d refutation exists — the exact witness↔refutation duality of the GF(2) engine, at every
characteristic. Degree-bounded enumeration — num_vars ≤ 63.