Trait scirust::algebra::structure::ring::Ring
[−]
[src]
pub trait Ring: RingPartial + CommutativeGroupAdd + MonoidMul { fn check_all_properties(a: Self, b: Self, c: Self) -> bool { ... } }
Ring with full equivalence