Trait alga::general::AbstractGroupAbelian

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 { ... }
}

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

fn prop_is_commutative_approx(args: (Self, Self)) -> bool

where Self: RelativeEq,

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

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

where Self: Eq,

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

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl AbstractGroupAbelian<Additive> for f32

impl AbstractGroupAbelian<Additive> for f64

impl AbstractGroupAbelian<Additive> for i8

impl AbstractGroupAbelian<Additive> for i16

impl AbstractGroupAbelian<Additive> for i32

impl AbstractGroupAbelian<Additive> for i64

impl AbstractGroupAbelian<Additive> for i128

impl AbstractGroupAbelian<Additive> for isize

impl AbstractGroupAbelian<Multiplicative> for f32

impl AbstractGroupAbelian<Multiplicative> for f64

impl<N> AbstractGroupAbelian<Additive> for Complex<N>

where N: AbstractGroupAbelian<Additive>,

impl<N> AbstractGroupAbelian<Multiplicative> for Complex<N>

where N: Num + Clone + ClosedNeg,

Implementors

impl<O: Operator> AbstractGroupAbelian<O> for Id<O>