pub trait AbstractGroupAbelian<O: Operator>: AbstractGroup<O> {
// Provided methods
fn prop_is_commutative_approx(args: (Self, Self)) -> bool
where Self: RelativeEq { ... }
fn prop_is_commutative(args: (Self, Self)) -> bool
where Self: Eq { ... }
}
Expand description
An Abelian group is a commutative group.
An commutative group is a set with a closed commutative and associative binary operation with the divisibility property and an identity element.
§Commutativity
∀ a, b ∈ Self, a ∘ b = b ∘ a
Provided Methods§
Sourcefn prop_is_commutative_approx(args: (Self, Self)) -> boolwhere
Self: RelativeEq,
fn prop_is_commutative_approx(args: (Self, Self)) -> boolwhere
Self: RelativeEq,
Returns true
if the operator is commutative for the given argument tuple. Approximate
equality is used for verifications.
Sourcefn prop_is_commutative(args: (Self, Self)) -> boolwhere
Self: Eq,
fn prop_is_commutative(args: (Self, Self)) -> boolwhere
Self: Eq,
Returns true
if the operator is commutative for the given argument tuple.
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.