Enum FixedShape 

pub enum FixedShape<F> {
    LastRow,
    FirstRow,
    Custom(Vec<bool>),
    Periodic {
        period: usize,
        values: Vec<F>,
    },
    Sparse(Vec<(usize, F)>),
    Dense(Vec<F>),
}

Row-index-determined shape a fixed column is pinned to. FirstRow/LastRow/Custom are single-row indicators; Periodic/Sparse/Dense are arbitrary row-indexed patterns.

Variants

LastRow

FirstRow

Custom(Vec<bool>)

Periodic

Fields

period: usize

values: Vec<F>

Sparse(Vec<(usize, F)>)

Dense(Vec<F>)

Implementations

impl<F: HardwareField> FixedShape<F>

pub fn evaluate(&self, r: &[Flat<F>]) -> Flat<F>

MLE of the shape at point r (LSB-first), in flat basis. r.len() must equal num_vars.

pub fn value_at_row(&self, row: usize, num_vars: usize) -> Flat<F>

Shape value at integer row row. O(1); prefer over evaluate at a vertex, which is O(N) for Dense.

Trait Implementations

impl<F: Clone> Clone for FixedShape<F>

fn clone(&self) -> FixedShape<F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug> Debug for FixedShape<F>

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

Formats the value using the given formatter.

impl<F: Eq> Eq for FixedShape<F>

impl<F: PartialEq> PartialEq for FixedShape<F>

fn eq(&self, other: &FixedShape<F>) -> 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<F: PartialEq> StructuralPartialEq for FixedShape<F>