Trait alga::general::GroupAbelian

pub trait GroupAbelian<O: Op>: Group<O> {
    fn prop_is_commutative(args: (Self, Self)) -> bool where Self: ApproxEq { ... }
}

An commutative group.

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

Provided Methods

fn prop_is_commutative(args: (Self, Self)) -> bool where Self: ApproxEq

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

Implementors

• impl GroupAbelian<Additive> for i8
• impl GroupAbelian<Additive> for i16
• impl GroupAbelian<Additive> for i32
• impl GroupAbelian<Additive> for i64
• impl GroupAbelian<Additive> for f32
• impl GroupAbelian<Additive> for f64
• impl GroupAbelian<Multiplicative> for f32
• impl GroupAbelian<Multiplicative> for f64