pub fn eq_ind_partial_eval<P: PackedField>(point: &[P::Scalar]) -> Vec<P>Expand description
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.