Struct lambdaworks_math::field::fields::mersenne31::extension::Mersenne31Complex

pub struct Mersenne31Complex;

Trait Implementations

impl Clone for Mersenne31Complex

fn clone(&self) -> Mersenne31Complex

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Mersenne31Complex

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

Formats the value using the given formatter.

impl HasCubicNonResidue<Mersenne31Complex> for Mersenne31Complex

fn residue() -> FieldElement<Mersenne31Complex>

This function must return an element that is not a cube in Fp, that is, a cubic non-residue.

impl HasQuadraticNonResidue<Mersenne31Complex> for Mersenne31Complex

fn residue() -> FieldElement<Mersenne31Complex>

impl IsField for Mersenne31Complex

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

Returns the component wise addition of a and b

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

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

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

Returns the component wise subtraction of a and b

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

Returns the component wise negation of a

fn inv(a: &Self::BaseType) -> Result<Self::BaseType, FieldError>

Returns the multiplicative inverse of a

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

Returns the division of a and b

fn eq(a: &Self::BaseType, b: &Self::BaseType) -> bool

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

fn zero() -> Self::BaseType

Returns the additive neutral element of the field extension.

fn one() -> Self::BaseType

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: Self::BaseType) -> Self::BaseType

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<Mersenne31Field>; 2]

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

Returns the multiplication of a and a.

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

Returns the double of a.

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

where T: IsUnsignedInteger,