Trait scirust::algebra::structure::group::CommutativeGroupAdd
[−]
[src]
pub trait CommutativeGroupAdd: CommutativeGroupAddPartial + CommutativeMonoidAdd + GroupAdd { fn prop_is_commutative(a: Self, b: Self) -> bool { ... } }
Commutative group with an addition operation with full 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 CommutativeGroupAdd for i8
impl CommutativeGroupAdd for i16
impl CommutativeGroupAdd for i32
impl CommutativeGroupAdd for i64