Trait un_algebra::com_group::com_group::ComGroupLaws

pub trait ComGroupLaws: ComGroup {
    fn commutivity(&self, x: &Self) -> bool { ... }
}

Laws of commutative groups.

Provided methods

fn commutivity(&self, x: &Self) -> bool

The commutivity axiom.

Loading content...

Implementors

impl<G: ComGroup> ComGroupLaws for G

Blanket implementation of commutative group laws for commutative group implementations.

Loading content...