Trait Commutativity 

pub trait Commutativity<T> {
    // Required methods
    fn verify_commutativity_add(&self, other: &Self) -> bool
       where Self: AdditiveOperation<T>;
    fn verify_commutativity_mul(&self, other: &Self) -> bool
       where Self: MultiplicativeOperation<T>;
}

Required Methods

fn verify_commutativity_add(&self, other: &Self) -> bool

where Self: AdditiveOperation<T>,

fn verify_commutativity_mul(&self, other: &Self) -> bool

where Self: MultiplicativeOperation<T>,

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<T: Add<Output = T> + Mul<Output = T> + Copy + PartialEq> Commutativity<T> for AlgebraicStructure<T>

impl<T: Add<Output = T> + Mul<Output = T> + Copy + PartialEq> Commutativity<T> for Field<T>

where Field<T>: AdditiveOperation<T> + MultiplicativeOperation<T>,

impl<T: Add<Output = T> + Mul<Output = T> + Copy + PartialEq> Commutativity<T> for Ring<T>

where Ring<T>: AdditiveOperation<T> + MultiplicativeOperation<T>,