ntlib::HasMultiplicativeNeutral Concept Reference

Restricts to types with a multiplicative neutral element. More...

Concept definition

template<typename T>
concept HasMultiplicativeNeutral = requires(T n) {
  // Existence.
  { ntlib::one<T>() } -> std::convertible_to<T>;
}

Detailed Description

Restricts to types with a multiplicative neutral element.

Note

The least restrictive (multiplicative) concept in NTLib requiring a multiplicative neutral element is MultiplicativeMonoid. Therefore, the following can be assumed to hold:

• The multiplicative neutral element is unique.
• The unique multiplicative neutral element is left- and right-neutral.

Template Parameters

T	A set with an inner multiplication operation.