Module maths_traits::algebra::group_like::additive

Traits for group-like structures using addition

Traits

Add	The addition operator +.
AddAssign	The addition assignment operator +=.
AddAssociative	A marker trait for stucts whose addition operation is evaluation order independent, ie x+(y+z)=(x+y)+z for all x, y, and z.
AddCommutative	A marker trait for stucts whose addition operation is order independent, ie x+y=y+x for all x, y, and z.
MulN	An auto-implemented trait for multiplication by natural numbers with associative types using repeated addition
MulZ	An auto-implemented trait for multiplication by integers with associative and negatable types using negation and repeated addition
Neg	The unary negation operator -.
Sub	The subtraction operator -.
SubAssign	The subtraction assignment operator -=.
Zero	Defines an additive identity element for Self.

Trait aliases

AddAbelianGroup	A commutative additive group
AddGroup	An additive monoid with an inverse operation
AddLoop	An additive magma with an inverse operation and identity
AddMagma	A set with an addition operation
AddMonoid	An additive semigroup with an identity element
AddSemigroup	An associative additive magma
Negatable	A set with an fully described additive inverse