pub fn eq_ind_prefix_partial_eval_in<A: Allocator, P: PackedField>(
alloc: &A,
m: usize,
point: &[P::Scalar],
) -> FieldVec<P, A>Expand description
Computes the partial evaluation eq_{<m}(r, ·) into a buffer drawn from an allocator: the eq
tensor of r with every entry at index >= m zeroed.
§Preconditions
mmust be at most2^n, wherenis the length ofpoint