Skip to main content

lagrange_evals_scalars

Function lagrange_evals_scalars 

Source
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 (over F)
  • z: The evaluation point (in E)

§Returns

A vector of Lagrange polynomial evaluations, one for each domain element