[−][src]Trait mathru::algebra::abstr::Semigroup

pub trait Semigroup<O: Operator + Copy>: Magma<O> {
    pub fn is_associative(self, y: Self, z: Self) -> bool { ... }
}

A Semigroup is a pair $(\mathbb{S}, \circ)$, composed by a set $\mathbb{S}$ and a binary inner operation $\circ$: # Definition

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

and is associative $x, y, z \in \mathbb{S}$ $x \circ (y \circ z) = (x \circ y) \circ z$

Provided methods

pub fn is_associative(self, y: Self, z: Self) -> bool[src]

Loading content...

Implementations on Foreign Types

impl Semigroup<Addition> for u8[src]

impl Semigroup<Addition> for u16[src]

impl Semigroup<Addition> for u32[src]

impl Semigroup<Addition> for u64[src]

impl Semigroup<Addition> for u128[src]

impl Semigroup<Addition> for i8[src]

impl Semigroup<Addition> for i16[src]

impl Semigroup<Addition> for i32[src]

impl Semigroup<Addition> for i64[src]

impl Semigroup<Addition> for i128[src]

impl Semigroup<Addition> for f32[src]

impl Semigroup<Addition> for f64[src]

impl Semigroup<Multiplication> for u8[src]

impl Semigroup<Multiplication> for u16[src]

impl Semigroup<Multiplication> for u32[src]

impl Semigroup<Multiplication> for u64[src]

impl Semigroup<Multiplication> for u128[src]

impl Semigroup<Multiplication> for i8[src]

impl Semigroup<Multiplication> for i16[src]

impl Semigroup<Multiplication> for i32[src]

impl Semigroup<Multiplication> for i64[src]

impl Semigroup<Multiplication> for i128[src]

impl Semigroup<Multiplication> for f32[src]

impl Semigroup<Multiplication> for f64[src]

Loading content...

Implementors

impl<T> Semigroup<Addition> for Polynomial<T> where
    T: MagmaAdd + Scalar + AbsDiffEq<Epsilon = T>, [src]

Loading content...