Struct EvaluationDomain

pub struct EvaluationDomain<F: Field> { /* private fields */ }

A domain that univariate polynomials may be evaluated on.

An evaluation domain of size d + 1 along with polynomial values on that domain are sufficient to reconstruct a degree <= d. This struct supports Barycentric extrapolation.

Implementations

impl<F: Field> EvaluationDomain<F>

pub fn from_points(points: Vec<F>) -> Result<Self, Error>

pub fn size(&self) -> usize

pub fn points(&self) -> &[F]

pub fn lagrange_evals<FE: ExtensionField<F>>(&self, x: FE) -> Vec<FE>

Compute a vector of Lagrange polynomial evaluations in $O(N)$ at a given point x.

For an evaluation domain consisting of points $\pi_i$ Lagrange polynomials $L_i(x)$ are defined by $$L_i(x) = \sum_{j \neq i}\frac{x - \pi_j}{\pi_i - \pi_j}$$

pub fn extrapolate<PE>(&self, values: &[PE], x: PE::Scalar) -> Result<PE, Error>

where PE: PackedField<Scalar: ExtensionField<F>>,

Evaluate the unique interpolated polynomial at any point, for a given set of values, in $O(N)$.

Trait Implementations

impl<F: Clone + Field> Clone for EvaluationDomain<F>

fn clone(&self) -> EvaluationDomain<F>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<F: Debug + Field> Debug for EvaluationDomain<F>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<F: Field> From<EvaluationDomain<F>> for InterpolationDomain<F>

fn from(evaluation_domain: EvaluationDomain<F>) -> InterpolationDomain<F>

Converts to this type from the input type.