atlas::size Namespace Reference

Classes
class	PrimesMax
	A template to indicate the (manually computed) ordinal (position on the list of primes) of the largest prime factor of a Weyl group of rank at most n. More...
class	PrimesMax< 16 >
	Position on the list of primes of the largest possible prime factor of a Weyl group of rank at most 16. More...
class	PrimesMax< 32 >
	Position on the list of primes of the largest possible prime factor of a Weyl group of rank at most 32. More...
class	PrimesMax< 64 >
	Position on the list of primes of the largest possible prime factor of a Weyl group of rank at most 64. More...
class	PrimesMax< 8 >
	Position on the list of primes of the largest possible prime factor of a Weyl group of rank at most 8. More...
class	SizeType
	Stores a positive integer as product of prime powers, using the first PRIMES_MAX primes. More...

Typedefs
typedef signed char	BaseType
typedef unsigned char	UnsignedBaseType
typedef SizeType< BaseType >	Size

Functions
unsigned long	prime (size_t j)
Size	factorial (unsigned long n)
	Return the factorial of |n|. More...

Variables
const size_t	PRIMES_MAX = PrimesMax<constants::RANK_MAX>::value
	Position on the list of primes of the largest possible prime factor of a Weyl group of rank at most RANK_MAX. More...

Typedef Documentation

typedef signed char atlas::size::BaseType

typedef SizeType< BaseType > atlas::size::Size

typedef unsigned char atlas::size::UnsignedBaseType

Function Documentation

Size atlas::size::factorial

(

unsigned long

n

)

Return the factorial of |n|.

unsigned long atlas::size::prime

(

size_t

j

)

Synopsis: returns the j-th prime number, counting from 0.

Precondition: j < PRIMES_MAX;

Variable Documentation

const size_t atlas::size::PRIMES_MAX = PrimesMax<constants::RANK_MAX>::value

Position on the list of primes of the largest possible prime factor of a Weyl group of rank at most RANK_MAX.

With RANK_MAX=16, this is 7 (for the seventh prime 17).