Struct lambdaworks_math::field::test_fields::u32_test_field::U32Field

pub struct U32Field<const MODULUS: u32>;

Trait Implementations

impl<const MODULUS: u32> Clone for U32Field<MODULUS>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<const MODULUS: u32> Debug for U32Field<MODULUS>

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

Formats the value using the given formatter.

impl<const MODULUS: u32> IsField for U32Field<MODULUS>

type BaseType = u32

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

Returns the sum of a and b.

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

Returns the subtraction of a and b.

fn neg(a: &u32) -> u32

Returns the additive inverse of a.

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

Returns the multiplication of a and b.

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

Returns the division of a and b.

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

Returns the multiplicative inverse of a.

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

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

fn zero() -> u32

Returns the additive neutral element.

fn one() -> u32

Returns the multiplicative neutral element.

fn from_u64(x: u64) -> u32

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

fn from_base_type(x: u32) -> u32

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: u32> IsPrimeField for U32Field<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

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

Unimplemented for test fields

type RepresentativeType = u32

fn representative(a: &Self::BaseType) -> u32

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

fn to_hex(x: &u32) -> 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: u32> PartialEq for U32Field<MODULUS>

fn eq(&self, other: &U32Field<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: u32> Eq for U32Field<MODULUS>

impl<const MODULUS: u32> StructuralPartialEq for U32Field<MODULUS>