Trait Zero Copy item path Source pub trait Zero: Sized + Add <Output = Self> {
// Required methods
fn zero () -> Self;
is_zero (&self) -> bool ;
// Provided method
fn set_zero (&mut self) { ... }
}Expand description Defines an additive identity element for Self.
§ Lawsa + 0 = a ∀ a ∈ Self
0 + a = a ∀ a ∈ SelfReturns the additive identity element of Self, 0.
§ PurityThis function should return the same result at all times regardless of
external mutable state, for example values stored in TLS or in
static muts.
Returns true if self is equal to the additive identity.
Sets self to the additive identity element of Self, 0.
This trait is not dyn compatible .
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.
Returns the zero polynomial.
Checks if the given polynomial is zero.
Returns the zero polynomial.
Checks if the given polynomial is zero.
Returns the zero polynomial.
Checks if the given polynomial is zero.
Returns the zero polynomial.
Checks if the given polynomial is zero.
Returns the zero polynomial.
Checks if the given polynomial is zero.
Returns the zero polynomial.
Checks if the given polynomial is zero.
The identity element, or “zero”, of the group is the identity element of the multiplicative group of the underlying field, i.e., P::TargetField::one().
The identity element, or “zero”, of the group is the identity element of the multiplicative group of the underlying field, i.e., P::TargetField::one().
Returns the point at infinity, which always has Z = 0.
Checks whether self.z.is_zero().
Returns the point at infinity, which always has Z = 0.
Checks whether self.z.is_zero().