[−][src]Trait un_algebra::group::mul_group::MulGroup
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.
Provided methods
fn div(&self, other: &Self) -> Self
The multiplicative "division" of two group elements.
fn axiom_left_invert(&self) -> bool
Test the (left) axiom of inversion.
fn axiom_right_invert(&self) -> bool
Test the (right) axiom of inversion.
Implementations on Foreign Types
impl MulGroup for ()
[src]
0-tuples form a multiplicative group.
fn invert(&self) -> Self
[src]
Inverted value can only be ()
.
fn is_invertible(&self) -> bool
[src]
The only value is invertible.
fn div(&self, other: &Self) -> Self
[src]
fn axiom_left_invert(&self) -> bool
[src]
fn axiom_right_invert(&self) -> bool
[src]
impl<A: MulGroup> MulGroup for (A,)
[src]
1-tuples form a multiplicative group when their items do.
fn invert(&self) -> Self
[src]
Inversion is by matching element.
fn is_invertible(&self) -> bool
[src]
Invertibility is across the tuple.
fn div(&self, other: &Self) -> Self
[src]
fn axiom_left_invert(&self) -> bool
[src]
fn axiom_right_invert(&self) -> bool
[src]
impl<A: MulGroup, B: MulGroup> MulGroup for (A, B)
[src]
2-tuples form a multiplicative group when their items do.
fn invert(&self) -> Self
[src]
Inversion is by matching element.
fn is_invertible(&self) -> bool
[src]
Invertibility is across the tuple.
fn div(&self, other: &Self) -> Self
[src]
fn axiom_left_invert(&self) -> bool
[src]
fn axiom_right_invert(&self) -> bool
[src]
impl<A: MulGroup, B: MulGroup, C: MulGroup> MulGroup for (A, B, C)
[src]
3-tuples form a multiplicative group when their items do.
fn invert(&self) -> Self
[src]
Inversion is by matching element.
fn is_invertible(&self) -> bool
[src]
Invertibility is across the tuple.