Trait cryptix_field::field::MulIdentity

pub trait MulIdentity: Sized + Mul<Output = Self> {
    const MUL_IDENTITY: Self;
    const ONE: Self = Self::MUL_IDENTITY;
}

Safety

This trait is safe only when for any a, a * MUL_IDENTITY = MUL_IDENTITY * a = a

Required Associated Constants

const MUL_IDENTITY: Self

Provided Associated Constants

const ONE: Self = Self::MUL_IDENTITY

Implementors

impl<I, M> MulIdentity for FpElement<I, M>where I: BigIntOpsExt + IsBigInt, M: Montgomery<I>,

Safety

1 is the multiplicative ideneity for biguint

const MUL_IDENTITY: Self = _