Trait lambdaworks_math::field::traits::IsSubFieldOf

pub trait IsSubFieldOf<F: IsField>: IsField {
    // Required methods
    fn mul(a: &Self::BaseType, b: &F::BaseType) -> F::BaseType;
    fn add(a: &Self::BaseType, b: &F::BaseType) -> F::BaseType;
    fn div(a: &Self::BaseType, b: &F::BaseType) -> F::BaseType;
    fn sub(a: &Self::BaseType, b: &F::BaseType) -> F::BaseType;
    fn embed(a: Self::BaseType) -> F::BaseType;
    fn to_subfield_vec(b: F::BaseType) -> Vec<Self::BaseType>;
}

Represents the subfield relation between two fields.

Required Methods

fn mul(a: &Self::BaseType, b: &F::BaseType) -> F::BaseType

fn add(a: &Self::BaseType, b: &F::BaseType) -> F::BaseType

fn div(a: &Self::BaseType, b: &F::BaseType) -> F::BaseType

fn sub(a: &Self::BaseType, b: &F::BaseType) -> F::BaseType

fn embed(a: Self::BaseType) -> F::BaseType

fn to_subfield_vec(b: F::BaseType) -> Vec<Self::BaseType>

Object Safety

This trait is not object safe.

Implementors

impl IsSubFieldOf<Degree2ExtensionField> for BLS12381PrimeField

impl<F> IsSubFieldOf<F> for F

where F: IsField,

impl<F, Q> IsSubFieldOf<CubicExtensionField<F, Q>> for F

where F: IsField, Q: Clone + Debug + HasCubicNonResidue<F>,

impl<F, Q> IsSubFieldOf<QuadraticExtensionField<F, Q>> for F

where F: IsField, Q: Clone + Debug + HasQuadraticNonResidue<F>,