Trait scirust::algebra::structure::monoid::CommutativeMonoidMul [−] [src]

pub trait CommutativeMonoidMul: CommutativeMonoidMulPartial + MonoidMul {
    fn prop_is_commutative(a: Self, b: Self) -> bool { ... }
}

Commutative monoid with a multiplication operation with full equivalence

Provided Methods

`fn prop_is_commutative(a: Self, b: Self) -> bool`

Returns true`true` if the multiplication operator is approximately commutative for the given argument tuple.

Implementors