atlas  0.6
Classes | Typedefs | Functions | Variables
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< BaseTypeSize
 

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 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).