Trait un_algebra::com_group::add_com_group::NumAddComGroupLaws

pub trait NumAddComGroupLaws: NumEq + AddComGroup {
    fn num_commutivity(&self, x: &Self, eps: &Self::Eps) -> bool { ... }
}

Numeric laws of additive commutative groups.

Provided methods

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

The numeric additive commutivity axiom.

Loading content...

Implementors

impl<G: NumEq + AddComGroup> NumAddComGroupLaws for G

Blanket implementation of numeric additive commutative group laws for additive commutative group implementations.

Loading content...