Trait nekolib::traits::binop::CommutativeRing

source · 
pub trait CommutativeRing: Ringwhere
    Self::Multiplicative: Commutative,{ }
Expand description

可換環。

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

Implementors§