Trait ExtensionField 

pub trait ExtensionField<Base>:
    Field
    + Algebra<Base>
    + BasedVectorSpace<Base>
where
    Base: Field,
{
    type ExtensionPacking: PackedFieldExtension<Base, Self> + 'static + Copy + Send + Sync;

    // Required methods
    fn is_in_basefield(&self) -> bool;
    fn as_base(&self) -> Option<Base>;
}

A field EF which is also an algebra over a field F.

This provides a couple of convenience methods on top of the standard methods provided by Field, Algebra<F> and BasedVectorSpace<F>.

It also provides a type which handles packed vectors of extension field elements.

Required Associated Types

type ExtensionPacking: PackedFieldExtension<Base, Self> + 'static + Copy + Send + Sync

Required Methods

fn is_in_basefield(&self) -> bool

Determine if the given element lies in the base field.

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

If the element lies in the base field project it down. Otherwise return None.

Dyn Compatibility

This trait is not dyn compatible.

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

Implementors

impl<F> ExtensionField<F> for QuinticTrinomialExtensionField<F>

where F: QuinticTrinomialExtendable, PackedQuinticTrinomialExtensionField<F, <F as Field>::Packing>: PackedFieldExtension<F, QuinticTrinomialExtensionField<F>>,

type ExtensionPacking = PackedQuinticTrinomialExtensionField<F, <F as Field>::Packing>

impl<F> ExtensionField<F> for F

where F: Field,

type ExtensionPacking = <F as Field>::Packing

impl<F, const D: usize> ExtensionField<F> for BinomialExtensionField<F, D>

where F: BinomiallyExtendable<D>,

type ExtensionPacking = PackedBinomialExtensionField<F, <F as Field>::Packing, D>