primes Namespace Reference


Classes

struct  yes
struct  no
struct  is_divisible
struct  add_pair_impl
struct  add_pair_dispatch< Map, Pair, true >
struct  add_pair_dispatch< Map, Pair, false >
struct  add_pair
struct  partial_prime_represenation
struct  reduce_prime_impl< partial_prime_represenation< Map, Remainder >, p >
struct  power_impl
struct  static_power
struct  int_power
struct  pair_power
struct  rational_power
struct  static_map_multiply
struct  reduce_prime_dispatch< PrimeDecomp, p, true >
struct  reduce_prime_dispatch< PrimeDecomp, p, false >
struct  reduce_prime
struct  initial_decomp
struct  prime_decomposition
struct  primes
struct  power_impl< n, mpl::integral_c< int, 1 > >
struct  power_impl< n, mpl::integral_c< int, 0 > >
struct  static_abs< mpl::integral_c< int, k > >
struct  prime_decomposition< n, mpl::integral_c< int, 1 > >

Typedefs

typedef mpl::map map_
typedef add_pair< map_, mpl::pair<
mpl::integral_c< int,
5 >, mpl::integral_c< int,
1 > > >::type 		map_51
typedef add_pair< map_51,
mpl::pair< mpl::integral_c<
int, 5 >, mpl::integral_c<
int, 1 > > >::type 		map_52
typedef mpl::map empty_map
typedef mpl::map< mpl::pair<
mpl::integral_c< int,
2 >, mpl::integral_c< int, 1 > > > 		map_2
typedef mpl::map< mpl::pair<
mpl::integral_c< int,
2 >, mpl::integral_c< int, 2 > > > 		map_2_2
typedef mpl::map< mpl::pair<
mpl::integral_c< int,
3 >, mpl::integral_c< int, 1 > > > 		map_3
typedef mpl::map< mpl::pair<
mpl::integral_c< int,
3 >, mpl::integral_c< int, 2 > > > 		map_3_3
typedef mpl::map< mpl::pair<
mpl::integral_c< int,
2 >, mpl::integral_c< int,
1 > >, mpl::pair< mpl::integral_c<
int, 3 >, mpl::integral_c<
int, 1 > > > 		map_2_3
typedef mpl::vector< mpl::integral_c<
int, 2 >, mpl::integral_c<
int, 3 >, mpl::integral_c<
int, 5 > > 		prime_list_2_3_5
typedef mpl::fold< prime_list_2_3_5,
mpl::integral_c< int,
1 >, mpl::multiplies< _,
_ > >::type 		product_2_3_5
typedef mpl::pair< mpl::integral_c<
int, 2 >, mpl::integral_c<
int, 3 > > 		pair_2_3
typedef mpl::vector< mpl::pair<
mpl::integral_c< int,
2 >, mpl::integral_c< int,
1 > >, mpl::pair< mpl::integral_c<
int, 3 >, mpl::integral_c<
int, 1 > > > 		vec_map_2_3
typedef mpl::transform< vec_map_2_3,
pair_power< _ > >::type 		vec_map_2_3_powers
typedef mpl::fold< vec_map_2_3_powers,
mpl::integral_c< int,
1 >, mpl::multiplies< _,
_ > >::type 		vec_map_2_3_total
typedef mpl::fold< map_2_3,
mpl::integral_c< int,
1 >, mpl::multiplies< _1,
pair_power< _2 > > >::type 		vec_from_map_2_3_product
typedef initial_decomp< mpl::integral_c<
int, 25 > >::type 		init_decomp_25
typedef reduce_prime< init_decomp_25,
mpl::integral_c< int,
5 > >::type 		reduced_25
typedef initial_decomp< mpl::integral_c<
int, 50 > >::type 		init_decomp_50
typedef reduce_prime< init_decomp_50,
mpl::integral_c< int,
5 > >::type 		reduced_50_5
typedef reduce_prime< reduced_50_5,
mpl::integral_c< int,
2 > >::type 		reduced_50_5_2
typedef primes< mpl::integral_c<
int, 10 > >::type 		primes_10
typedef primes< mpl::integral_c<
int, 100 > >::type 		primes_100
typedef primes< mpl::integral_c<
int, 430 > >::type 		primes_1000
typedef mpl::map map_
typedef add_pair< map_, mpl::pair<
mpl::integral_c< int,
5 >, mpl::integral_c< int,
1 > > >::type 		map_51
typedef add_pair< map_51,
mpl::pair< mpl::integral_c<
int, 5 >, mpl::integral_c<
int, 1 > > >::type 		map_52
typedef mpl::map empty_map
typedef mpl::map< mpl::pair<
mpl::integral_c< int,
2 >, mpl::integral_c< int, 1 > > > 		map_2
typedef mpl::map< mpl::pair<
mpl::integral_c< int,
2 >, mpl::integral_c< int, 2 > > > 		map_2_2
typedef mpl::map< mpl::pair<
mpl::integral_c< int,
3 >, mpl::integral_c< int, 1 > > > 		map_3
typedef mpl::map< mpl::pair<
mpl::integral_c< int,
3 >, mpl::integral_c< int, 2 > > > 		map_3_3
typedef mpl::map< mpl::pair<
mpl::integral_c< int,
2 >, mpl::integral_c< int,
1 > >, mpl::pair< mpl::integral_c<
int, 3 >, mpl::integral_c<
int, 1 > > > 		map_2_3
typedef mpl::vector< mpl::integral_c<
int, 2 >, mpl::integral_c<
int, 3 >, mpl::integral_c<
int, 5 > > 		prime_list_2_3_5
typedef mpl::fold< prime_list_2_3_5,
mpl::integral_c< int,
1 >, mpl::multiplies< _,
_ > >::type 		product_2_3_5
typedef mpl::pair< mpl::integral_c<
int, 2 >, mpl::integral_c<
int, 3 > > 		pair_2_3
typedef mpl::vector< mpl::pair<
mpl::integral_c< int,
2 >, mpl::integral_c< int,
1 > >, mpl::pair< mpl::integral_c<
int, 3 >, mpl::integral_c<
int, 1 > > > 		vec_map_2_3
typedef mpl::transform< vec_map_2_3,
pair_power< _ > >::type 		vec_map_2_3_powers
typedef mpl::fold< vec_map_2_3_powers,
mpl::integral_c< int,
1 >, mpl::multiplies< _,
_ > >::type 		vec_map_2_3_total
typedef mpl::fold< map_2_3,
mpl::integral_c< int,
1 >, mpl::multiplies< _1,
pair_power< _2 > > >::type 		vec_from_map_2_3_product
typedef initial_decomp< mpl::integral_c<
int, 25 > >::type 		init_decomp_25
typedef reduce_prime< init_decomp_25,
mpl::integral_c< int,
5 > >::type 		reduced_25
typedef initial_decomp< mpl::integral_c<
int, 50 > >::type 		init_decomp_50
typedef reduce_prime< init_decomp_50,
mpl::integral_c< int,
5 > >::type 		reduced_50_5
typedef reduce_prime< reduced_50_5,
mpl::integral_c< int,
2 > >::type 		reduced_50_5_2
typedef primes< mpl::integral_c<
int, 10 > >::type 		primes_10
typedef primes< mpl::integral_c<
int, 100 > >::type 		primes_100
typedef primes< mpl::integral_c<
int, 430 > >::type 		primes_1000

Functions

 BOOST_STATIC_ASSERT ((is_divisible< 8, 1 >::type::value))
 BOOST_STATIC_ASSERT ((is_divisible< 8, 2 >::type::value))
 BOOST_STATIC_ASSERT ((is_divisible< 8, 4 >::type::value))
 BOOST_STATIC_ASSERT ((is_divisible< 8, 8 >::type::value))
 BOOST_STATIC_ASSERT ((!is_divisible< 8, 16 >::type::value))
 BOOST_STATIC_ASSERT ((!is_divisible< 8, 3 >::type::value))
 BOOST_STATIC_ASSERT ((mpl::size< map_ >::type::value==0))
 BOOST_STATIC_ASSERT ((mpl::size< map_51 >::type::value==1))
 BOOST_STATIC_ASSERT ((mpl::size< map_52 >::type::value==1))
 BOOST_STATIC_ASSERT ((mpl::size< map_2 >::type::value==1))
 BOOST_STATIC_ASSERT ((product_2_3_5::value==2 *3 *5))
 BOOST_STATIC_ASSERT ((int_power< 1, 1 >::value==1))
 BOOST_STATIC_ASSERT ((int_power< 2, 1 >::value==2))
 BOOST_STATIC_ASSERT ((int_power< 2, 2 >::value==4))
 BOOST_STATIC_ASSERT ((int_power< 2, 3 >::value==8))
 BOOST_STATIC_ASSERT ((pair_power< pair_2_3 >::type::value==8))
 BOOST_STATIC_ASSERT ((vec_map_2_3_total::value==6))
 BOOST_STATIC_ASSERT ((vec_from_map_2_3_product::value==6))
 BOOST_STATIC_ASSERT ((static_map_multiply< map_2 >::type::value==2))
 BOOST_STATIC_ASSERT ((static_map_multiply< map_2_2 >::type::value==4))
 BOOST_STATIC_ASSERT ((static_map_multiply< map_3 >::type::value==3))
 BOOST_STATIC_ASSERT ((static_map_multiply< map_3_3 >::type::value==9))
 BOOST_STATIC_ASSERT ((static_map_multiply< map_ >::type::value==1))
 BOOST_STATIC_ASSERT ((static_map_multiply< map_51 >::type::value==5))
 BOOST_STATIC_ASSERT ((static_map_multiply< map_52 >::type::value==25))
 BOOST_STATIC_ASSERT ((init_decomp_25::remainder::type::value==25))
 BOOST_STATIC_ASSERT ((mpl::size< init_decomp_25::map >::type::value==0))
 BOOST_STATIC_ASSERT ((static_map_multiply< init_decomp_25::map >::type::value==1))
 BOOST_STATIC_ASSERT ((reduced_25::remainder::type::value==1))
 BOOST_STATIC_ASSERT ((mpl::size< reduced_25::map >::type::value==1))
 BOOST_STATIC_ASSERT ((static_map_multiply< reduced_25::map >::type::value==25))
 BOOST_STATIC_ASSERT ((init_decomp_50::remainder::type::value==50))
 BOOST_STATIC_ASSERT ((static_map_multiply< init_decomp_50::map >::type::value==1))
 BOOST_STATIC_ASSERT ((reduced_50_5::remainder::type::value==2))
 BOOST_STATIC_ASSERT ((mpl::size< reduced_50_5::map >::type::value==1))
 BOOST_STATIC_ASSERT ((static_map_multiply< reduced_50_5::map >::type::value==25))
 BOOST_STATIC_ASSERT ((reduced_50_5_2::remainder::type::value==1))
 BOOST_STATIC_ASSERT ((mpl::size< reduced_50_5_2::map >::type::value==2))
 BOOST_STATIC_ASSERT ((static_map_multiply< reduced_50_5_2::map >::type::value==50))
 BOOST_STATIC_ASSERT ((mpl::size< primes_10 >::type::value==2))
 BOOST_STATIC_ASSERT ((static_map_multiply< primes_10 >::type::value==10))
 BOOST_STATIC_ASSERT ((mpl::size< primes_100 >::type::value==2))
 BOOST_STATIC_ASSERT ((static_map_multiply< primes_100 >::type::value==100))
 BOOST_STATIC_ASSERT ((static_map_multiply< primes_1000 >::type::value==430))

Typedef Documentation

typedef mpl::map primes::empty_map

Definition at line 284 of file playground.cpp.

typedef mpl::map primes::empty_map

Definition at line 284 of file Copy of playground.cpp.

typedef initial_decomp<mpl::integral_c<int, 25> >::type primes::init_decomp_25

Definition at line 410 of file playground.cpp.

typedef initial_decomp<mpl::integral_c<int, 25> >::type primes::init_decomp_25

Definition at line 410 of file Copy of playground.cpp.

typedef initial_decomp<mpl::integral_c<int, 50> >::type primes::init_decomp_50

Definition at line 423 of file playground.cpp.

typedef initial_decomp<mpl::integral_c<int, 50> >::type primes::init_decomp_50

Definition at line 423 of file Copy of playground.cpp.

typedef mpl::map primes::map_

Definition at line 252 of file playground.cpp.

typedef mpl::map primes::map_

Definition at line 252 of file Copy of playground.cpp.

typedef mpl::map<mpl::pair<mpl::integral_c<int, 2>, mpl::integral_c<int, 1> > > primes::map_2

Definition at line 285 of file playground.cpp.

typedef mpl::map<mpl::pair<mpl::integral_c<int, 2>, mpl::integral_c<int, 1> > > primes::map_2

Definition at line 285 of file Copy of playground.cpp.

typedef mpl::map<mpl::pair<mpl::integral_c<int, 2>, mpl::integral_c<int, 2> > > primes::map_2_2

Definition at line 286 of file playground.cpp.

typedef mpl::map<mpl::pair<mpl::integral_c<int, 2>, mpl::integral_c<int, 2> > > primes::map_2_2

Definition at line 286 of file Copy of playground.cpp.

typedef mpl::map<mpl::pair<mpl::integral_c<int, 2>, mpl::integral_c<int, 1> >, mpl::pair<mpl::integral_c<int, 3>, mpl::integral_c<int, 1> > > primes::map_2_3

Definition at line 290 of file playground.cpp.

typedef mpl::map<mpl::pair<mpl::integral_c<int, 2>, mpl::integral_c<int, 1> >, mpl::pair<mpl::integral_c<int, 3>, mpl::integral_c<int, 1> > > primes::map_2_3

Definition at line 290 of file Copy of playground.cpp.

typedef mpl::map<mpl::pair<mpl::integral_c<int, 3>, mpl::integral_c<int, 1> > > primes::map_3

Definition at line 287 of file playground.cpp.

typedef mpl::map<mpl::pair<mpl::integral_c<int, 3>, mpl::integral_c<int, 1> > > primes::map_3

Definition at line 287 of file Copy of playground.cpp.

typedef mpl::map<mpl::pair<mpl::integral_c<int, 3>, mpl::integral_c<int, 2> > > primes::map_3_3

Definition at line 288 of file playground.cpp.

typedef mpl::map<mpl::pair<mpl::integral_c<int, 3>, mpl::integral_c<int, 2> > > primes::map_3_3

Definition at line 288 of file Copy of playground.cpp.

typedef add_pair<map_, mpl::pair<mpl::integral_c<int, 5>, mpl::integral_c<int, 1> > >::type primes::map_51

Definition at line 253 of file playground.cpp.

typedef add_pair<map_, mpl::pair<mpl::integral_c<int, 5>, mpl::integral_c<int, 1> > >::type primes::map_51

Definition at line 253 of file Copy of playground.cpp.

typedef add_pair<map_51, mpl::pair<mpl::integral_c<int, 5>, mpl::integral_c<int, 1> > >::type primes::map_52

Definition at line 254 of file playground.cpp.

typedef add_pair<map_51, mpl::pair<mpl::integral_c<int, 5>, mpl::integral_c<int, 1> > >::type primes::map_52

Definition at line 254 of file Copy of playground.cpp.

typedef mpl::pair<mpl::integral_c<int, 2>, mpl::integral_c<int, 3> > primes::pair_2_3

Definition at line 353 of file playground.cpp.

typedef mpl::pair<mpl::integral_c<int, 2>, mpl::integral_c<int, 3> > primes::pair_2_3

Definition at line 353 of file Copy of playground.cpp.

typedef mpl::vector<mpl::integral_c<int,2>, mpl::integral_c<int,3>, mpl::integral_c<int,5> > primes::prime_list_2_3_5

Definition at line 300 of file playground.cpp.

typedef mpl::vector<mpl::integral_c<int,2>, mpl::integral_c<int,3>, mpl::integral_c<int,5> > primes::prime_list_2_3_5

Definition at line 300 of file Copy of playground.cpp.

typedef primes<mpl::integral_c<int, 10> >::type primes::primes_10

Definition at line 464 of file playground.cpp.

typedef primes<mpl::integral_c<int, 10> >::type primes::primes_10

Definition at line 464 of file Copy of playground.cpp.

typedef primes<mpl::integral_c<int, 100> >::type primes::primes_100

Definition at line 469 of file playground.cpp.

typedef primes<mpl::integral_c<int, 100> >::type primes::primes_100

Definition at line 469 of file Copy of playground.cpp.

typedef primes<mpl::integral_c<int, 430> >::type primes::primes_1000

Definition at line 477 of file playground.cpp.

typedef primes<mpl::integral_c<int, 430> >::type primes::primes_1000

Definition at line 477 of file Copy of playground.cpp.

typedef mpl::fold<prime_list_2_3_5, mpl::integral_c<int, 1>, mpl::multiplies<_,_> >::type primes::product_2_3_5

Definition at line 301 of file playground.cpp.

typedef mpl::fold<prime_list_2_3_5, mpl::integral_c<int, 1>, mpl::multiplies<_,_> >::type primes::product_2_3_5

Definition at line 301 of file Copy of playground.cpp.

typedef reduce_prime<init_decomp_25, mpl::integral_c<int, 5> >::type primes::reduced_25

Definition at line 416 of file playground.cpp.

typedef reduce_prime<init_decomp_25, mpl::integral_c<int, 5> >::type primes::reduced_25

Definition at line 416 of file Copy of playground.cpp.

typedef reduce_prime<init_decomp_50, mpl::integral_c<int, 5> >::type primes::reduced_50_5

Definition at line 428 of file playground.cpp.

typedef reduce_prime<init_decomp_50, mpl::integral_c<int, 5> >::type primes::reduced_50_5

Definition at line 428 of file Copy of playground.cpp.

typedef reduce_prime<reduced_50_5, mpl::integral_c<int, 2> >::type primes::reduced_50_5_2

Definition at line 433 of file playground.cpp.

typedef reduce_prime<reduced_50_5, mpl::integral_c<int, 2> >::type primes::reduced_50_5_2

Definition at line 433 of file Copy of playground.cpp.

typedef mpl::fold<map_2_3, mpl::integral_c<int, 1>, mpl::multiplies<_1, pair_power<_2> > >::type primes::vec_from_map_2_3_product

Definition at line 365 of file playground.cpp.

typedef mpl::fold<map_2_3, mpl::integral_c<int, 1>, mpl::multiplies<_1, pair_power<_2> > >::type primes::vec_from_map_2_3_product

Definition at line 365 of file Copy of playground.cpp.

typedef mpl::vector<mpl::pair<mpl::integral_c<int, 2>, mpl::integral_c<int, 1> >, mpl::pair<mpl::integral_c<int, 3>, mpl::integral_c<int, 1> > > primes::vec_map_2_3

Definition at line 358 of file playground.cpp.

typedef mpl::vector<mpl::pair<mpl::integral_c<int, 2>, mpl::integral_c<int, 1> >, mpl::pair<mpl::integral_c<int, 3>, mpl::integral_c<int, 1> > > primes::vec_map_2_3

Definition at line 358 of file Copy of playground.cpp.

typedef mpl::transform< vec_map_2_3, pair_power<_> >::type primes::vec_map_2_3_powers

Definition at line 360 of file playground.cpp.

typedef mpl::transform< vec_map_2_3, pair_power<_> >::type primes::vec_map_2_3_powers

Definition at line 360 of file Copy of playground.cpp.

typedef mpl::fold<vec_map_2_3_powers, mpl::integral_c<int, 1>, mpl::multiplies<_,_> >::type primes::vec_map_2_3_total

Definition at line 361 of file playground.cpp.

typedef mpl::fold<vec_map_2_3_powers, mpl::integral_c<int, 1>, mpl::multiplies<_,_> >::type primes::vec_map_2_3_total

Definition at line 361 of file Copy of playground.cpp.

Function Documentation

primes::BOOST_STATIC_ASSERT ( (static_map_multiply< primes_1000 >::type::value==430)   ) 

primes::BOOST_STATIC_ASSERT ( (static_map_multiply< primes_100 >::type::value==100)   ) 

primes::BOOST_STATIC_ASSERT ( (mpl::size< primes_100 >::type::value==2)   ) 

primes::BOOST_STATIC_ASSERT ( (static_map_multiply< primes_10 >::type::value==10)   ) 

primes::BOOST_STATIC_ASSERT ( (mpl::size< primes_10 >::type::value==2)   ) 

primes::BOOST_STATIC_ASSERT ( (static_map_multiply< reduced_50_5_2::map >::type::value==50)   ) 

primes::BOOST_STATIC_ASSERT ( (mpl::size< reduced_50_5_2::map >::type::value==2)   ) 

primes::BOOST_STATIC_ASSERT ( (reduced_50_5_2::remainder::type::value==1)   ) 

primes::BOOST_STATIC_ASSERT ( (static_map_multiply< reduced_50_5::map >::type::value==25)   ) 

primes::BOOST_STATIC_ASSERT ( (mpl::size< reduced_50_5::map >::type::value==1)   ) 

primes::BOOST_STATIC_ASSERT ( (reduced_50_5::remainder::type::value==2)   ) 

primes::BOOST_STATIC_ASSERT ( (static_map_multiply< init_decomp_50::map >::type::value==1)   ) 

primes::BOOST_STATIC_ASSERT ( (init_decomp_50::remainder::type::value==50)   ) 

primes::BOOST_STATIC_ASSERT ( (static_map_multiply< reduced_25::map >::type::value==25)   ) 

primes::BOOST_STATIC_ASSERT ( (mpl::size< reduced_25::map >::type::value==1)   ) 

primes::BOOST_STATIC_ASSERT ( (reduced_25::remainder::type::value==1)   ) 

primes::BOOST_STATIC_ASSERT ( (static_map_multiply< init_decomp_25::map >::type::value==1)   ) 

primes::BOOST_STATIC_ASSERT ( (mpl::size< init_decomp_25::map >::type::value==0)   ) 

primes::BOOST_STATIC_ASSERT ( (init_decomp_25::remainder::type::value==25)   ) 

primes::BOOST_STATIC_ASSERT ( (static_map_multiply< map_52 >::type::value==25)   ) 

primes::BOOST_STATIC_ASSERT ( (static_map_multiply< map_51 >::type::value==5)   ) 

primes::BOOST_STATIC_ASSERT ( (static_map_multiply< map_ >::type::value==1)   ) 

primes::BOOST_STATIC_ASSERT ( (static_map_multiply< map_3_3 >::type::value==9)   ) 

primes::BOOST_STATIC_ASSERT ( (static_map_multiply< map_3 >::type::value==3)   ) 

primes::BOOST_STATIC_ASSERT ( (static_map_multiply< map_2_2 >::type::value==4)   ) 

primes::BOOST_STATIC_ASSERT ( (static_map_multiply< map_2 >::type::value==2)   ) 

primes::BOOST_STATIC_ASSERT ( (vec_from_map_2_3_product::value==6)   ) 

primes::BOOST_STATIC_ASSERT ( (vec_map_2_3_total::value==6)   ) 

primes::BOOST_STATIC_ASSERT ( (pair_power< pair_2_3 >::type::value==8)   ) 

primes::BOOST_STATIC_ASSERT ( (int_power< 2, 3 >::value==8)   ) 

primes::BOOST_STATIC_ASSERT ( (int_power< 2, 2 >::value==4)   ) 

primes::BOOST_STATIC_ASSERT ( (int_power< 2, 1 >::value==2)   ) 

primes::BOOST_STATIC_ASSERT ( (int_power< 1, 1 >::value==1)   ) 

primes::BOOST_STATIC_ASSERT ( (product_2_3_5::value==2 *3 *5)   ) 

primes::BOOST_STATIC_ASSERT ( (mpl::size< map_2 >::type::value==1)   ) 

primes::BOOST_STATIC_ASSERT ( (mpl::size< map_52 >::type::value==1)   ) 

primes::BOOST_STATIC_ASSERT ( (mpl::size< map_51 >::type::value==1)   ) 

primes::BOOST_STATIC_ASSERT ( (mpl::size< map_ >::type::value==0)   ) 

primes::BOOST_STATIC_ASSERT ( (!is_divisible< 8, 3 >::type::value)   ) 

primes::BOOST_STATIC_ASSERT ( (!is_divisible< 8, 16 >::type::value)   ) 

primes::BOOST_STATIC_ASSERT ( (is_divisible< 8, 8 >::type::value)   ) 

primes::BOOST_STATIC_ASSERT ( (is_divisible< 8, 4 >::type::value)   ) 

primes::BOOST_STATIC_ASSERT ( (is_divisible< 8, 2 >::type::value)   ) 

primes::BOOST_STATIC_ASSERT ( (is_divisible< 8, 1 >::type::value)   ) 

Generated on Mon Apr 2 22:25:08 2007 for physical_svn by  doxygen 1.5.1-p1
hosted on SourceForge.net Logo