Trait un_algebra::semigroup::mul_semigroup::NumMulSemigroupLaws

pub trait NumMulSemigroupLaws: NumEq + MulSemigroup {
    fn num_associativity(&self, x: &Self, y: &Self, eps: &Self::Eps) -> bool { ... }
}

Numeric laws of multiplicative semigroups.

Provided methods

fn num_associativity(&self, x: &Self, y: &Self, eps: &Self::Eps) -> bool

The numeric multiplicative associativity axiom.

Loading content...

Implementors

impl<S: NumEq + MulSemigroup> NumMulSemigroupLaws for S

Blanket implementation of numeric multiplicative semigroup laws for multiplicative semigroup implementations.

Loading content...