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 { ... }
    fn axiom_left_invert(&self) -> bool { ... }
    fn axiom_right_invert(&self) -> bool { ... }
}

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 BigRational

Rational numbers (without zero) form a multiplicative group.

fn invert(&self) -> Self

Inversion is rational reciprocal.

fn is_invertible(&self) -> bool

Non-zero rationals are invertible.

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

fn axiom_left_invert(&self) -> bool

fn axiom_right_invert(&self) -> bool

Implementors