Struct NsCertificateGfp 

pub struct NsCertificateGfp { /* private fields */ }

A constructive Nullstellensatz certificate over f: one coefficient polynomial g_C per input clause with Σ_C p_C · g_C = 1 in the multilinear ring over f — the coefficient-explicit generalization of crate::polycalc::NsCertificate.

Implementations

impl NsCertificateGfp

pub fn field(&self) -> NsField

pub fn num_vars(&self) -> usize

pub fn degree(&self) -> usize

The maximum monomial degree among the coefficient polynomials.

pub fn verify(&self, clauses: &[Vec<Lit>]) -> bool

Re-check against the original clauses (zero trust in the producer), twice over: recompute Σ_C p_C · g_C in the multilinear ring over field and confirm it is the constant 1; then the engine-independent corner check — at every assignment a of the cube (up to 20 variables), Σ_C p_C(a) · g_C(a) = 1 as field elements. Fails closed on a clause-count mismatch.

Trait Implementations

impl Clone for NsCertificateGfp

fn clone(&self) -> NsCertificateGfp

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for NsCertificateGfp

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.