Trait un_algebra::group::add_group::AddGroup

pub trait AddGroup: AddMonoid {
    fn negate(&self) -> Self;

    fn sub(&self, other: &Self) -> Self { ... }
    fn axiom_left_negate(&self) -> bool { ... }
    fn axiom_right_negate(&self) -> bool { ... }
}

An algebraic additive group.

Required Methods

fn negate(&self) -> Self

The unique additive inverse of a group element.

Provided Methods

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

The additive "subtraction" of two group elements.

fn axiom_left_negate(&self) -> bool

Test the left axiom of negation.

fn axiom_right_negate(&self) -> bool

Test the right axiom of negation.

Implementations on Foreign Types

impl AddGroup for i8

fn negate(&self) -> Self

Additive group negation uses "wrapping" negate to avoid overflow and guarantee the closure axiom.

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

fn axiom_left_negate(&self) -> bool

fn axiom_right_negate(&self) -> bool

impl AddGroup for i16

fn negate(&self) -> Self

Additive group negation uses "wrapping" negate to avoid overflow and guarantee the closure axiom.

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

fn axiom_left_negate(&self) -> bool

fn axiom_right_negate(&self) -> bool

impl AddGroup for i32

fn negate(&self) -> Self

Additive group negation uses "wrapping" negate to avoid overflow and guarantee the closure axiom.

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

fn axiom_left_negate(&self) -> bool

fn axiom_right_negate(&self) -> bool

impl AddGroup for i64

fn negate(&self) -> Self

Additive group negation uses "wrapping" negate to avoid overflow and guarantee the closure axiom.

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

fn axiom_left_negate(&self) -> bool

fn axiom_right_negate(&self) -> bool

impl AddGroup for i128

fn negate(&self) -> Self

Additive group negation uses "wrapping" negate to avoid overflow and guarantee the closure axiom.

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

fn axiom_left_negate(&self) -> bool

fn axiom_right_negate(&self) -> bool

impl AddGroup for isize

fn negate(&self) -> Self

Additive group negation uses "wrapping" negate to avoid overflow and guarantee the closure axiom.

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

fn axiom_left_negate(&self) -> bool

fn axiom_right_negate(&self) -> bool

impl AddGroup for BigRational

Rational numbers form an additive group.

fn negate(&self) -> Self

Negation is rational negation.

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

fn axiom_left_negate(&self) -> bool

fn axiom_right_negate(&self) -> bool

Implementors