Struct lambdaworks_math::field::test_fields::u64_test_field::U64Field

pub struct U64Field<const MODULUS: u64>;

Trait Implementations

impl<const MODULUS: u64> Clone for U64Field<MODULUS>

fn clone(&self) -> U64Field<MODULUS>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<const MODULUS: u64> Debug for U64Field<MODULUS>

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

Formats the value using the given formatter.

impl HasQuadraticNonResidue<U64Field<18446744069414584321>> for TestNonResidue

fn residue() -> FieldElement<U64TestField>

impl<const MODULUS: u64> IsField for U64Field<MODULUS>

type BaseType = u64

fn add(a: &u64, b: &u64) -> u64

Returns the sum of a and b.

fn sub(a: &u64, b: &u64) -> u64

Returns the subtraction of a and b.

fn neg(a: &u64) -> u64

Returns the additive inverse of a.

fn mul(a: &u64, b: &u64) -> u64

Returns the multiplication of a and b.

fn div(a: &u64, b: &u64) -> u64

Returns the division of a and b.

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

Returns the multiplicative inverse of a.

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

Returns a boolean indicating whether a and b are equal or not.

fn zero() -> u64

Returns the additive neutral element.

fn one() -> u64

Returns the multiplicative neutral element.

fn from_u64(x: u64) -> u64

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

fn from_base_type(x: u64) -> u64

Takes as input an element of BaseType and returns the internal representation of that element in the field.

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<const MODULUS: u64> IsPrimeField for U64Field<MODULUS>

fn field_bit_size() -> usize

Returns how many bits do you need to represent the biggest field element It expects the MODULUS to be a Prime

type RepresentativeType = u64

fn representative(x: &u64) -> u64

Returns the integer representative in the range [0, p-1], where p the modulus

fn from_hex(hex_string: &str) -> Result<Self::BaseType, CreationError>

Creates a BaseType from a Hex String 0x is optional Returns an CreationError::InvalidHexStringif the value is not a hexstring

fn to_hex(x: &u64) -> String

Creates a hexstring from a FieldElement without 0x.

fn modulus_minus_one() -> Self::RepresentativeType

fn legendre_symbol(a: &Self::BaseType) -> LegendreSymbol

fn sqrt(a: &Self::BaseType) -> Option<(Self::BaseType, Self::BaseType)>

Returns the two square roots of self if they exist and None otherwise

impl<const MODULUS: u64> PartialEq for U64Field<MODULUS>

fn eq(&self, other: &U64Field<MODULUS>) -> 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<const MODULUS: u64> Eq for U64Field<MODULUS>

impl<const MODULUS: u64> StructuralPartialEq for U64Field<MODULUS>