Trait pairing::Field
[−]
[src]
pub trait Field: Sized + Eq + Copy + Clone + Send + Sync + Debug + Display + 'static + Rand { fn zero() -> Self; fn one() -> Self; fn is_zero(&self) -> bool; fn square(&mut self); fn double(&mut self); fn negate(&mut self); fn add_assign(&mut self, other: &Self); fn sub_assign(&mut self, other: &Self); fn mul_assign(&mut self, other: &Self); fn inverse(&self) -> Option<Self>; fn frobenius_map(&mut self, power: usize); fn pow<S: AsRef<[u64]>>(&self, exp: S) -> Self { ... } }
This trait represents an element of a field.
Required Methods
fn zero() -> Self
Returns the zero element of the field, the additive identity.
fn one() -> Self
Returns the one element of the field, the multiplicative identity.
fn is_zero(&self) -> bool
Returns true iff this element is zero.
fn square(&mut self)
Squares this element.
fn double(&mut self)
Doubles this element.
fn negate(&mut self)
Negates this element.
fn add_assign(&mut self, other: &Self)
Adds another element to this element.
fn sub_assign(&mut self, other: &Self)
Subtracts another element from this element.
fn mul_assign(&mut self, other: &Self)
Multiplies another element by this element.
fn inverse(&self) -> Option<Self>
Computes the multiplicative inverse of this element, if nonzero.
fn frobenius_map(&mut self, power: usize)
Exponentiates this element by a power of the base prime modulus via the Frobenius automorphism.
Provided Methods
fn pow<S: AsRef<[u64]>>(&self, exp: S) -> Self
Exponentiates this element by a number represented with u64
limbs,
least significant digit first.