Trait cryptix_field::group::Group

source · 
pub trait Group: Sized + Add<Output = Self> + AssociativeAdd + AddIdentity + Neg<Output = Self> { }
Expand description

A group on addition arithmetic

This arithmetic should satisfy the following propertise

  1. the set should be closed under addition
  2. the addition should be associativity
  3. the identity should exist
  4. there exists inverse of group element

Implementors§

source§

impl<I, M> Group for FpElement<I, M>where M: PrimeModular<I>, I: BigIntOps,

source§

impl<I, M> Group for Element<I, M>where M: Modular<I>, I: BigIntOps,