Trait un_algebra::group::mul_group::MulGroup

pub trait MulGroup: MulMonoid {
    fn invert(&self) -> Self;
    fn is_invertible(&self) -> bool;

    fn div(&self, other: &Self) -> Self { ... }
}

An algebraic multiplicative group.

Required methods

fn invert(&self) -> Self

The unique multiplicative inverse of a group element. Inversion is only defined for invertible group elements.

fn is_invertible(&self) -> bool

Test for an invertible group element.

Loading content...

Provided methods

fn div(&self, other: &Self) -> Self

The multiplicative "division" of two group elements.

Loading content...

Implementations on Foreign Types

impl MulGroup for f32

fn invert(&self) -> Self

Inversion is just floating point inversion.

fn is_invertible(&self) -> bool

Non-zero elements are invertible.

fn div(&self, other: &Self) -> Self

impl MulGroup for f64

fn invert(&self) -> Self

Inversion is just floating point inversion.

fn is_invertible(&self) -> bool

Non-zero elements are invertible.

fn div(&self, other: &Self) -> Self

impl MulGroup for ()

0-tuples form a multiplicative group.

fn invert(&self) -> Self

Inverted value can only be ().

fn is_invertible(&self) -> bool

The only value is invertible.

fn div(&self, other: &Self) -> Self

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

1-tuples form a multiplicative group when their items do.

fn invert(&self) -> Self

Inversion is by matching element.

fn is_invertible(&self) -> bool

Invertibility is across the tuple.

fn div(&self, other: &Self) -> Self

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

2-tuples form a multiplicative group when their items do.

fn invert(&self) -> Self

Inversion is by matching element.

fn is_invertible(&self) -> bool

Invertibility is across the tuple.

fn div(&self, other: &Self) -> Self

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

3-tuples form a multiplicative group when their items do.

fn invert(&self) -> Self

Inversion is by matching element.

fn is_invertible(&self) -> bool

Invertibility is across the tuple.

fn div(&self, other: &Self) -> Self

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

fn is_invertible(&self) -> bool

fn invert(&self) -> Self

fn div(&self, other: &Self) -> Self

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

fn is_invertible(&self) -> bool

fn invert(&self) -> Self

fn div(&self, other: &Self) -> Self

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

fn is_invertible(&self) -> bool

fn invert(&self) -> Self

fn div(&self, other: &Self) -> Self

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

fn is_invertible(&self) -> bool

fn invert(&self) -> Self

fn div(&self, other: &Self) -> Self

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

fn is_invertible(&self) -> bool

fn invert(&self) -> Self

fn div(&self, other: &Self) -> Self

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

fn is_invertible(&self) -> bool

fn invert(&self) -> Self

fn div(&self, other: &Self) -> Self

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

fn is_invertible(&self) -> bool

fn invert(&self) -> Self

fn div(&self, other: &Self) -> Self

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

fn is_invertible(&self) -> bool

fn invert(&self) -> Self

fn div(&self, other: &Self) -> Self

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

fn is_invertible(&self) -> bool

fn invert(&self) -> Self

fn div(&self, other: &Self) -> Self

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

fn is_invertible(&self) -> bool

fn invert(&self) -> Self

fn div(&self, other: &Self) -> Self

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

fn is_invertible(&self) -> bool

fn invert(&self) -> Self

fn div(&self, other: &Self) -> Self

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

fn is_invertible(&self) -> bool

fn invert(&self) -> Self

fn div(&self, other: &Self) -> Self

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

fn is_invertible(&self) -> bool

fn invert(&self) -> Self

fn div(&self, other: &Self) -> Self

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

fn is_invertible(&self) -> bool

fn invert(&self) -> Self

fn div(&self, other: &Self) -> Self

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

fn is_invertible(&self) -> bool

fn invert(&self) -> Self

fn div(&self, other: &Self) -> Self

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

fn is_invertible(&self) -> bool

fn invert(&self) -> Self

fn div(&self, other: &Self) -> Self

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

fn is_invertible(&self) -> bool

fn invert(&self) -> Self

fn div(&self, other: &Self) -> Self

Loading content...

Implementors

Loading content...