Trait un_algebra::com_group::mul_com_group::NumMulComGroup[−][src]

pub trait NumMulComGroup: NumMulGroup {
    fn axiom_mul_commutivity(xs: NumPair<Self>) -> bool { ... }
}

A "numeric" algebraic multiplicative commutative group.

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

Provided Methods

Numerically test the axiom of multiplicative commutivity.

Implementations on Foreign Types

impl NumMulComGroup for f32
[src]

impl NumMulComGroup for f64
[src]

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

Non-zero complex numbers (with real components) form a numeric multiplicative commutative group.

Implementors