33 #ifndef _GLIBCXX_EXPERIMENTAL_NUMERIC
34 #define _GLIBCXX_EXPERIMENTAL_NUMERIC 1
36 #pragma GCC system_header
38 #if __cplusplus <= 201103L
45 namespace std _GLIBCXX_VISIBILITY(default)
47 namespace experimental
49 inline namespace fundamentals_v2
51 _GLIBCXX_BEGIN_NAMESPACE_VERSION
53 #define __cpp_lib_experimental_gcd_lcm 201411
56 template<
typename _Tp>
58 enable_if_t<__and_<is_integral<_Tp>, is_signed<_Tp>>::value, _Tp>
60 {
return __val < 0 ? -__val : __val; }
62 template<
typename _Tp>
64 enable_if_t<__and_<is_integral<_Tp>, is_unsigned<_Tp>>::value, _Tp>
69 template<
typename _Mn,
typename _Nn>
70 constexpr common_type_t<_Mn, _Nn>
73 static_assert(is_integral<_Mn>::value,
"arguments to gcd are integers");
74 static_assert(is_integral<_Nn>::value,
"arguments to gcd are integers");
76 return __m == 0 ? fundamentals_v2::__abs(__n)
77 : __n == 0 ? fundamentals_v2::__abs(__m)
78 : fundamentals_v2::gcd(__n, __m % __n);
82 template<
typename _Mn,
typename _Nn>
83 constexpr common_type_t<_Mn, _Nn>
86 static_assert(is_integral<_Mn>::value,
"arguments to lcm are integers");
87 static_assert(is_integral<_Nn>::value,
"arguments to lcm are integers");
89 return (__m != 0 && __n != 0)
90 ? (fundamentals_v2::__abs(__m) / fundamentals_v2::gcd(__m, __n))
91 * fundamentals_v2::__abs(__n)
95 _GLIBCXX_END_NAMESPACE_VERSION
100 #endif // __cplusplus <= 201103L
102 #endif // _GLIBCXX_EXPERIMENTAL_NUMERIC