Trait cryptix_field::group::AddIdentity

pub trait AddIdentity: Sized + Add<Output = Self> {
    const ADD_IDENTITY: Self;
    const ZERO: Self = Self::ADD_IDENTITY;
}

Required Associated Constants

const ADD_IDENTITY: Self

the identity of mod add operation, typically zero

Provided Associated Constants

const ZERO: Self = Self::ADD_IDENTITY

Implementors

impl<I, M> AddIdentity for FpElement<I, M>where M: PrimeModular<I>, I: BigIntOps + IsBigInt,

const ADD_IDENTITY: Self = _

impl<I, M> AddIdentity for Element<I, M>where M: Modular<I>, I: BigIntOps + IsBigInt,

const ADD_IDENTITY: Self = _