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