Enum FixedShape 

pub enum FixedShape<F> {
    LastRow,
    FirstRow,
    Custom(Vec<bool>),
    Periodic {
        period: usize,
        values: Vec<F>,
    },
    Sparse(Vec<(usize, F)>),
    Dense(Vec<F>),
    Cadence {
        stride: usize,
        count: usize,
        origin: usize,
        values: Vec<F>,
    },
    Segments(Vec<CadenceSegment<F>>),
}

Row-index-determined shape a fixed column is pinned to. LastRow is one on every row but the last.

Variants

LastRow

FirstRow

Custom(Vec<bool>)

Periodic

Fields

period: usize

values: Vec<F>

Sparse(Vec<(usize, F)>)

Dense(Vec<F>)

Cadence

values[(row - origin) % stride] on rows [origin, origin + stride·count), zero outside.

Fields

stride: usize

count: usize

origin: usize

values: Vec<F>

Segments(Vec<CadenceSegment<F>>)

Disjoint union of cadence blocks, sorted by origin; the MLE is the sum of the block MLEs.

Implementations

impl<F> FixedShape<F>

pub fn is_overlay(&self) -> bool

Whether the shape keeps the committed column readable. The rest are supplied as indicators, never read back.

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. Segments unvalidated by validate_fixed_columns diverge from evaluate.

Trait Implementations

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

fn clone(&self) -> Self

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: &Self) -> bool

Equality operator ==.

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

Inequality operator !=.

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