Trait nekolib::traits::CommutativeRing
source · pub trait CommutativeRing: Ringwhere
Self::Multiplicative: Commutative,{ }Expand description
可換環。
環 $(R, \circ, \ast, 0, 1)$ であり、$(R, \ast, 1)$ は可換モノイドをなす。
pub trait CommutativeRing: Ringwhere
Self::Multiplicative: Commutative,{ }可換環。
環 $(R, \circ, \ast, 0, 1)$ であり、$(R, \ast, 1)$ は可換モノイドをなす。