Trait scirust::algebra::structure::monoid::CommutativeMonoidAddPartial
[−]
[src]
pub trait CommutativeMonoidAddPartial: MonoidAddPartial { fn prop_is_commutative(a: Self, b: Self) -> bool { ... } }
Commutative monoid with an addition operation with partial equivalence
Provided Methods
fn prop_is_commutative(a: Self, b: Self) -> bool
Returns true
`true` if the addition operator is approximately commutative for
the given argument tuple.
Implementors
impl CommutativeMonoidAddPartial for i8
impl CommutativeMonoidAddPartial for i16
impl CommutativeMonoidAddPartial for i32
impl CommutativeMonoidAddPartial for i64
impl CommutativeMonoidAddPartial for u8
impl CommutativeMonoidAddPartial for u16
impl CommutativeMonoidAddPartial for u32
impl CommutativeMonoidAddPartial for u64
impl CommutativeMonoidAddPartial for f32
impl CommutativeMonoidAddPartial for f64
impl<T: Float + Debug> CommutativeMonoidAddPartial for Complex<T>