[−][src]Trait un_algebra::group::add_group::NumAddGroupLaws

pub trait NumAddGroupLaws: NumEq + AddGroup {
    fn num_left_inverse(&self, eps: &Self::Eps) -> bool { ... }

    fn num_right_inverse(&self, eps: &Self::Eps) -> bool { ... }

    fn num_inverses(&self, eps: &Self::Eps) -> bool { ... }
}

Numeric laws of additive groups.

Provided methods

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

The left numeric additive inverse axiom.

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

The right numeric additive inverse axiom.

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

The two-sided numeric additive inverse axiom.

Loading content...

Implementors

impl<G: NumEq + AddGroup> NumAddGroupLaws for G[src]

Blanket implementation of additive group laws for additive group implementations.

Loading content...