Trait miden_core::ExtensionOf

pub trait ExtensionOf<E>: From<E> where
    E: FieldElement, {
    fn mul_base(self, other: E) -> Self;
}

Specifies that a field is an extension of another field.

Currently, this implies the following:

• An element in the base field can be converted into an element in the extension field.
• An element in the extension field can be multiplied by a base field element directly. This can be used for optimization purposes as such multiplication could be much more efficient than multiplication of two extension field elements.

Required Methods

fn mul_base(self, other: E) -> Self

Implementors

impl<B> ExtensionOf<B> for CubeExtension<B> where
    B: ExtensibleField<3>, 

impl<B> ExtensionOf<B> for QuadExtension<B> where
    B: ExtensibleField<2>, 

impl<E> ExtensionOf<E> for E where
    E: FieldElement, 

A field is always an extension of itself.