Trait cryptix_field::group::AssociativeAdd

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

Safety

this trait is safe only when for all a, b, c: a + (b + c) = (a + b) + c

Implementors

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

Safety

Element is backed by biguint, which is associative under addition

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

Safety

Element is backed by biguint, which is associative under addition