Struct IsomorphicEvaluationDomainFactory

pub struct IsomorphicEvaluationDomainFactory<F: BinaryField> { /* private fields */ }

Trait Implementations

impl<F: Clone + BinaryField> Clone for IsomorphicEvaluationDomainFactory<F>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Default + BinaryField> Default for IsomorphicEvaluationDomainFactory<F>

fn default() -> IsomorphicEvaluationDomainFactory<F>

Returns the “default value” for a type.

impl<FSrc, FTgt> EvaluationDomainFactory<FTgt> for IsomorphicEvaluationDomainFactory<FSrc>

where FSrc: BinaryField, FTgt: Field + From<FSrc> + BinaryField,

fn create(&self, size: usize) -> Result<EvaluationDomain<FTgt>, Error>

Instantiates an EvaluationDomain of size points from $K \mathbin{/} \mathbb{F}_2 \cup \infty$ where $K$ is a finite extension of degree $d$. For size >= 3, the first size - 1 domain points are a “lexicographic prefix” of the binary subspace defined by the $\mathbb{F}_2$-basis $\beta_0,\ldots ,\beta_{d-1}$. The additional assumption $\beta_0 = 1$ means that first two points of the basis are always 0 and 1 of the field $K$. The last point of the domain is Karatsuba “infinity” (denoted $\infty$), which is the coefficient of the highest power in the interpolated polynomial (see the “Evaluation” section of the Wikipedia article on Toom-Cook multiplication for an introduction).