Trait IsSubFieldOf

Source
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,
    ) -> Result<F::BaseType, FieldError>;
    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>;
}
Expand description

Represents the subfield relation between two fields.

Required Methods§

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

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§