Trait scirust::algebra::structure::commutative_ring::CommutativeRingPartial

pub trait CommutativeRingPartial: RingPartial + CommutativeMonoidMulPartial {
    fn prop_multiplication_is_commutative(a: Self, b: Self) -> bool { ... }
    fn check_all_properties(a: Self, b: Self, c: Self) -> bool { ... }
}

Commutative ring with partial equivalence

Provided Methods

fn prop_multiplication_is_commutative(a: Self, b: Self) -> bool

fn check_all_properties(a: Self, b: Self, c: Self) -> bool

Implementors