Struct EqIndPartialEval

pub struct EqIndPartialEval<F: Field> { /* private fields */ }

Represents the MLE of the eq(X, Y) polynomial on 2*n_vars variables partially evaluated at Y = r

Recall that the multilinear polynomial eq(X, Y) is defined s.t. $\forall x, y \in {0, 1}^{\mu}$, eq(x, y) = 1 iff x = y and eq(x, y) = 0 otherwise. Specifically, the function is defined like so $\prod_{i=0}^{\mu - 1} (X_i * Y_i + (1 - X_i)(1-Y_i))$

Implementations

impl<F: Field> EqIndPartialEval<F>

pub fn new(n_vars: usize, r: Vec<F>) -> Result<Self, Error>

pub fn multilinear_extension<P: PackedField<Scalar = F>, Backend: ComputationBackend>( &self, backend: &Backend, ) -> Result<MultilinearExtension<P, Backend::Vec<P>>, Error>

Trait Implementations

impl<F: Debug + Field> Debug for EqIndPartialEval<F>

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

Formats the value using the given formatter.

impl<F: TowerField, P: PackedField<Scalar = F>> MultivariatePoly<P> for EqIndPartialEval<F>

fn n_vars(&self) -> usize

The number of variables.

fn degree(&self) -> usize

Total degree of the polynomial.

fn evaluate(&self, query: &[P]) -> Result<P, Error>

Evaluate the polynomial at a point in the extension field.

fn binary_tower_level(&self) -> usize

Returns the maximum binary tower level of all constants in the arithmetic expression.