pub fn lagrange_evals_scalars<F: BinaryField, E: FieldOps + From<F>>(
subspace: &BinarySubspace<F>,
z: E,
) -> Vec<E>Expand description
Scalar variant of lagrange_evals that returns a Vec<E> instead of a FieldBuffer.
Computes Lagrange polynomial evaluations for a binary subspace domain, converting domain
points from F to E and performing all arithmetic in E.
§Parameters
subspace: The binary subspace defining the evaluation domain (overF)z: The evaluation point (inE)
§Returns
A vector of Lagrange polynomial evaluations, one for each domain element