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