Trait cryptix_field::group::AbelianGroup

source · 
pub trait AbelianGroup: Group + CommunicativeAdd { }
Expand description

A group is called a alelian group (or communicative group) if forall a, b in G, a + b = b + a

Implementors§

source§

impl<I, M> AbelianGroup for FpElement<I, M>where M: PrimeModular<I>, Self: Group + CommunicativeAdd,

source§

impl<I, M> AbelianGroup for Element<I, M>where M: Modular<I>, Self: Group + CommunicativeAdd,