[−][src]Trait un_algebra::group::add_group::AddGroup
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
[src]
fn negate(&self) -> Self
[src]
Additive group negation uses "wrapping" negate to avoid overflow and guarantee the closure axiom.
fn sub(&self, other: &Self) -> Self
[src]
fn axiom_left_negate(&self) -> bool
[src]
fn axiom_right_negate(&self) -> bool
[src]
impl AddGroup for i16
[src]
fn negate(&self) -> Self
[src]
Additive group negation uses "wrapping" negate to avoid overflow and guarantee the closure axiom.
fn sub(&self, other: &Self) -> Self
[src]
fn axiom_left_negate(&self) -> bool
[src]
fn axiom_right_negate(&self) -> bool
[src]
impl AddGroup for i32
[src]
fn negate(&self) -> Self
[src]
Additive group negation uses "wrapping" negate to avoid overflow and guarantee the closure axiom.
fn sub(&self, other: &Self) -> Self
[src]
fn axiom_left_negate(&self) -> bool
[src]
fn axiom_right_negate(&self) -> bool
[src]
impl AddGroup for i64
[src]
fn negate(&self) -> Self
[src]
Additive group negation uses "wrapping" negate to avoid overflow and guarantee the closure axiom.
fn sub(&self, other: &Self) -> Self
[src]
fn axiom_left_negate(&self) -> bool
[src]
fn axiom_right_negate(&self) -> bool
[src]
impl AddGroup for i128
[src]
fn negate(&self) -> Self
[src]
Additive group negation uses "wrapping" negate to avoid overflow and guarantee the closure axiom.
fn sub(&self, other: &Self) -> Self
[src]
fn axiom_left_negate(&self) -> bool
[src]
fn axiom_right_negate(&self) -> bool
[src]
impl AddGroup for isize
[src]
fn negate(&self) -> Self
[src]
Additive group negation uses "wrapping" negate to avoid overflow and guarantee the closure axiom.
fn sub(&self, other: &Self) -> Self
[src]
fn axiom_left_negate(&self) -> bool
[src]
fn axiom_right_negate(&self) -> bool
[src]
impl AddGroup for ()
[src]
0-tuples form an additive group.
fn negate(&self) -> Self
[src]
Negated value can only be ()
.
fn sub(&self, other: &Self) -> Self
[src]
fn axiom_left_negate(&self) -> bool
[src]
fn axiom_right_negate(&self) -> bool
[src]
impl<A: AddGroup> AddGroup for (A,)
[src]
1-tuples form an additive group when their items do.
fn negate(&self) -> Self
[src]
Negation is by element type.
fn sub(&self, other: &Self) -> Self
[src]
fn axiom_left_negate(&self) -> bool
[src]
fn axiom_right_negate(&self) -> bool
[src]
impl<A: AddGroup, B: AddGroup> AddGroup for (A, B)
[src]
2-tuples form an additive group when their items do.
fn negate(&self) -> Self
[src]
Negation is by element type.
fn sub(&self, other: &Self) -> Self
[src]
fn axiom_left_negate(&self) -> bool
[src]
fn axiom_right_negate(&self) -> bool
[src]
impl<A: AddGroup, B: AddGroup, C: AddGroup> AddGroup for (A, B, C)
[src]
3-tuples form an additive group when their items do.
fn negate(&self) -> Self
[src]
Negation is by element type.