ntlib::MultiplicativeCommutativeGroup Concept Reference

Restricts to types modeling a multiplicative commutative group. More...

Concept definition

template<typename T>
concept MultiplicativeCommutativeGroup =
    MultiplicativeGroup<T> && IsMultiplicativeCommutative<T>

Detailed Description

Restricts to types modeling a multiplicative commutative group.

Template Parameters

T	A set with an associative and commutative inner multiplication operation, a multiplicative neutral element, and multiplicative inverse elements (for all non-zero elements).