p3_field

Trait ExtensionField

Source 
pub trait ExtensionField<Base: Field>: Field + AbstractExtensionField<Base> {
    type ExtensionPacking: AbstractExtensionField<Base::Packing, F = Self> + 'static + Copy + Send + Sync;

    // Provided methods
    fn is_in_basefield(&self) -> bool { ... }
    fn as_base(&self) -> Option<Base> { ... }
    fn ext_powers_packed(&self) -> impl Iterator<Item = Self::ExtensionPacking> { ... }
}

Required Associated Types§

Source

type ExtensionPacking: AbstractExtensionField<Base::Packing, F = Self> + 'static + Copy + Send + Sync

Provided Methods§

Source

fn is_in_basefield(&self) -> bool

Source

fn as_base(&self) -> Option<Base>

Source

fn ext_powers_packed(&self) -> impl Iterator<Item = Self::ExtensionPacking>

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§