Struct AnnihilatorWitness 

pub struct AnnihilatorWitness {
    pub n_vars: usize,
    pub degree: usize,
    pub coeffs: Vec<bool>,
    pub annihilates_complement: bool,
}

A re-checkable annihilator witness: coeffs is the ANF (over [monomials](n_vars, degree)) of a nonzero g of degree degree that vanishes on C’s support (annihilates_complement = false) or on C’s zero-set (= true, i.e. g annihilates C ⊕ 1).

Fields

n_vars: usize

degree: usize

coeffs: Vec<bool>

annihilates_complement: bool

Trait Implementations

impl Clone for AnnihilatorWitness

fn clone(&self) -> AnnihilatorWitness

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AnnihilatorWitness

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

Formats the value using the given formatter.

impl PartialEq for AnnihilatorWitness

fn eq(&self, other: &AnnihilatorWitness) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for AnnihilatorWitness

impl StructuralPartialEq for AnnihilatorWitness