Trait cp_library_rs::algebraic_structure::commutative::CommutativeMonoid

pub trait CommutativeMonoid: Monoid { }

可環モノイド

任意の要素 $x,y\in S$ に対し，

x \times y = y \times x

が成立する．

Implementations on Foreign Types

impl CommutativeMonoid for ()

Implementors

impl CommutativeMonoid for Add<isize>

impl CommutativeMonoid for Add<usize>

impl CommutativeMonoid for Xor

impl<T> CommutativeMonoid for GCD<T>

impl<T: Ord + Bounded + Clone + Debug> CommutativeMonoid for Max<T>

impl<T: Ord + Bounded + Clone + Debug> CommutativeMonoid for Min<T>

impl<T: Ord + Bounded + Clone + Debug> CommutativeMonoid for MinMax<T>