Trait BinomiallyExtendable

pub trait BinomiallyExtendable<const D: usize>: Field {
    const W: Self;
    const DTH_ROOT: Self;
    const EXT_GENERATOR: [Self; D];
}

Binomial extension field trait.

This exists if the polynomial ring F[X] has an irreducible polynomial X^d-W allowing us to define the binomial extension field F[X]/(X^d-W).

Required Associated Constants

const W: Self

const DTH_ROOT: Self

const EXT_GENERATOR: [Self; D]

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<F, const D: usize> BinomiallyExtendable<D> for Complex<F>

where F: HasComplexBinomialExtension<D>,

const W: Self = _

const DTH_ROOT: Self = _

const EXT_GENERATOR: [Self; D] = F::EXT_GENERATOR

impl<F: ComplexExtendable> BinomiallyExtendable<2> for F

const W: Self = F::NEG_ONE

const DTH_ROOT: Self = F::NEG_ONE

const EXT_GENERATOR: [Self; 2] = _