Trait un_algebra::group::group::Group

pub trait Group: Monoid {
    fn inverse(&self) -> Self;

    fn cancel(&self) -> Self { ... }
    fn axiom_left_inverse(&self) -> bool { ... }
    fn axiom_right_inverse(&self) -> bool { ... }
}

An algebraic group.

Required Methods

fn inverse(&self) -> Self

The unique inverse of a group element.

Provided Methods

fn cancel(&self) -> Self

The cancellation of a group element.

fn axiom_left_inverse(&self) -> bool

Test the left inverse axiom.

fn axiom_right_inverse(&self) -> bool

Test the right inverse axiom.

Implementors