Trait un_algebra::group::group::Group

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

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

An algebraic group.

Required methods

fn inverse(&self) -> Self

The unique inverse of a group element.

Loading content...

Provided methods

fn cancel(&self) -> Self

The cancellation of a group element.

Loading content...

Implementations on Foreign Types

impl Group for ()

0-tuples form a group.

fn inverse(&self) -> Self

Inverse value can only be ().

impl<A: Group> Group for (A,)

1-tuples form a group when their items do.

fn inverse(&self) -> Self

Inverse is by element type.

impl<A: Group, B: Group> Group for (A, B)

2-tuples form a group when their items do.

fn inverse(&self) -> Self

Inverse is by element type.

impl<A: Group, B: Group, C: Group> Group for (A, B, C)

3-tuples form a group when their items do.

fn inverse(&self) -> Self

Inverse is by element type.

impl<T: Copy + Group> Group for [T; 0]

fn inverse(&self) -> Self

impl<T: Copy + Group> Group for [T; 1]

fn inverse(&self) -> Self

impl<T: Copy + Group> Group for [T; 2]

fn inverse(&self) -> Self

impl<T: Copy + Group> Group for [T; 3]

fn inverse(&self) -> Self

impl<T: Copy + Group> Group for [T; 4]

fn inverse(&self) -> Self

impl<T: Copy + Group> Group for [T; 5]

fn inverse(&self) -> Self

impl<T: Copy + Group> Group for [T; 6]

fn inverse(&self) -> Self

impl<T: Copy + Group> Group for [T; 7]

fn inverse(&self) -> Self

impl<T: Copy + Group> Group for [T; 8]

fn inverse(&self) -> Self

impl<T: Copy + Group> Group for [T; 9]

fn inverse(&self) -> Self

impl<T: Copy + Group> Group for [T; 10]

fn inverse(&self) -> Self

impl<T: Copy + Group> Group for [T; 11]

fn inverse(&self) -> Self

impl<T: Copy + Group> Group for [T; 12]

fn inverse(&self) -> Self

impl<T: Copy + Group> Group for [T; 13]

fn inverse(&self) -> Self

impl<T: Copy + Group> Group for [T; 14]

fn inverse(&self) -> Self

impl<T: Copy + Group> Group for [T; 15]

fn inverse(&self) -> Self

impl<T: Copy + Group> Group for [T; 16]

fn inverse(&self) -> Self

Loading content...

Implementors

Loading content...