pub trait RingCommutativeApprox: RingApprox {
// Provided method
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool { ... }
}
Expand description
An approximative ring with an approximately commutative multiplication.
∀ a, b ∈ Self, a × b ≈ b × a
Provided Methods§
Sourcefn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool
Returns true
if the multiplication operator is approximately 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.