Trait CommutativeRing 

pub trait CommutativeRing: Ring
where
    Self::Multiplicative: Commutative,
{ }

可換環。

環 $(R, \circ, \ast, 0, 1)$ であり、$(R, \ast, 1)$ は可換モノイドをなす。

Implementors