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