Struct LinearStructureReport 

pub struct LinearStructureReport {
    pub num_vars: usize,
    pub basis: Vec<usize>,
    pub derivative: Vec<bool>,
}

The linear space V(f) of a Boolean function: the directions along which the derivative is constant.

Fields

num_vars: usize

basis: Vec<usize>

A GF(2) echelon basis of V(f); each element is a nonzero variable bitmask.

derivative: Vec<bool>

For each basis vector a, the constant value of f(x⊕a) ⊕ f(x): false = an invariance (period), true = a complement (always flips the output).

Implementations

impl LinearStructureReport

pub fn dim(&self) -> usize

dim V(f) — the number of dimensions a linear change of basis can peel off.

pub fn is_reducible(&self) -> bool

Whether the function carries any linear structure the coordinate lenses miss.

pub fn verify(&self, truth: &[bool]) -> bool

Re-check the witness against the truth table: each basis vector is nonzero and independent, and its recorded derivative is genuinely constant across the whole cube.

Trait Implementations

impl Clone for LinearStructureReport

fn clone(&self) -> LinearStructureReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LinearStructureReport

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

Formats the value using the given formatter.