Struct NsCertificateZm 

pub struct NsCertificateZm { /* private fields */ }

A constructive Nullstellensatz certificate over ℤ/m: Σ_C p_C · g_C = 1 in the multilinear ring.

Implementations

impl NsCertificateZm

pub fn modulus(&self) -> u64

pub fn num_vars(&self) -> usize

pub fn degree(&self) -> usize

The maximum monomial degree among the coefficient polynomials.

pub fn coeff_monomial_count(&self) -> usize

The certificate’s SIZE: the total nonzero-monomial count across the coefficient polynomials — the honest measure of the 2ⁿ-basis cost the existence pole pays.

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

Re-check against the original clauses (zero trust), twice: Σ_C p_C · g_C = 1 recomputed in the multilinear ring over ℤ/m, then the engine-independent corner evaluation (≤ 20 vars). Fails closed on a clause-count mismatch.

Trait Implementations

impl Clone for NsCertificateZm

fn clone(&self) -> NsCertificateZm

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NsCertificateZm

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

Formats the value using the given formatter.