Trait scirust::algebra::structure::group::CommutativeGroupMul
[−]
[src]
pub trait CommutativeGroupMul: CommutativeGroupMulPartial + GroupMul + CommutativeMonoidMul {
fn prop_is_commutative(a: Self, b: Self) -> bool { ... }
}Commutative group 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.