[−][src]Trait un_algebra::group::group::Group
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.
Implementations on Foreign Types
impl Group for ()
[src]
0-tuples form a group.
fn inverse(&self) -> Self
[src]
Inverse value can only be ()
.
fn cancel(&self) -> Self
[src]
fn axiom_left_inverse(&self) -> bool
[src]
fn axiom_right_inverse(&self) -> bool
[src]
impl<A: Group> Group for (A,)
[src]
1-tuples form a group when their items do.
fn inverse(&self) -> Self
[src]
Inverse is by element type.
fn cancel(&self) -> Self
[src]
fn axiom_left_inverse(&self) -> bool
[src]
fn axiom_right_inverse(&self) -> bool
[src]
impl<A: Group, B: Group> Group for (A, B)
[src]
2-tuples form a group when their items do.
fn inverse(&self) -> Self
[src]
Inverse is by element type.
fn cancel(&self) -> Self
[src]
fn axiom_left_inverse(&self) -> bool
[src]
fn axiom_right_inverse(&self) -> bool
[src]
impl<A: Group, B: Group, C: Group> Group for (A, B, C)
[src]
3-tuples form a group when their items do.
fn inverse(&self) -> Self
[src]
Inverse is by element type.