[−][src]Trait maths_traits::algebra::group_like::additive::AddCommutative
A marker trait for stucts whose addition operation is order independent,
ie x+y=y+x
for all x
, y
, and z
.
This is an extremely common property, and most commonly used algebraic systems have it. Nonetheless, there are also a fairly number of algebraic constructions do not, such as matrix multiplication, most finite groups, and in particular, string concatenation.
Note however, it is highly recommended to implement non-commutative structs (except string concatentation) as multiplicative to be consistent with convention.