Trait un_algebra::com_group::add_com_group::NumAddComGroup[−][src]

pub trait NumAddComGroup: NumAddGroup {
    fn axiom_add_commutivity(xs: NumPair<Self>) -> bool { ... }
}

A "numeric" algebraic additive commutative group.

NumAddComGroup trait is for types that only form additive commutative groups when "numeric" comparisons are used, e.g. floating point types.

Provided Methods

Numerically test the axiom of additive commutivity.

Implementations on Foreign Types

impl NumAddComGroup for f32
[src]

impl NumAddComGroup for f64
[src]

impl<T: Real> NumAddComGroup for Complex<T>
[src]

Complex numbers (with real components) form a numeric additive commutative group.

Implementors