Trait alga::general::AbstractRingCommutative [−] [src]

pub trait AbstractRingCommutative<A: Operator = Additive, M: Operator = Multiplicative>: AbstractRing<A, M> {
    fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool
    where
        Self: ApproxEq,
    { ... }

    fn prop_mul_is_commutative(args: (Self, Self)) -> bool
    where
        Self: Eq,
    { ... }
}

A ring with a commutative multiplication.

∀ a, b ∈ Self, a × b = b × a

Provided Methods

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

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

Implementors