boostorg/integer
1
0
Fork 1
mirror of https://github.com/boostorg/integer.git synced 2025-07-30 20:57:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Make the compile time gcd facilities work with greatest integer types, and be mpl compatible.

Browse Source 
[SVN r63408]
This commit is contained in:
John Maddock
2010-06-28 15:32:19 +00:00
committed by Peter Dimov
parent 5174291e08
commit d38557f5f3
1 changed files with 31 additions and 39 deletions
Download Patch File Download Diff File Expand all files Collapse all files

70
include/boost/math/common_factor_ct.hpp
View File

@ -11,31 +11,29 @@
#define BOOST_MATH_COMMON_FACTOR_CT_HPP #define BOOST_MATH_COMMON_FACTOR_CT_HPP
#include <boost/math_fwd.hpp> // self include #include <boost/math_fwd.hpp> // self include
#include <boost/config.hpp> // for BOOST_STATIC_CONSTANT, etc. #include <boost/config.hpp> // for BOOST_STATIC_CONSTANT, etc.
#include <boost/mpl/integral_c.hpp>
namespace boost namespace boost
{ {
namespace math namespace math
{ {
// Implementation details --------------------------------------------------// // Implementation details --------------------------------------------------//
namespace detail namespace detail
{ {
#ifndef BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION #ifndef BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
// Build GCD with Euclid's recursive algorithm // Build GCD with Euclid's recursive algorithm
template < unsigned long Value1, unsigned long Value2 > template < static_gcd_type Value1, static_gcd_type Value2 >
struct static_gcd_helper_t struct static_gcd_helper_t
{ {
private: private:
BOOST_STATIC_CONSTANT( unsigned long, new_value1 = Value2 ); BOOST_STATIC_CONSTANT( static_gcd_type, new_value1 = Value2 );
BOOST_STATIC_CONSTANT( unsigned long, new_value2 = Value1 % Value2 ); BOOST_STATIC_CONSTANT( static_gcd_type, new_value2 = Value1 % Value2 );
#ifndef __BORLANDC__ #ifndef __BORLANDC__
#define BOOST_DETAIL_GCD_HELPER_VAL(Value) static_cast<unsigned long>(Value) #define BOOST_DETAIL_GCD_HELPER_VAL(Value) static_cast<static_gcd_type>(Value)
#else #else
typedef static_gcd_helper_t self_type; typedef static_gcd_helper_t self_type;
#define BOOST_DETAIL_GCD_HELPER_VAL(Value) (self_type:: Value ) #define BOOST_DETAIL_GCD_HELPER_VAL(Value) (self_type:: Value )
@ -47,24 +45,24 @@ namespace detail
#undef BOOST_DETAIL_GCD_HELPER_VAL #undef BOOST_DETAIL_GCD_HELPER_VAL
public: public:
BOOST_STATIC_CONSTANT( unsigned long, value = next_step_type::value ); BOOST_STATIC_CONSTANT( static_gcd_type, value = next_step_type::value );
}; };
// Non-recursive case // Non-recursive case
template < unsigned long Value1 > template < static_gcd_type Value1 >
struct static_gcd_helper_t< Value1, 0UL > struct static_gcd_helper_t< Value1, 0UL >
{ {
BOOST_STATIC_CONSTANT( unsigned long, value = Value1 ); BOOST_STATIC_CONSTANT( static_gcd_type, value = Value1 );
}; };
#else #else
// Use inner class template workaround from Peter Dimov // Use inner class template workaround from Peter Dimov
template < unsigned long Value1 > template < static_gcd_type Value1 >
struct static_gcd_helper2_t struct static_gcd_helper2_t
{ {
template < unsigned long Value2 > template < static_gcd_type Value2 >
struct helper struct helper
{ {
BOOST_STATIC_CONSTANT( unsigned long, value BOOST_STATIC_CONSTANT( static_gcd_type, value
= static_gcd_helper2_t<Value2>::BOOST_NESTED_TEMPLATE = static_gcd_helper2_t<Value2>::BOOST_NESTED_TEMPLATE
helper<Value1 % Value2>::value ); helper<Value1 % Value2>::value );
}; };
@ -72,7 +70,7 @@ namespace detail
template < > template < >
struct helper< 0UL > struct helper< 0UL >
{ {
BOOST_STATIC_CONSTANT( unsigned long, value = Value1 ); BOOST_STATIC_CONSTANT( static_gcd_type, value = Value1 );
}; };
}; };
@ -80,18 +78,18 @@ namespace detail
template < > template < >
struct static_gcd_helper2_t< 0UL > struct static_gcd_helper2_t< 0UL >
{ {
template < unsigned long Value2 > template < static_gcd_type Value2 >
struct helper struct helper
{ {
BOOST_STATIC_CONSTANT( unsigned long, value = Value2 ); BOOST_STATIC_CONSTANT( static_gcd_type, value = Value2 );
}; };
}; };
// Build the GCD from the above template(s) // Build the GCD from the above template(s)
template < unsigned long Value1, unsigned long Value2 > template < static_gcd_type Value1, static_gcd_type Value2 >
struct static_gcd_helper_t struct static_gcd_helper_t
{ {
BOOST_STATIC_CONSTANT( unsigned long, value BOOST_STATIC_CONSTANT( static_gcd_type, value
= static_gcd_helper2_t<Value1>::BOOST_NESTED_TEMPLATE = static_gcd_helper2_t<Value1>::BOOST_NESTED_TEMPLATE
helper<Value2>::value ); helper<Value2>::value );
}; };
@ -99,12 +97,12 @@ namespace detail
#ifndef BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION #ifndef BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
// Build the LCM from the GCD // Build the LCM from the GCD
template < unsigned long Value1, unsigned long Value2 > template < static_gcd_type Value1, static_gcd_type Value2 >
struct static_lcm_helper_t struct static_lcm_helper_t
{ {
typedef static_gcd_helper_t<Value1, Value2> gcd_type; typedef static_gcd_helper_t<Value1, Value2> gcd_type;
BOOST_STATIC_CONSTANT( unsigned long, value = Value1 / gcd_type::value BOOST_STATIC_CONSTANT( static_gcd_type, value = Value1 / gcd_type::value
* Value2 ); * Value2 );
}; };
@ -112,26 +110,26 @@ namespace detail
template < > template < >
struct static_lcm_helper_t< 0UL, 0UL > struct static_lcm_helper_t< 0UL, 0UL >
{ {
BOOST_STATIC_CONSTANT( unsigned long, value = 0UL ); BOOST_STATIC_CONSTANT( static_gcd_type, value = 0UL );
}; };
#else #else
// Adapt GCD's inner class template workaround for LCM // Adapt GCD's inner class template workaround for LCM
template < unsigned long Value1 > template < static_gcd_type Value1 >
struct static_lcm_helper2_t struct static_lcm_helper2_t
{ {
template < unsigned long Value2 > template < static_gcd_type Value2 >
struct helper struct helper
{ {
typedef static_gcd_helper_t<Value1, Value2> gcd_type; typedef static_gcd_helper_t<Value1, Value2> gcd_type;
BOOST_STATIC_CONSTANT( unsigned long, value = Value1 BOOST_STATIC_CONSTANT( static_gcd_type, value = Value1
/ gcd_type::value * Value2 ); / gcd_type::value * Value2 );
}; };
template < > template < >
struct helper< 0UL > struct helper< 0UL >
{ {
BOOST_STATIC_CONSTANT( unsigned long, value = 0UL ); BOOST_STATIC_CONSTANT( static_gcd_type, value = 0UL );
}; };
}; };
@ -139,18 +137,18 @@ namespace detail
template < > template < >
struct static_lcm_helper2_t< 0UL > struct static_lcm_helper2_t< 0UL >
{ {
template < unsigned long Value2 > template < static_gcd_type Value2 >
struct helper struct helper
{ {
BOOST_STATIC_CONSTANT( unsigned long, value = 0UL ); BOOST_STATIC_CONSTANT( static_gcd_type, value = 0UL );
}; };
}; };
// Build the LCM from the above template(s) // Build the LCM from the above template(s)
template < unsigned long Value1, unsigned long Value2 > template < static_gcd_type Value1, static_gcd_type Value2 >
struct static_lcm_helper_t struct static_lcm_helper_t
{ {
BOOST_STATIC_CONSTANT( unsigned long, value BOOST_STATIC_CONSTANT( static_gcd_type, value
= static_lcm_helper2_t<Value1>::BOOST_NESTED_TEMPLATE = static_lcm_helper2_t<Value1>::BOOST_NESTED_TEMPLATE
helper<Value2>::value ); helper<Value2>::value );
}; };
@ -161,23 +159,17 @@ namespace detail
// Compile-time greatest common divisor evaluator class declaration --------// // Compile-time greatest common divisor evaluator class declaration --------//
template < unsigned long Value1, unsigned long Value2 > template < static_gcd_type Value1, static_gcd_type Value2 >
struct static_gcd struct static_gcd : public mpl::integral_c<static_gcd_type, (detail::static_gcd_helper_t<Value1, Value2>::value) >
{ {
BOOST_STATIC_CONSTANT( unsigned long, value
= (detail::static_gcd_helper_t<Value1, Value2>::value) );
}; // boost::math::static_gcd }; // boost::math::static_gcd
// Compile-time least common multiple evaluator class declaration ----------// // Compile-time least common multiple evaluator class declaration ----------//
template < unsigned long Value1, unsigned long Value2 > template < static_gcd_type Value1, static_gcd_type Value2 >
struct static_lcm struct static_lcm : public mpl::integral_c<static_gcd_type, (detail::static_lcm_helper_t<Value1, Value2>::value) >
{ {
BOOST_STATIC_CONSTANT( unsigned long, value
= (detail::static_lcm_helper_t<Value1, Value2>::value) );
}; // boost::math::static_lcm }; // boost::math::static_lcm