ntlib::ModIntMultiplicable Concept Reference

Concept to ensure that no overflow can occur during multiplication. More...

Concept definition

template<typename T, T m>
concept ModIntMultiplicable =
    !std::numeric_limits<T>::is_bounded ||
    std::numeric_limits<T>::max() / m >= m

Detailed Description

Concept to ensure that no overflow can occur during multiplication.

Checks that T can hold at least \(m^2\) which is required internally for multiplication. If this concept is not satisfied, a bigger integer type must be used for T.