Struct lambdaworks_math::field::element::FieldElement

pub fn to_subfield_vec<S>(self) -> Vec<FieldElement<S>>
where S: IsSubFieldOf<F>,

impl<F> FieldElement<F>
where F::BaseType: Clone, F: IsField,

pub fn from_raw(value: F::BaseType) -> Self

pub const fn const_from_raw(value: F::BaseType) -> Self

impl<F> FieldElement<F>
where F: IsField,

FieldElement general implementation Most of this is delegated to the trait F that implements the field operations.

pub fn new(value: F::BaseType) -> Self

Creates a field element from value

pub fn value(&self) -> &F::BaseType

Returns the underlying value

pub fn inv(&self) -> Result<Self, FieldError>

Returns the multiplicative inverse of self

pub fn square(&self) -> Self

Returns the square of self

pub fn pow<T>(&self, exponent: T) -> Self
where T: IsUnsignedInteger,

Returns self raised to the power of exponent

pub fn one() -> Self

Returns the multiplicative neutral element of the field.

pub fn zero() -> Self

Returns the additive neutral element of the field.

pub fn to_raw(self) -> F::BaseType

Returns the raw base type

pub fn to_extension<L: IsField>(self) -> FieldElement<L>
where F: IsSubFieldOf<L>,

impl<F: IsPrimeField> FieldElement<F>

pub fn representative(&self) -> F::RepresentativeType

pub fn sqrt(&self) -> Option<(Self, Self)>

pub fn legendre_symbol(&self) -> LegendreSymbol

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

Creates a FieldElement from a hexstring. It can contain 0x or not. Returns an CreationError::InvalidHexStringif the value is not a hexstring. Returns a CreationError::EmptyString if the input string is empty.

pub fn to_hex(&self) -> String

Creates a hexstring from a FieldElement without 0x.

impl<M, const NUM_LIMBS: usize> FieldElement<MontgomeryBackendPrimeField<M, NUM_LIMBS>>
where M: IsModulus<UnsignedInteger<NUM_LIMBS>> + Clone + Debug,

pub const fn from_hex_unchecked(hex: &str) -> Self

Creates a FieldElement from a hexstring. It can contain 0x or not.

Panics

Panics if value is not a hexstring

impl<F, Q> FieldElement<QuadraticExtensionField<F, Q>>
where F: IsField, Q: Clone + Debug + HasQuadraticNonResidue<F>,

pub fn conjugate(&self) -> Self

impl FieldElement<Babybear31PrimeField>

pub fn to_bytes_le(&self) -> [u8; 8]

pub fn to_bytes_be(&self) -> [u8; 8]

impl FieldElement<Stark252PrimeField>

pub fn to_bytes_le(&self) -> [u8; 32]

No std version of to_bytes_le from ByteConversion trait This follows the convention used by Starkware and Lambdaclass Cairo VM It’s the same as ByteConversion to_bytes_le.

pub fn to_bits_le(&self) -> [bool; 256]

This follows the convention used by starknet-rs

pub fn to_bytes_be(&self) -> [u8; 32]

No std version of to_bytes_be from ByteConversion trait This follows the convention used by Starkware and Lambdaclass Cairo VM It’s the same as ByteConversion to_bytes_be.

impl FieldElement<U64GoldilocksPrimeField>

pub fn to_bytes_le(&self) -> [u8; 8]

pub fn to_bytes_be(&self) -> [u8; 8]

impl FieldElement<Mersenne31MontgomeryPrimeField>

pub fn to_bytes_le(&self) -> [u8; 8]

pub fn to_bytes_be(&self) -> [u8; 8]

impl FieldElement<Mersenne31Field>

pub fn to_bytes_le(&self) -> Vec<u8>

pub fn to_bytes_be(&self) -> Vec<u8>

Trait Implementations§

impl<F, L> Add<&FieldElement<F>> for &Polynomial<FieldElement<L>>
where L: IsField, F: IsSubFieldOf<L>,

type Output = Polynomial<FieldElement<L>>

The resulting type after applying the + operator.

fn add(self, other: &FieldElement<F>) -> Polynomial<FieldElement<L>>

Performs the + operation. Read more

impl<F, L> Add<&FieldElement<F>> for Polynomial<FieldElement<L>>
where L: IsField, F: IsSubFieldOf<L>,

type Output = Polynomial<FieldElement<L>>

The resulting type after applying the + operator.

fn add(self, other: &FieldElement<F>) -> Polynomial<FieldElement<L>>

Performs the + operation. Read more

impl<F, L> Add<&FieldElement<L>> for &FieldElement<F>
where F: IsSubFieldOf<L>, L: IsField,

Addition operator overloading for field elements

type Output = FieldElement<L>

The resulting type after applying the + operator.

fn add(self, rhs: &FieldElement<L>) -> Self::Output

Performs the + operation. Read more

impl<F, L> Add<&FieldElement<L>> for FieldElement<F>
where F: IsSubFieldOf<L>, L: IsField,

type Output = FieldElement<L>

The resulting type after applying the + operator.

fn add(self, rhs: &FieldElement<L>) -> Self::Output

Performs the + operation. Read more

impl<F, L> Add<&Polynomial<FieldElement<L>>> for &FieldElement<F>
where L: IsField, F: IsSubFieldOf<L>,

type Output = Polynomial<FieldElement<L>>

The resulting type after applying the + operator.

fn add(self, other: &Polynomial<FieldElement<L>>) -> Polynomial<FieldElement<L>>

Performs the + operation. Read more

impl<F, L> Add<&Polynomial<FieldElement<L>>> for FieldElement<F>
where L: IsField, F: IsSubFieldOf<L>,

type Output = Polynomial<FieldElement<L>>

The resulting type after applying the + operator.

fn add(self, other: &Polynomial<FieldElement<L>>) -> Polynomial<FieldElement<L>>

Performs the + operation. Read more

impl<F, L> Add<FieldElement<F>> for &Polynomial<FieldElement<L>>
where L: IsField, F: IsSubFieldOf<L>,

type Output = Polynomial<FieldElement<L>>

The resulting type after applying the + operator.

fn add(self, other: FieldElement<F>) -> Polynomial<FieldElement<L>>

Performs the + operation. Read more

impl<F, L> Add<FieldElement<F>> for Polynomial<FieldElement<L>>
where L: IsField, F: IsSubFieldOf<L>,

type Output = Polynomial<FieldElement<L>>

The resulting type after applying the + operator.

fn add(self, other: FieldElement<F>) -> Polynomial<FieldElement<L>>

Performs the + operation. Read more

impl<F, L> Add<FieldElement<L>> for &FieldElement<F>
where F: IsSubFieldOf<L>, L: IsField,

type Output = FieldElement<L>

The resulting type after applying the + operator.

fn add(self, rhs: FieldElement<L>) -> Self::Output

Performs the + operation. Read more

impl<F, L> Add<FieldElement<L>> for FieldElement<F>
where F: IsSubFieldOf<L>, L: IsField,

type Output = FieldElement<L>

The resulting type after applying the + operator.

fn add(self, rhs: FieldElement<L>) -> Self::Output

Performs the + operation. Read more

impl<F, L> Add<Polynomial<FieldElement<L>>> for &FieldElement<F>
where L: IsField, F: IsSubFieldOf<L>,

type Output = Polynomial<FieldElement<L>>

The resulting type after applying the + operator.

fn add(self, other: Polynomial<FieldElement<L>>) -> Polynomial<FieldElement<L>>

Performs the + operation. Read more

impl<F, L> Add<Polynomial<FieldElement<L>>> for FieldElement<F>
where L: IsField, F: IsSubFieldOf<L>,

type Output = Polynomial<FieldElement<L>>

The resulting type after applying the + operator.

fn add(self, other: Polynomial<FieldElement<L>>) -> Polynomial<FieldElement<L>>

Performs the + operation. Read more

impl<F, L> AddAssign<FieldElement<F>> for FieldElement<L>
where F: IsSubFieldOf<L>, L: IsField,

AddAssign operator overloading for field elements

fn add_assign(&mut self, rhs: FieldElement<F>)

Performs the += operation. Read more

impl ByteConversion for FieldElement<Degree2ExtensionField>

fn to_bytes_be(&self) -> Vec<u8>

Returns the byte representation of the element in big-endian order.}

fn to_bytes_le(&self) -> Vec<u8>

Returns the byte representation of the element in little-endian order.

fn from_bytes_be(bytes: &[u8]) -> Result<Self, ByteConversionError>
where Self: Sized,

Returns the element from its byte representation in big-endian order.

fn from_bytes_le(bytes: &[u8]) -> Result<Self, ByteConversionError>
where Self: Sized,

Returns the element from its byte representation in little-endian order.

impl<M, const NUM_LIMBS: usize> ByteConversion for FieldElement<MontgomeryBackendPrimeField<M, NUM_LIMBS>>
where M: IsModulus<UnsignedInteger<NUM_LIMBS>> + Clone + Debug,

fn to_bytes_be(&self) -> Vec<u8>

Returns the byte representation of the element in big-endian order.}

fn to_bytes_le(&self) -> Vec<u8>

Returns the byte representation of the element in little-endian order.

fn from_bytes_be(bytes: &[u8]) -> Result<Self, ByteConversionError>

Returns the element from its byte representation in big-endian order.

fn from_bytes_le(bytes: &[u8]) -> Result<Self, ByteConversionError>

Returns the element from its byte representation in little-endian order.

impl<F: Clone + IsField> Clone for FieldElement<F>
where F::BaseType: Clone,

fn clone(&self) -> FieldElement<F>

Returns a copy of the value. Read more

1.0.0 · source§

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

Performs copy-assignment from source. Read more

impl<F: Debug + IsField> Debug for FieldElement<F>
where F::BaseType: Debug,

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

Formats the value using the given formatter. Read more

impl<F> Default for FieldElement<F>
where F: IsField,

fn default() -> Self

Returns the “default value” for a type. Read more

impl<const MODULUS: u64> Deserializable for FieldElement<U64PrimeField<MODULUS>>

fn deserialize(bytes: &[u8]) -> Result<Self, DeserializationError>
where Self: Sized,

impl Display for FieldElement<Goldilocks64Field>

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

Formats the value using the given formatter. Read more

impl Display for FieldElement<Mersenne31Field>

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

Formats the value using the given formatter. Read more

impl<M, const NUM_LIMBS: usize> Display for FieldElement<MontgomeryBackendPrimeField<M, NUM_LIMBS>>
where M: IsModulus<UnsignedInteger<NUM_LIMBS>> + Clone + Debug,

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

Formats the value using the given formatter. Read more

impl<F, L> Div<&FieldElement<L>> for &FieldElement<F>
where F: IsSubFieldOf<L>, L: IsField,

Division operator overloading for field elements*/

type Output = FieldElement<L>

The resulting type after applying the / operator.

fn div(self, rhs: &FieldElement<L>) -> Self::Output

Performs the / operation. Read more

impl<F, L> Div<&FieldElement<L>> for FieldElement<F>
where F: IsSubFieldOf<L>, L: IsField,

type Output = FieldElement<L>

The resulting type after applying the / operator.

fn div(self, rhs: &FieldElement<L>) -> Self::Output

Performs the / operation. Read more

impl<F, L> Div<FieldElement<L>> for &FieldElement<F>
where F: IsSubFieldOf<L>, L: IsField,

type Output = FieldElement<L>

The resulting type after applying the / operator.

fn div(self, rhs: FieldElement<L>) -> Self::Output

Performs the / operation. Read more

impl<F, L> Div<FieldElement<L>> for FieldElement<F>
where F: IsSubFieldOf<L>, L: IsField,

type Output = FieldElement<L>

The resulting type after applying the / operator.

fn div(self, rhs: FieldElement<L>) -> Self::Output

Performs the / operation. Read more

impl<F> From<&<F as IsField>::BaseType> for FieldElement<F>
where F::BaseType: Clone, F: IsField,

From overloading for field elements

fn from(value: &F::BaseType) -> Self

Converts to this type from the input type.

impl<F> From<u64> for FieldElement<F>
where F: IsField,

From overloading for U64

fn from(value: u64) -> Self

Converts to this type from the input type.

impl<F: Hash + IsField> Hash for FieldElement<F>
where F::BaseType: Hash,

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher. Read more

1.3.0 · source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more

impl<F, L> Mul<&FieldElement<F>> for &Polynomial<FieldElement<L>>
where L: IsField, F: IsSubFieldOf<L>,

type Output = Polynomial<FieldElement<L>>

The resulting type after applying the * operator.

fn mul(self, multiplicand: &FieldElement<F>) -> Polynomial<FieldElement<L>>

Performs the * operation. Read more

impl<F, L> Mul<&FieldElement<F>> for Polynomial<FieldElement<L>>
where L: IsField, F: IsSubFieldOf<L>,

type Output = Polynomial<FieldElement<L>>

The resulting type after applying the * operator.

fn mul(self, multiplicand: &FieldElement<F>) -> Polynomial<FieldElement<L>>

Performs the * operation. Read more

impl<F, L> Mul<&FieldElement<L>> for &FieldElement<F>
where F: IsSubFieldOf<L>, L: IsField,

Multiplication operator overloading for field elements*/

type Output = FieldElement<L>

The resulting type after applying the * operator.

fn mul(self, rhs: &FieldElement<L>) -> Self::Output

Performs the * operation. Read more

impl<F, L> Mul<&FieldElement<L>> for FieldElement<F>
where F: IsSubFieldOf<L>, L: IsField,

type Output = FieldElement<L>

The resulting type after applying the * operator.

fn mul(self, rhs: &FieldElement<L>) -> Self::Output

Performs the * operation. Read more

impl<F, L> Mul<&Polynomial<FieldElement<L>>> for &FieldElement<F>
where L: IsField, F: IsSubFieldOf<L>,

type Output = Polynomial<FieldElement<L>>

The resulting type after applying the * operator.

fn mul( self, multiplicand: &Polynomial<FieldElement<L>> ) -> Polynomial<FieldElement<L>>

Performs the * operation. Read more

impl<F, L> Mul<&Polynomial<FieldElement<L>>> for FieldElement<F>
where L: IsField, F: IsSubFieldOf<L>,

type Output = Polynomial<FieldElement<L>>

The resulting type after applying the * operator.

fn mul( self, multiplicand: &Polynomial<FieldElement<L>> ) -> Polynomial<FieldElement<L>>

Performs the * operation. Read more

impl<F, L> Mul<FieldElement<F>> for &Polynomial<FieldElement<L>>
where L: IsField, F: IsSubFieldOf<L>,

type Output = Polynomial<FieldElement<L>>

The resulting type after applying the * operator.

fn mul(self, multiplicand: FieldElement<F>) -> Polynomial<FieldElement<L>>

Performs the * operation. Read more

impl<F, L> Mul<FieldElement<F>> for Polynomial<FieldElement<L>>
where L: IsField, F: IsSubFieldOf<L>,

type Output = Polynomial<FieldElement<L>>

The resulting type after applying the * operator.

fn mul(self, multiplicand: FieldElement<F>) -> Polynomial<FieldElement<L>>

Performs the * operation. Read more

impl<F, L> Mul<FieldElement<L>> for &FieldElement<F>
where F: IsSubFieldOf<L>, L: IsField,

type Output = FieldElement<L>

The resulting type after applying the * operator.

fn mul(self, rhs: FieldElement<L>) -> Self::Output

Performs the * operation. Read more

impl<F, L> Mul<FieldElement<L>> for FieldElement<F>
where F: IsSubFieldOf<L>, L: IsField,

type Output = FieldElement<L>

The resulting type after applying the * operator.

fn mul(self, rhs: FieldElement<L>) -> Self::Output

Performs the * operation. Read more

impl<F, L> Mul<Polynomial<FieldElement<L>>> for &FieldElement<F>
where L: IsField, F: IsSubFieldOf<L>,

type Output = Polynomial<FieldElement<L>>

The resulting type after applying the * operator.

fn mul( self, multiplicand: Polynomial<FieldElement<L>> ) -> Polynomial<FieldElement<L>>

Performs the * operation. Read more

impl<F, L> Mul<Polynomial<FieldElement<L>>> for FieldElement<F>
where L: IsField, F: IsSubFieldOf<L>,

type Output = Polynomial<FieldElement<L>>

The resulting type after applying the * operator.

fn mul( self, multiplicand: Polynomial<FieldElement<L>> ) -> Polynomial<FieldElement<L>>

Performs the * operation. Read more

impl<F> Neg for &FieldElement<F>
where F: IsField,

Negation operator overloading for field elements*/

type Output = FieldElement<F>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation. Read more

impl<F> Neg for FieldElement<F>
where F: IsField,

type Output = FieldElement<F>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation. Read more

impl Ord for FieldElement<Mersenne31MontgomeryPrimeField>

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other. Read more

1.21.0 · source§

fn max(self, other: Self) -> Self
where Self: Sized,

Compares and returns the maximum of two values. Read more

1.21.0 · source§

fn min(self, other: Self) -> Self
where Self: Sized,

Compares and returns the minimum of two values. Read more

1.50.0 · source§

fn clamp(self, min: Self, max: Self) -> Self
where Self: Sized + PartialOrd,

Restrict a value to a certain interval. Read more

impl Ord for FieldElement<Stark252PrimeField>

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other. Read more

1.21.0 · source§

fn max(self, other: Self) -> Self
where Self: Sized,

Compares and returns the maximum of two values. Read more

1.21.0 · source§

fn min(self, other: Self) -> Self
where Self: Sized,

Compares and returns the minimum of two values. Read more

1.50.0 · source§

fn clamp(self, min: Self, max: Self) -> Self
where Self: Sized + PartialOrd,

Restrict a value to a certain interval. Read more

impl Ord for FieldElement<U64GoldilocksPrimeField>

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other. Read more

1.21.0 · source§

fn max(self, other: Self) -> Self
where Self: Sized,

Compares and returns the maximum of two values. Read more

1.21.0 · source§

fn min(self, other: Self) -> Self
where Self: Sized,

Compares and returns the minimum of two values. Read more

1.50.0 · source§

fn clamp(self, min: Self, max: Self) -> Self
where Self: Sized + PartialOrd,

Restrict a value to a certain interval. Read more

impl<F> PartialEq for FieldElement<F>
where F: IsField,

Equality operator overloading for field elements

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

This method tests for self and other values to be equal, and is used by ==.

1.0.0 · source§

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

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

impl PartialOrd for FieldElement<Mersenne31MontgomeryPrimeField>

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more

1.0.0 · source§

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

This method tests less than (for self and other) and is used by the < operator. Read more

1.0.0 · source§

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

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more

1.0.0 · source§

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

This method tests greater than (for self and other) and is used by the > operator. Read more

1.0.0 · source§

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

This method tests greater than or equal to (for self and other) and is used by the >= operator. Read more

impl PartialOrd for FieldElement<Stark252PrimeField>

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more

1.0.0 · source§

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

This method tests less than (for self and other) and is used by the < operator. Read more

1.0.0 · source§

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

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more

1.0.0 · source§

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

This method tests greater than (for self and other) and is used by the > operator. Read more

1.0.0 · source§

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

This method tests greater than or equal to (for self and other) and is used by the >= operator. Read more

impl PartialOrd for FieldElement<U64GoldilocksPrimeField>

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more

1.0.0 · source§

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

This method tests less than (for self and other) and is used by the < operator. Read more

1.0.0 · source§

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

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more

1.0.0 · source§

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

This method tests greater than (for self and other) and is used by the > operator. Read more

1.0.0 · source§

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

This method tests greater than or equal to (for self and other) and is used by the >= operator. Read more

impl<M, const NUM_LIMBS: usize> Serializable for FieldElement<MontgomeryBackendPrimeField<M, NUM_LIMBS>>
where M: IsModulus<UnsignedInteger<NUM_LIMBS>> + Clone + Debug,

fn serialize(&self) -> Vec<u8>

Default serialize without args

impl<const MODULUS: u64> Serializable for FieldElement<U64PrimeField<MODULUS>>

fn serialize(&self) -> Vec<u8>

Default serialize without args

impl<F, L> Sub<&FieldElement<F>> for &Polynomial<FieldElement<L>>
where L: IsField, F: IsSubFieldOf<L>,

type Output = Polynomial<FieldElement<L>>

The resulting type after applying the - operator.

fn sub(self, other: &FieldElement<F>) -> Polynomial<FieldElement<L>>

Performs the - operation. Read more

impl<F, L> Sub<&FieldElement<F>> for Polynomial<FieldElement<L>>
where L: IsField, F: IsSubFieldOf<L>,

type Output = Polynomial<FieldElement<L>>

The resulting type after applying the - operator.

fn sub(self, other: &FieldElement<F>) -> Polynomial<FieldElement<L>>

Performs the - operation. Read more

impl<F, L> Sub<&FieldElement<L>> for &FieldElement<F>
where F: IsSubFieldOf<L>, L: IsField,

Subtraction operator overloading for field elements*/

type Output = FieldElement<L>

The resulting type after applying the - operator.

fn sub(self, rhs: &FieldElement<L>) -> Self::Output

Performs the - operation. Read more

impl<F, L> Sub<&FieldElement<L>> for FieldElement<F>
where F: IsSubFieldOf<L>, L: IsField,

type Output = FieldElement<L>

The resulting type after applying the - operator.

fn sub(self, rhs: &FieldElement<L>) -> Self::Output

Performs the - operation. Read more

impl<F, L> Sub<&Polynomial<FieldElement<L>>> for &FieldElement<F>
where L: IsField, F: IsSubFieldOf<L>,

type Output = Polynomial<FieldElement<L>>

The resulting type after applying the - operator.

fn sub(self, other: &Polynomial<FieldElement<L>>) -> Polynomial<FieldElement<L>>

Performs the - operation. Read more

impl<F, L> Sub<&Polynomial<FieldElement<L>>> for FieldElement<F>
where L: IsField, F: IsSubFieldOf<L>,

type Output = Polynomial<FieldElement<L>>

The resulting type after applying the - operator.

fn sub(self, other: &Polynomial<FieldElement<L>>) -> Polynomial<FieldElement<L>>

Performs the - operation. Read more

impl<F, L> Sub<FieldElement<F>> for &Polynomial<FieldElement<L>>
where L: IsField, F: IsSubFieldOf<L>,

type Output = Polynomial<FieldElement<L>>

The resulting type after applying the - operator.

fn sub(self, other: FieldElement<F>) -> Polynomial<FieldElement<L>>

Performs the - operation. Read more

impl<F, L> Sub<FieldElement<F>> for Polynomial<FieldElement<L>>
where L: IsField, F: IsSubFieldOf<L>,

type Output = Polynomial<FieldElement<L>>

The resulting type after applying the - operator.

fn sub(self, other: FieldElement<F>) -> Polynomial<FieldElement<L>>

Performs the - operation. Read more

impl<F, L> Sub<FieldElement<L>> for &FieldElement<F>
where F: IsSubFieldOf<L>, L: IsField,

type Output = FieldElement<L>

The resulting type after applying the - operator.

fn sub(self, rhs: FieldElement<L>) -> Self::Output

Performs the - operation. Read more

impl<F, L> Sub<FieldElement<L>> for FieldElement<F>
where F: IsSubFieldOf<L>, L: IsField,

type Output = FieldElement<L>

The resulting type after applying the - operator.

fn sub(self, rhs: FieldElement<L>) -> Self::Output

Performs the - operation. Read more

impl<F, L> Sub<Polynomial<FieldElement<L>>> for &FieldElement<F>
where L: IsField, F: IsSubFieldOf<L>,

type Output = Polynomial<FieldElement<L>>

The resulting type after applying the - operator.

fn sub(self, other: Polynomial<FieldElement<L>>) -> Polynomial<FieldElement<L>>

Performs the - operation. Read more

impl<F, L> Sub<Polynomial<FieldElement<L>>> for FieldElement<F>
where L: IsField, F: IsSubFieldOf<L>,

type Output = Polynomial<FieldElement<L>>

The resulting type after applying the - operator.

fn sub(self, other: Polynomial<FieldElement<L>>) -> Polynomial<FieldElement<L>>

Performs the - operation. Read more

impl<F> Sum for FieldElement<F>
where F: IsField,

Sum operator for field elements

fn sum<I: Iterator<Item = Self>>(iter: I) -> Self

Method which takes an iterator and generates Self from the elements by “summing up” the items.

impl<F: Copy + IsField> Copy for FieldElement<F>
where F::BaseType: Copy,

impl<F> Eq for FieldElement<F>
where F: IsField,

Auto Trait Implementations§

impl<F> RefUnwindSafe for FieldElement<F>
where <F as IsField>::BaseType: RefUnwindSafe,

impl<F> Send for FieldElement<F>
where <F as IsField>::BaseType: Send,

impl<F> Sync for FieldElement<F>
where <F as IsField>::BaseType: Sync,

impl<F> Unpin for FieldElement<F>

impl<F> UnwindSafe for FieldElement<F>
where <F as IsField>::BaseType: UnwindSafe,

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> Pointable for T

const ALIGN: usize = _

The alignment of pointer.

type Init = T

The type for initializers.

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T> ToString for T
where T: Display + ?Sized,

default fn to_string(&self) -> String

Converts the given value to a String. Read more

impl<T, U> TryFrom for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

impl<T, U> TryInto for T
where U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.