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>
R	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>
R	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>
T	conditioner (const T &a, const T &b, const T &N)
template<typename T, typename V>
T	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.

---