Trait RingCommutativeApprox

Source
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§

Source

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.

Implementations on Foreign Types§

Source§

impl RingCommutativeApprox for i8

Source§

impl RingCommutativeApprox for i16

Source§

impl RingCommutativeApprox for i32

Source§

impl RingCommutativeApprox for i64

Implementors§