Arageli::_Internal Namespace Reference


Classes

class  Auto_stream_state
class  auto_array
class  module_2pm1
 2^p - 1 module. WARNING! TEMPORARY IMPLEMENTATION. More...
struct  Rep_matrix
struct  IF
struct  IF< false, _then, _else >
struct  IS_TYPE_BASE
struct  IS_TYPE_BASE< signed char >
struct  IS_TYPE_BASE< unsigned char >
struct  IS_TYPE_BASE< signed short >
struct  IS_TYPE_BASE< unsigned short >
struct  IS_TYPE_BASE< signed int >
struct  IS_TYPE_BASE< unsigned int >
struct  IS_TYPE_BASE< signed long >
struct  IS_TYPE_BASE< unsigned long >
struct  IS_TYPE_BASE< float >
struct  IS_TYPE_BASE< double >
struct  IS_TYPE_BASE< long double >
struct  IS_TYPE_BASE< big_int >
struct  rand_nolimited
struct  rand_limited
struct  rand_nolimited< signed int, Conf >
struct  rand_limited< signed int, min, max >
struct  rand_nolimited< unsigned int, Conf >
struct  rand_limited< unsigned int, min, max >
struct  rand_nolimited< signed char, Conf >
struct  rand_limited< signed char, min, max >
struct  rand_nolimited< unsigned char, Conf >
struct  rand_limited< unsigned char, min, max >
struct  rand_nolimited< signed short, Conf >
struct  rand_limited< signed short, min, max >
struct  rand_nolimited< unsigned short, Conf >
struct  rand_limited< unsigned short, min, max >
struct  rand_nolimited< signed long, Conf >
struct  rand_limited< signed long, min, max >
struct  rand_nolimited< unsigned long, Conf >
struct  rand_limited< unsigned long, min, max >
struct  rand_nolimited< float, Conf >
struct  rand_limited< float, min, max >
struct  rand_nolimited< double, Conf >
struct  rand_limited< double, min, max >
struct  rand_nolimited< long double, Conf >
struct  rand_limited< long double, min, max >
struct  rand_nolimited< big_int, Conf >
struct  rand_limited< big_int, min, max >
struct  rand_nolimited< rational< T >, Conf >
struct  rand_nolimited< monom< F, I >, Conf >
struct  rand_nolimited< sparse_polynom< F, I, REFCNT >, Conf >
struct  rand_nolimited< matrix< T, REFCNT >, Conf >
struct  rand_nolimited< vector< T, REFCNT >, Conf >
struct  auto_type_category_by_numeric_limits_helper
struct  auto_type_category_by_numeric_limits_helper< true, false >
struct  auto_type_category_by_numeric_limits_helper< true, true >
struct  function_traits_subscript_select_index
struct  function_traits_subscript_select_index< const Vector, Index, Index_category >
struct  select_non_vector< vector< T1, REFCNT1 >, T2 >
struct  select_non_vector< T1, vector< T2, REFCNT2 > >
struct  function_traits_subscript_select_index< Vector, Index, type_category::integer >
struct  function_traits_subscript_select_index< const Vector, Index, type_category::integer >

Typedefs

typedef unsigned short digit
typedef unsigned long doubledigit
typedef unsigned long extendeddigit
typedef unsigned short bit

Functions

bool is_not_contains_spaces (const char *s)
bool read_literal (std::istream &in, const char *s)
template<typename In, typename Str>
bool is_bad_read_literal (In &in, const Str &s)
template<typename In>
bool is_bad_input (In &in)
template<typename A, typename B, typename Store_A, typename Store_B>
void swap_help_1 (A &a, B &b, Store_A &sa, Store_B &sb, true_type)
template<typename A, typename B, typename Store_A, typename Store_B>
void swap_help_1 (A &a, B &b, Store_A &sa, Store_B &sb, false_type)
template<typename In_a, typename In_b>
int aggregate_cmp (In_a ai, In_a aend, In_b bi, In_b bend)
template<typename T>
std::reverse_iterator< T > make_reverse_iterator (const T &x)
template<typename R, typename T>
noncopy_cast (const T &x)
template<typename R>
const R & noncopy_cast (const R &x)
template<typename R>
R & noncopy_cast (R &x)
template<typename R, typename T>
copy_cast (const T &x)
template<typename D1, typename T1, typename D2, typename T2>
bool operator== (const module_2pm1< D1, T1 > &a, const module_2pm1< D2, T2 > &b)
template<typename D1, typename T1, typename D2, typename T2>
bool operator!= (const module_2pm1< D1, T1 > &a, const module_2pm1< D2, T2 > &b)
template<typename In>
std::iterator_traits< In
>::value_type 
content (In begin, In end)
void xdivide (big_int &a, const big_int &b, const big_int &c, big_int &res)
void divide (digit &quotient, digit &remainder, doubledigit numerator, extendeddigit denominator)
std::size_t do_big_int_to_bdn (digit *a, digit *b, std::size_t n, digit bdn_radix)
std::size_t do_bdn_to_big_int (digit *a, digit *b, std::size_t n, digit bdn_radix)
std::size_t do_add (digit *p1, const digit *p2, std::size_t m, std::size_t n)
int do_sub (digit *p1, const digit *p2, std::size_t m, std::size_t n)
std::size_t do_optimize (const digit *a, std::size_t n)
std::size_t do_mult (const digit *u, const digit *v, digit *w, std::size_t m, std::size_t n)
digit do_divide_by_digit (const digit *a, digit *p, std::size_t n, digit d)
std::size_t do_divide (digit *u, digit *v, digit *q, std::size_t m, std::size_t n)
template<typename A, typename B, typename Q, typename Basis, typename T, typename T_factory, typename Ctrler>
void rref_helper_1 (const A &a, B &b, Q &q, Basis &basis, T &det, const T_factory &tfctr, Ctrler ctrler, const true_type &)
template<typename A, typename B, typename Q, typename Basis, typename T, typename T_factory, typename Ctrler>
void rref_helper_1 (const A &a, B &b, Q &q, Basis &basis, T &det, const T_factory &tfctr, Ctrler ctrler, const false_type &)
template<typename T>
conditioner (const T &a, const T &b, const T &N)
template<typename T, typename V>
conditioner (const T &_a, const T &_b, const T &N, V &d)

Variables

const digit max_digit = 0xFFFF
const extendeddigit BASE = 0x10000l
const int bits_per_digit = 16


Typedef Documentation

typedef unsigned short Arageli::_Internal::digit

Definition at line 85 of file bigar.hpp.

typedef unsigned long Arageli::_Internal::doubledigit

Definition at line 86 of file bigar.hpp.

typedef unsigned long Arageli::_Internal::extendeddigit

Definition at line 87 of file bigar.hpp.

typedef unsigned short Arageli::_Internal::bit

Definition at line 88 of file bigar.hpp.


Function Documentation

bool Arageli::_Internal::is_not_contains_spaces ( const char *  s  ) 

Definition at line 57 of file _utility.cpp.

bool Arageli::_Internal::read_literal ( std::istream &  in,
const char *  s 
)

Definition at line 64 of file _utility.cpp.

template<typename In, typename Str>
bool Arageli::_Internal::is_bad_read_literal ( In &  in,
const Str &  s 
) [inline]

Definition at line 60 of file _utility.hpp.

template<typename In>
bool Arageli::_Internal::is_bad_input ( In &  in  )  [inline]

Definition at line 75 of file _utility.hpp.

template<typename A, typename B, typename Store_A, typename Store_B>
void Arageli::_Internal::swap_help_1 ( A &  a,
B &  b,
Store_A &  sa,
Store_B &  sb,
true_type   
) [inline]

Definition at line 150 of file _utility.hpp.

template<typename A, typename B, typename Store_A, typename Store_B>
void Arageli::_Internal::swap_help_1 ( A &  a,
B &  b,
Store_A &  sa,
Store_B &  sb,
false_type   
)

template<typename In_a, typename In_b>
int Arageli::_Internal::aggregate_cmp ( In_a  ai,
In_a  aend,
In_b  bi,
In_b  bend 
)

template<typename T>
std::reverse_iterator<T> Arageli::_Internal::make_reverse_iterator ( const T &  x  ) 

Definition at line 162 of file _utility.hpp.

template<typename R, typename T>
R Arageli::_Internal::noncopy_cast ( const T &  x  )  [inline]

Definition at line 167 of file _utility.hpp.

template<typename R>
const R& Arageli::_Internal::noncopy_cast ( const R &  x  )  [inline]

Definition at line 170 of file _utility.hpp.

template<typename R>
R& Arageli::_Internal::noncopy_cast ( R &  x  )  [inline]

Definition at line 173 of file _utility.hpp.

template<typename R, typename T>
R Arageli::_Internal::copy_cast ( const T &  x  )  [inline]

Definition at line 176 of file _utility.hpp.

template<typename D1, typename T1, typename D2, typename T2>
bool Arageli::_Internal::operator== ( const module_2pm1< D1, T1 > &  a,
const module_2pm1< D2, T2 > &  b 
) [inline]

Definition at line 200 of file _utility.hpp.

template<typename D1, typename T1, typename D2, typename T2>
bool Arageli::_Internal::operator!= ( const module_2pm1< D1, T1 > &  a,
const module_2pm1< D2, T2 > &  b 
) [inline]

Definition at line 204 of file _utility.hpp.

template<typename In>
std::iterator_traits<In>::value_type Arageli::_Internal::content ( In  begin,
In  end 
)

Definition at line 209 of file _utility.hpp.

void Arageli::_Internal::xdivide ( big_int &  a,
const big_int &  b,
const big_int &  c,
big_int &  res 
)

Definition at line 670 of file big_int.cpp.

void Arageli::_Internal::divide ( digit quotient,
digit remainder,
doubledigit  numerator,
extendeddigit  denominator 
) [inline]

Definition at line 29 of file bigar.cpp.

std::size_t Arageli::_Internal::do_big_int_to_bdn ( digit a,
digit b,
std::size_t  n,
digit  bdn_radix 
)

Definition at line 39 of file bigar.cpp.

std::size_t Arageli::_Internal::do_bdn_to_big_int ( digit a,
digit b,
std::size_t  n,
digit  bdn_radix 
)

Definition at line 75 of file bigar.cpp.

std::size_t Arageli::_Internal::do_add ( digit p1,
const digit p2,
std::size_t  m,
std::size_t  n 
)

Definition at line 117 of file bigar.cpp.

int Arageli::_Internal::do_sub ( digit p1,
const digit p2,
std::size_t  m,
std::size_t  n 
)

Definition at line 163 of file bigar.cpp.

std::size_t Arageli::_Internal::do_optimize ( const digit a,
std::size_t  n 
)

Definition at line 213 of file bigar.cpp.

std::size_t Arageli::_Internal::do_mult ( const digit u,
const digit v,
digit w,
std::size_t  m,
std::size_t  n 
)

Definition at line 225 of file bigar.cpp.

digit Arageli::_Internal::do_divide_by_digit ( const digit a,
digit p,
std::size_t  n,
digit  d 
)

Definition at line 256 of file bigar.cpp.

std::size_t Arageli::_Internal::do_divide ( digit u,
digit v,
digit q,
std::size_t  m,
std::size_t  n 
)

Definition at line 278 of file bigar.cpp.

template<typename A, typename B, typename Q, typename Basis, typename T, typename T_factory, typename Ctrler>
void Arageli::_Internal::rref_helper_1 ( const A &  a,
B &  b,
Q &  q,
Basis &  basis,
T &  det,
const T_factory &  tfctr,
Ctrler  ctrler,
const true_type &   
) [inline]

Definition at line 654 of file gauss.hpp.

template<typename A, typename B, typename Q, typename Basis, typename T, typename T_factory, typename Ctrler>
void Arageli::_Internal::rref_helper_1 ( const A &  a,
B &  b,
Q &  q,
Basis &  basis,
T &  det,
const T_factory &  tfctr,
Ctrler  ctrler,
const false_type &   
) [inline]

Definition at line 671 of file gauss.hpp.

template<typename T>
T Arageli::_Internal::conditioner ( const T &  a,
const T &  b,
const T &  N 
)

template<typename T, typename V>
T Arageli::_Internal::conditioner ( const T &  _a,
const T &  _b,
const T &  N,
V &  d 
)


Variable Documentation

const digit Arageli::_Internal::max_digit = 0xFFFF

Definition at line 89 of file bigar.hpp.

const extendeddigit Arageli::_Internal::BASE = 0x10000l

Definition at line 90 of file bigar.hpp.

const int Arageli::_Internal::bits_per_digit = 16

Definition at line 91 of file bigar.hpp.


Generated on Thu Aug 31 17:38:34 2006 for Arageli by  doxygen 1.4.7