pub fn ns_lower_bound_witness_polys(
num_vars: usize,
gens: &[Poly],
degree: usize,
) -> Option<Vec<Mono>>Expand description
ns_lower_bound_witness for an arbitrary polynomial generator system: a degree-d
pseudo-expectation L with L(1) = 1 and L(m·g) = 0 for every admitted generator, returned as the
monomials where L = 1. Some(L) certifies NS-degree > d for the system (re-checkable by
check_ns_lower_bound_polys, zero trust in the solver); None means a degree-d refutation
exists. Degree-bounded enumeration — num_vars ≤ 63.