alga::general

Trait AbstractGroupAbelian

Source
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§

Source

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.

Source

fn prop_is_commutative(args: (Self, Self)) -> bool
where 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.

Implementations on Foreign Types§

Source§

impl AbstractGroupAbelian<Additive> for f32

Source§

impl AbstractGroupAbelian<Additive> for f64

Source§

impl AbstractGroupAbelian<Additive> for i8

Source§

impl AbstractGroupAbelian<Additive> for i16

Source§

impl AbstractGroupAbelian<Additive> for i32

Source§

impl AbstractGroupAbelian<Additive> for i64

Source§

impl AbstractGroupAbelian<Additive> for i128

Source§

impl AbstractGroupAbelian<Additive> for isize

Source§

impl AbstractGroupAbelian<Multiplicative> for f32

Source§

impl AbstractGroupAbelian<Multiplicative> for f64

Source§

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

Source§

impl<N> AbstractGroupAbelian<Multiplicative> for Complex<N>
where N: Num + Clone + ClosedNeg,

Implementors§