Trait binius_field::extension::ExtensionField
source · pub trait ExtensionField<F: Field>: Field + From<F> + TryInto<F> + Add<F, Output = Self> + Sub<F, Output = Self> + Mul<F, Output = Self> + AddAssign<F> + SubAssign<F> + MulAssign<F> {
type Iterator: Iterator<Item = F>;
const DEGREE: usize;
// Required methods
fn basis(i: usize) -> Result<Self, Error>;
fn from_bases(base_elems: &[F]) -> Result<Self, Error>;
fn iter_bases(&self) -> Self::Iterator;
}
Required Associated Types§
Required Associated Constants§
Required Methods§
fn basis(i: usize) -> Result<Self, Error>
fn from_bases(base_elems: &[F]) -> Result<Self, Error>
fn iter_bases(&self) -> Self::Iterator
Object Safety§
This trait is not object safe.