Trait ff_ce::Field[−][src]

pub trait Field: Sized + Eq + Copy + Clone + Send + Sync + Debug + Display + 'static + Rand + Hash + Default {
    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[src]

Returns the zero element of the field, the additive identity.

fn one() -> Self[src]

Returns the one element of the field, the multiplicative identity.

fn is_zero(&self) -> bool[src]

Returns true iff this element is zero.

fn square(&mut self)[src]

Squares this element.

fn double(&mut self)[src]

Doubles this element.

fn negate(&mut self)[src]

Negates this element.

fn add_assign(&mut self, other: &Self)[src]

Adds another element to this element.

fn sub_assign(&mut self, other: &Self)[src]

Subtracts another element from this element.

fn mul_assign(&mut self, other: &Self)[src]

Multiplies another element by this element.

fn inverse(&self) -> Option<Self>[src]

Computes the multiplicative inverse of this element, if nonzero.

fn frobenius_map(&mut self, power: usize)[src]

Exponentiates this element by a power of the base prime modulus via the Frobenius automorphism.

Loading content...

Provided methods

fn pow<S: AsRef<[u64]>>(&self, exp: S) -> Self[src]

Exponentiates this element by a number represented with u64 limbs, least significant digit first.

Loading content...

Implementors

Loading content...