ntlib::MultiplicativeGroup Concept Reference

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

Concept definition

template<typename T>
concept MultiplicativeGroup =
    MultiplicativeMonoid<T> && HasMultiplicativeInverses<T>

Detailed Description

Restricts to types modeling a multiplicative group.

Template Parameters

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