Struct AffineSignature 

pub struct AffineSignature {
    pub num_vars: usize,
    pub walsh_abs_distribution: Vec<(u64, usize)>,
    pub is_plateaued: bool,
    pub amplitude: Option<u64>,
    pub is_bent: bool,
}

The AGL(n,2)-invariant signature of a Boolean function: its Walsh amplitude distribution and the plateaued/bent classification that distribution induces.

Fields

num_vars: usize

walsh_abs_distribution: Vec<(u64, usize)>

The multiset |Ŵ(w)| → count, sorted by amplitude — invariant under any affine change of variables.

is_plateaued: bool

Exactly one nonzero amplitude ⇒ PLATEAUED (maximal nonlinearity for its linear-space dimension).

amplitude: Option<u64>

The plateau amplitude 2^{(n+k)/2} when plateaued, else None.

is_bent: bool

Plateaued with amplitude 2^{n/2} ⇒ BENT: perfectly nonlinear, trivial linear space (k = 0).

Implementations

impl AffineSignature

pub fn implied_linear_dim(&self) -> Option<usize>

The linear-space dimension k implied by the plateau amplitude 2^{(n+k)/2} (so k = 2·log₂amp − n), matching linear_structures.dim(). None when not plateaued.

Trait Implementations

impl Clone for AffineSignature

fn clone(&self) -> AffineSignature

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AffineSignature

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

Formats the value using the given formatter.

impl PartialEq for AffineSignature

fn eq(&self, other: &AffineSignature) -> 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 AffineSignature

impl StructuralPartialEq for AffineSignature