Struct lambdaworks_math::field::extensions::cubic::CubicExtensionField

pub struct CubicExtensionField<F, T> { /* private fields */ }

A general cubic extension field over F with cubic non residue Q::residue()

Trait Implementations

impl<F: Clone, T: Clone> Clone for CubicExtensionField<F, T>

fn clone(&self) -> CubicExtensionField<F, T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<F: Debug, T: Debug> Debug for CubicExtensionField<F, T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl HasQuadraticNonResidue<CubicExtensionField<Degree2ExtensionField, LevelTwoResidue>> for LevelThreeResidue

fn residue() -> FieldElement<Degree6ExtensionField>

impl HasQuadraticNonResidue<CubicExtensionField<QuadraticExtensionField<MontgomeryBackendPrimeField<BN254FieldModulus, 4>, BN254Residue>, LevelTwoResidue>> for LevelThreeResidue

fn residue() -> FieldElement<Degree6ExtensionField>

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

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

fn add( a: &[FieldElement<F>; 3], b: &[FieldElement<F>; 3], ) -> [FieldElement<F>; 3]

Returns the component wise addition of a and b

fn mul( a: &[FieldElement<F>; 3], b: &[FieldElement<F>; 3], ) -> [FieldElement<F>; 3]

Returns the multiplication of a and b using the following equation: (a0 + a1 * t) * (b0 + b1 * t) = a0 * b0 + a1 * b1 * Q::residue() + (a0 * b1 + a1 * b0) * t where t.pow(2) equals Q::residue().

fn sub( a: &[FieldElement<F>; 3], b: &[FieldElement<F>; 3], ) -> [FieldElement<F>; 3]

Returns the component wise subtraction of a and b

fn neg(a: &[FieldElement<F>; 3]) -> [FieldElement<F>; 3]

Returns the component wise negation of a

fn inv(a: &[FieldElement<F>; 3]) -> Result<[FieldElement<F>; 3], FieldError>

Returns the multiplicative inverse of a

fn div( a: &[FieldElement<F>; 3], b: &[FieldElement<F>; 3], ) -> [FieldElement<F>; 3]

Returns the division of a and b

fn eq(a: &[FieldElement<F>; 3], b: &[FieldElement<F>; 3]) -> bool

Returns a boolean indicating whether a and b are equal component wise.

fn zero() -> [FieldElement<F>; 3]

Returns the additive neutral element of the field extension.

fn one() -> [FieldElement<F>; 3]

Returns the multiplicative neutral element of the field extension.

fn from_u64(x: u64) -> Self::BaseType

Returns the element x * 1 where 1 is the multiplicative neutral element.

fn from_base_type(x: [FieldElement<F>; 3]) -> [FieldElement<F>; 3]

Takes as input an element of BaseType and returns the internal representation of that element in the field. Note: for this case this is simply the identity, because the components already have correct representations.

type BaseType = [FieldElement<F>; 3]

fn double(a: &Self::BaseType) -> Self::BaseType

Returns the double of a.

fn square(a: &Self::BaseType) -> Self::BaseType

Returns the multiplication of a and a.

fn pow<T>(a: &Self::BaseType, exponent: T) -> Self::BaseType

where T: IsUnsignedInteger,

impl<F: PartialEq, T: PartialEq> PartialEq for CubicExtensionField<F, T>

fn eq(&self, other: &CubicExtensionField<F, T>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<F: Eq, T: Eq> Eq for CubicExtensionField<F, T>

impl<F, T> StructuralPartialEq for CubicExtensionField<F, T>