Trait nekolib::traits::binop::CommutativeRing

pub trait CommutativeRing: Ringwhere
    Self::Multiplicative: Commutative,{ }

可換環。

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

Implementors