Trait cryptix_field::group::CommunicativeAdd

pub trait CommunicativeAdd: Sized + Add<Output = Self> { }

Safety

this trait is safe only when for all a, b, a + b = b + a

Implementors

impl<I, M> CommunicativeAdd for FpElement<I, M>where M: PrimeModular<I>, Self: Add<Output = Self>,

Safety

Element is backed by biguint, which is communicative under addition

impl<I, M> CommunicativeAdd for Element<I, M>where M: Modular<I>, Self: Add<Output = Self>,

Safety

Element is backed by biguint, which is communicative under addition