Trait BuildPeriodicLdeTableFast 

pub trait BuildPeriodicLdeTableFast {
    type PeriodicDomain: PolynomialSpace;

    // Provided method
    fn maybe_build_periodic_lde_table_fast(
        &self,
        _periodic_cols: &[Vec<Val<Self::PeriodicDomain>>],
        _trace_domain: Self::PeriodicDomain,
        _quotient_domain: Self::PeriodicDomain,
    ) -> Option<PeriodicLdeTable<Val<Self::PeriodicDomain>>>
       where Val<Self::PeriodicDomain>: Clone { ... }
}

Optional fast path for building the periodic LDE table (e.g. via coset LDE). Implement for PCS backends that can avoid evaluating at every quotient point.

Required Associated Types

type PeriodicDomain: PolynomialSpace

Provided Methods

fn maybe_build_periodic_lde_table_fast( &self, _periodic_cols: &[Vec<Val<Self::PeriodicDomain>>], _trace_domain: Self::PeriodicDomain, _quotient_domain: Self::PeriodicDomain, ) -> Option<PeriodicLdeTable<Val<Self::PeriodicDomain>>>

where Val<Self::PeriodicDomain>: Clone,

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<Val, Dft> BuildPeriodicLdeTableFast for TrivialPcs<Val, Dft>

where Val: TwoAdicField, Dft: TwoAdicSubgroupDft<Val>,

type PeriodicDomain = TwoAdicMultiplicativeCoset<Val>