ntlib::IsMultiplicativeCommutative Concept Reference

Restricts to types with a commutative multiplication operation. More...

Concept definition

template<typename T>
concept IsMultiplicativeCommutative = requires() {
  // Commutativity.
  // axiom(T a, T b) {
  //   a * b == b * a;
  // }
  ntlib::algebra_traits<T>::is_multiplicative_commutative;
}

Detailed Description

Restricts to types with a commutative multiplication operation.

Template Parameters

T	A set with a commutative inner multiplication operation.