Trait un_algebra::group::group::Group [−][src]
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.