binius_math

Trait EvaluationDomainFactory

source
pub trait EvaluationDomainFactory<DomainField: Field>: Clone {
    // Required method
    fn create(
        &self,
        size: usize,
    ) -> Result<EvaluationDomain<DomainField>, Error>;
}
Expand description

Wraps type information to enable instantiating EvaluationDomains.

Required Methods§

source

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

Instantiates an EvaluationDomain from a set of points isomorphic to direct lexicographic successors of zero in Fan-Paar tower

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

source§

impl<'a, DomainField: Field, T: 'a + EvaluationDomainFactory<DomainField> + ?Sized> EvaluationDomainFactory<DomainField> for &'a T
where &'a T: Clone,

source§

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

Implementors§

source§

impl<DomainField> EvaluationDomainFactory<DomainField> for DefaultEvaluationDomainFactory<DomainField>
where DomainField: Field + Step,

source§

impl<DomainField, DomainFieldWithStep> EvaluationDomainFactory<DomainField> for IsomorphicEvaluationDomainFactory<DomainFieldWithStep>
where DomainField: Field + From<DomainFieldWithStep>, DomainFieldWithStep: Field + Step,