Trait cryptix_field::ring::AssociativeMul

pub trait AssociativeMul: Sized + Mul<Output = Self> { }

Safety

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

Implementors

impl<I, M> AssociativeMul for FpElement<I, M>where M: Montgomery<I>, I: BigIntOpsExt,

Safety

our element type is backed by biguint, so mod mul is associative

impl<I, M> AssociativeMul for Element<I, M>where M: Modular<I>, Self: Mul<Output = Self>,

Safety

our element type is backed by biguint, so mod mul is associative