Trait scirust::algebra::structure::commutative_ring::CommutativeRing

pub trait CommutativeRing: CommutativeRingPartial + Ring + CommutativeMonoidMul {
    fn check_all_properties(a: Self, b: Self, c: Self) -> bool { ... }
}

Commutative ring with full equivalence

Provided Methods

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

Implementors