Enum LagrangePoint 

pub enum LagrangePoint {
    LastRow,
    FirstRow,
    Custom(Vec<bool>),
}

Hypercube point at which a Lagrange MLE is anchored.

Custom(bits) carries the bit-decomposition of an arbitrary row index, LSB first, length must equal the trace’s num_vars.

Variants

LastRow

FirstRow

Custom(Vec<bool>)

Implementations

impl LagrangePoint

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

where F: HardwareField,

MLE evaluation of the pinned column at point r (LSB-first bit order). r.len() must equal num_vars.

Trait Implementations

impl Clone for LagrangePoint

fn clone(&self) -> LagrangePoint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LagrangePoint

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

Formats the value using the given formatter.

impl PartialEq for LagrangePoint

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

impl StructuralPartialEq for LagrangePoint