Function eq_ind_partial_eval

pub fn eq_ind_partial_eval<P: PackedField>(point: &[P::Scalar]) -> Vec<P>

Computes the partial evaluation of the equality indicator polynomial.

Given an $n$-coordinate point $r_0, …, r_n$, this computes the partial evaluation of the equality indicator polynomial $\widetilde{eq}(X_0, …, X_{n-1}, r_0, …, r_{n-1})$ and returns its values over the $n$-dimensional hypercube.

The returned values are equal to the tensor product

$(1 - r_0, r_0) \otimes … \otimes (1 - r_{n-1}, r_{n-1}).$

See DP23, Section 2.1 for more information about the equality indicator polynomial.