Trait scirust::algebra::structure::monoid::CommutativeMonoidMulPartial
[−]
[src]
pub trait CommutativeMonoidMulPartial: MonoidMulPartial { fn prop_is_commutative(a: Self, b: Self) -> bool { ... } }
Commutative monoid with a multiplication operation with partial 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
impl CommutativeMonoidMulPartial for i8
impl CommutativeMonoidMulPartial for i16
impl CommutativeMonoidMulPartial for i32
impl CommutativeMonoidMulPartial for i64
impl CommutativeMonoidMulPartial for u8
impl CommutativeMonoidMulPartial for u16
impl CommutativeMonoidMulPartial for u32
impl CommutativeMonoidMulPartial for u64
impl CommutativeMonoidMulPartial for f32
impl CommutativeMonoidMulPartial for f64
impl<T: Float + Debug> CommutativeMonoidMulPartial for Complex<T>