Function eq_ind_partial_eval

Source
pub fn eq_ind_partial_eval<'a, F, Hal, DeviceAllocatorType>(
    hal: &Hal,
    dev_alloc: &'a DeviceAllocatorType,
    point: &[F],
) -> Result<FSliceMut<'a, F, Hal>, Error>
where F: TowerField, Hal: ComputeLayer<F>, DeviceAllocatorType: ComputeAllocator<F, Hal::DevMem>,
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.