Trait mathru::algebra::abstr::Monoid

pub trait Monoid<O: Operator>: Semigroup<O> + Identity<O> { }

A Monoid is a triple $(\mathbb{M}, \circ, e)$, composed by a set $\mathbb{M}$ and a binary inner operation $\circ$ and the element $e \in \mathbb{M}$

\circ: \mathbb{M} \times \mathbb{M} \rightarrow \mathbb{M} , (x, y) \mapsto x \circ y

1. associativity
   $\forall x, y, z \in \mathbb{M}$: $x \circ (y \circ z) = (x \circ y) \circ z$ 2. $e$ neutral element
   $\forall x \in \mathbb{M}$: $x \circ e = e \circ x = x$

Implementations on Foreign Types

impl Monoid<Addition> for u8

impl Monoid<Addition> for u16

impl Monoid<Addition> for u32

impl Monoid<Addition> for u64

impl Monoid<Addition> for u128

impl Monoid<Addition> for i8

impl Monoid<Addition> for i16

impl Monoid<Addition> for i32

impl Monoid<Addition> for i64

impl Monoid<Addition> for i128

impl Monoid<Addition> for f32

impl Monoid<Addition> for f64

impl Monoid<Multiplication> for u8

impl Monoid<Multiplication> for u16

impl Monoid<Multiplication> for u32

impl Monoid<Multiplication> for u64

impl Monoid<Multiplication> for u128

impl Monoid<Multiplication> for i8

impl Monoid<Multiplication> for i16

impl Monoid<Multiplication> for i32

impl Monoid<Multiplication> for i64

impl Monoid<Multiplication> for i128

impl Monoid<Multiplication> for f32

impl Monoid<Multiplication> for f64

Loading content...

Implementors

impl<T> Monoid<Addition> for Polynomial<T> where
    T: MagmaAdd + Scalar + Identity<Addition> + AbsDiffEq<Epsilon = T>, 

Loading content...