[−][src]Trait maths_traits::algebra::group_like::multiplicative::MulAssociative
A marker trait for stucts whose multiplication 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.