[−][src]Trait maths_traits::algebra::group_like::additive::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
.
This is an extremely common property, and most commonly used algebraic systems have it. Nonetheless, there are some algebraic constructions like loop concatenation, the cross product, lie algebras, and octonions that do not have this property, so the option to not implement it exists.
Note however, it is highly recommended to implement non-associative structs as multiplicative to be consistent with convention.