Trait alga::general::AbstractGroupAbelian [−] [src]

pub trait AbstractGroupAbelian<O: Operator>: AbstractGroup<O> {
    fn prop_is_commutative_approx(args: (Self, Self)) -> bool where Self: ApproxEq { ... }
    fn prop_is_commutative(args: (Self, Self)) -> bool where Self: Eq { ... }
}

An commutative group.

∀ a, b ∈ Self, a ∘ b = b ∘ a

Provided Methods

Returns true if the operator is commutative for the given argument tuple. Approximate equality is used for verifications.

Returns true if the operator is commutative for the given argument tuple.

Implementors