#include <givintrns.h>

Inheritance diagram for IntRNSsystem< Container, Alloc >:

Public Types
typedef Element	external
typedef Container< Element, Alloc< Element > >	array
typedef Integer	Rep
typedef Rep	Element
Public Member Functions
	IntRNSsystem ()
	~IntRNSsystem ()
	IntRNSsystem (const IntRNSsystem &R)
	IntRNSsystem (const array &primes)
template<class TT >
	IntRNSsystem (const Container< TT, Alloc< TT > > &primes)
template<class TT >
void	RnsToMixedRadix (array &mixrad, const Container< TT, Alloc< TT > > &residu)
void	MixedRadixToRing (external &res, const array &mixrad) const
void	RingToRns (array &residu, const external &a)
void	fastRingToRns (array &residu, const external &a) const
template<class TT >
void	RnsToRing (external &a, const Container< TT, Alloc< TT > > &residu)
void	fastRnsToRing (external &a, const array &residu) const
int	NumOfPrimes () const
const array &	Primes () const
const Element	ith (const size_t i) const
const array &	Reciprocals () const
const Element	reciprocal (const size_t i) const
const Element	product () const
template<class TT >
void	RnsToMixedRadix (IntRNSsystem< Container, Alloc >::array &mixrad, const Container< TT, Alloc< TT > > &residu)
int	operator== (const IntegerDom &) const
int	operator!= (const IntegerDom &) const
Rep &	init (Rep &a) const
Rep &	init (Rep &a, const Rep &b) const
Rep &	read (Rep &a, const long i) const
Rep &	read (Rep &a, const unsigned long i) const
Rep &	read (Rep &a, const int i) const
Rep &	read (Rep &a, const unsigned int i) const
std::istream &	read (std::istream &i)
std::istream &	read (std::istream &i, Rep &n) const
Rep &	convert (Rep &a, const Rep &b) const
template<class XXX >
XXX &	convert (XXX &x, const Rep &a) const
Rep &	assign (Rep &a, const Rep &b) const
const Rep &	access (const Rep &a) const
Rep &	mul (Rep &r, const Rep &a, const Rep &b) const
Rep &	div (Rep &r, const Rep &a, const Rep &b) const
Rep &	mod (Rep &r, const Rep &a, const Rep &b) const
Rep &	add (Rep &r, const Rep &a, const Rep &b) const
Rep &	sub (Rep &r, const Rep &a, const Rep &b) const
Rep &	divmod (Rep &q, Rep &r, const Rep &a, const Rep &b) const
Rep &	divexact (Rep &q, const Rep &a, const Rep &b) const
Rep &	mulin (Rep &r, const Rep &a) const
Rep &	divin (Rep &r, const Rep &a) const
Rep &	modin (Rep &r, const Rep &a) const
Rep &	addin (Rep &r, const Rep &a) const
Rep &	subin (Rep &r, const Rep &a) const
Rep &	axpy (Rep &r, const Rep &a, const Rep &b, const Rep &c) const
Rep &	maxpy (Rep &r, const Rep &a, const Rep &b, const Rep &c) const
Rep &	maxpyin (Rep &r, const Rep &a, const Rep &b) const
Rep &	axmy (Rep &r, const Rep &a, const Rep &b, const Rep &c) const
Rep &	axpyin (Rep &r, const Rep &a, const Rep &b) const
Rep &	axmyin (Rep &r, const Rep &a, const Rep &b) const
Rep &	neg (Rep &r, const Rep &a) const
Rep &	negin (Rep &r) const
Rep &	gcd (Rep &g, Rep &u, Rep &v, const Rep &a, const Rep &b) const
Rep &	gcd (Rep &g, const Rep &a, const Rep &b) const
Rep &	lcm (Rep &l, const Rep &a, const Rep &b) const
Rep &	lcmin (Rep &l, const Rep &a) const
Rep &	inv (Rep &u, const Rep &a, const Rep &b) const
Rep &	invin (Rep &u, const Rep &b) const
Rep &	pow (Rep &r, const Rep &n, const long l) const
Rep &	pow (Rep &r, const Rep &n, const unsigned long l) const
Rep &	pow (Rep &r, const Rep &n, const int l) const
Rep &	pow (Rep &r, const Rep &n, const unsigned int l) const
Rep &	sqrt (Rep &s, const Rep &n) const
Rep &	sqrt (Rep &s, Rep &r, const Rep &n) const
long	logp (const Rep &a, const Rep &p) const
Rep &	powmod (Rep &r, const Rep &n, const long e, const Rep &m) const
Rep &	powmod (Rep &r, const Rep &n, const Rep &e, const Rep &m) const
unsigned long	length (const Rep &a) const
int	sign (const Rep &a) const
bool	isZero (const Rep &a) const
bool	isOne (const Rep &a) const
bool	areEqual (const Rep &a, const Rep &b) const
bool	areNEqual (const Rep &a, const Rep &b) const
bool	isgeq (const Rep &a, const Rep &b) const
bool	isgeq (const long b, const Rep &a) const
bool	isgeq (const Rep &a, const long b) const
bool	isleq (const Rep &a, const Rep &b) const
bool	isleq (const long b, const Rep &a) const
bool	isleq (const Rep &a, const long b) const
bool	isgt (const Rep &a, const Rep &b) const
bool	isgt (const long b, const Rep &a) const
bool	isgt (const Rep &a, const long b) const
bool	islt (const Rep &a, const Rep &b) const
bool	islt (const long b, const Rep &a) const
bool	islt (const Rep &a, const long b) const
template<class RandIter >
Rep &	random (RandIter &, Rep &r, long s=1) const
template<class RandIter >
Rep &	random (RandIter &, Rep &r, const Rep &b) const
template<class RandIter >
Rep &	nonzerorandom (RandIter &, Rep &r, long s=1) const
template<class RandIter >
Rep &	nonzerorandom (RandIter &, Rep &r, const Rep &b) const
std::ostream &	write (std::ostream &o) const
std::ostream &	write (std::ostream &o, const Rep &n) const
Data Fields
const Integer	one
const Integer	zero
Protected Member Functions
void	ComputeCk ()
void	ComputeProd ()
void	ComputeQk ()
Protected Attributes
array	_primes
Element	_prod
array	_ck
size_t	_sizek
size_t	_log2k
array	_qk
array	_u

template<template< class, class > class Container, template< class > class Alloc>
class Givaro::IntRNSsystem< Container, Alloc >

Member Typedef Documentation

typedef Element external

typedef Container< Element, Alloc<Element> > array

typedef Integer Rep [inherited]

Reimplemented in IntNumTheoDom< RandIter >, and IntSqrtModDom< RandIter >.

typedef Rep Element [inherited]

Reimplemented in IntRSADom< RandIter >, and Poly1PadicDom< Domain, Dense >.

Examples:: examples/Integer/lambda.C, examples/Integer/lambda_inv.C, examples/Integer/phi.C, examples/Integer/primitiveelement.C, examples/Integer/primitiveroot.C, and examples/Integer/probable_primroot.C.

Constructor & Destructor Documentation

IntRNSsystem ( ) [inline]

~IntRNSsystem ( ) [inline]

IntRNSsystem ( const IntRNSsystem< Container, Alloc > & R ) [inline]

IntRNSsystem ( const array & primes )

IntRNSsystem ( const Container< TT, Alloc< TT > > & primes ) [inline]

Member Function Documentation

void RnsToMixedRadix	(	array &	mixrad,
		const Container< TT, Alloc< TT > > &	residu
	)

void MixedRadixToRing	(	external &	res,
		const array &	mixrad
	)		const

void RingToRns	(	array &	residu,
		const external &	a
	)

void fastRingToRns	(	array &	residu,
		const external &	a
	)		const

void RnsToRing	(	external &	a,
		const Container< TT, Alloc< TT > > &	residu
	)		`[inline]`

void fastRnsToRing	(	external &	a,
		const array &	residu
	)		const

int NumOfPrimes ( ) const [inline]

const IntRNSsystem< Container, Alloc >::array & Primes ( ) const [inline]

const IntRNSsystem< Container, Alloc >::Element ith ( const size_t i ) const [inline]

const IntRNSsystem< Container, Alloc >::array & Reciprocals ( ) const [inline]

const IntRNSsystem< Container, Alloc >::Element reciprocal ( const size_t i ) const [inline]

const IntRNSsystem< Container, Alloc >::Element product ( ) const [inline]

void ComputeCk ( ) [inline, protected]

void ComputeProd ( ) [inline, protected]

void ComputeQk ( ) [protected]

void RnsToMixedRadix	(	IntRNSsystem< Container, Alloc >::array &	mixrad,
		const Container< TT, Alloc< TT > > &	residu
	)		`[inline]`

int operator== ( const IntegerDom & ) const [inline, inherited]

int operator!= ( const IntegerDom & ) const [inline, inherited]

Rep& init ( Rep & a ) const [inline, inherited]

Rep& init	(	Rep &	a,
		const Rep &	b
	)		const `[inline, inherited]`

Rep& read	(	Rep &	a,
		const long	i
	)		const `[inline, inherited]`

Rep& read	(	Rep &	a,
		const unsigned long	i
	)		const `[inline, inherited]`

Rep& read	(	Rep &	a,
		const int	i
	)		const `[inline, inherited]`

Rep& read	(	Rep &	a,
		const unsigned int	i
	)		const `[inline, inherited]`

std::istream& read ( std::istream & i ) [inline, inherited]

std::istream& read	(	std::istream &	i,
		Rep &	n
	)		const `[inline, inherited]`

Rep& convert	(	Rep &	a,
		const Rep &	b
	)		const `[inline, inherited]`

XXX& convert	(	XXX &	x,
		const Rep &	a
	)		const `[inline, inherited]`

Rep& assign	(	Rep &	a,
		const Rep &	b
	)		const `[inline, inherited]`

const Rep& access ( const Rep & a ) const [inline, inherited]

Rep& mul	(	Rep &	r,
		const Rep &	a,
		const Rep &	b
	)		const `[inline, inherited]`

Examples:: examples/Integer/ilcm.C.

Rep& div	(	Rep &	r,
		const Rep &	a,
		const Rep &	b
	)		const `[inline, inherited]`

Rep& mod	(	Rep &	r,
		const Rep &	a,
		const Rep &	b
	)		const `[inline, inherited]`

Rep& add	(	Rep &	r,
		const Rep &	a,
		const Rep &	b
	)		const `[inline, inherited]`

Rep& sub	(	Rep &	r,
		const Rep &	a,
		const Rep &	b
	)		const `[inline, inherited]`

Examples:: examples/Integer/ProbLucas.C.

Rep& divmod	(	Rep &	q,
		Rep &	r,
		const Rep &	a,
		const Rep &	b
	)		const `[inline, inherited]`

Rep& divexact	(	Rep &	q,
		const Rep &	a,
		const Rep &	b
	)		const `[inline, inherited]`

Rep& mulin	(	Rep &	r,
		const Rep &	a
	)		const `[inline, inherited]`

Examples:: examples/Integer/ilcm.C, and examples/Integer/ProbLucas.C.

Rep& divin	(	Rep &	r,
		const Rep &	a
	)		const `[inline, inherited]`

Examples:: examples/Integer/ilcm.C.

Rep& modin	(	Rep &	r,
		const Rep &	a
	)		const `[inline, inherited]`

Examples:: examples/Integer/ProbLucas.C.

Rep& addin	(	Rep &	r,
		const Rep &	a
	)		const `[inline, inherited]`

Examples:: examples/Integer/ProbLucas.C.

Rep& subin	(	Rep &	r,
		const Rep &	a
	)		const `[inline, inherited]`

Rep& axpy	(	Rep &	r,
		const Rep &	a,
		const Rep &	b,
		const Rep &	c
	)		const `[inline, inherited]`

Rep& maxpy	(	Rep &	r,
		const Rep &	a,
		const Rep &	b,
		const Rep &	c
	)		const `[inline, inherited]`

Rep& maxpyin	(	Rep &	r,
		const Rep &	a,
		const Rep &	b
	)		const `[inline, inherited]`

Rep& axmy	(	Rep &	r,
		const Rep &	a,
		const Rep &	b,
		const Rep &	c
	)		const `[inline, inherited]`

Rep& axpyin	(	Rep &	r,
		const Rep &	a,
		const Rep &	b
	)		const `[inline, inherited]`

Rep& axmyin	(	Rep &	r,
		const Rep &	a,
		const Rep &	b
	)		const `[inline, inherited]`

Rep& neg	(	Rep &	r,
		const Rep &	a
	)		const `[inline, inherited]`

Rep& negin ( Rep & r ) const [inline, inherited]

Rep& gcd	(	Rep &	g,
		Rep &	u,
		Rep &	v,
		const Rep &	a,
		const Rep &	b
	)		const `[inline, inherited]`

Examples:: examples/Integer/igcd.C, examples/Integer/igcdext.C, examples/Integer/ilcm.C, and examples/Integer/ProbLucas.C.

Rep& gcd	(	Rep &	g,
		const Rep &	a,
		const Rep &	b
	)		const `[inline, inherited]`

Rep& lcm	(	Rep &	l,
		const Rep &	a,
		const Rep &	b
	)		const `[inline, inherited]`

Examples:: examples/Integer/ilcm.C.

Rep& lcmin	(	Rep &	l,
		const Rep &	a
	)		const `[inline, inherited]`

Examples:: examples/Integer/ilcm.C.

Rep& inv	(	Rep &	u,
		const Rep &	a,
		const Rep &	b
	)		const `[inline, inherited]`

Rep& invin	(	Rep &	u,
		const Rep &	b
	)		const `[inline, inherited]`

Rep& pow	(	Rep &	r,
		const Rep &	n,
		const long	l
	)		const `[inline, inherited]`

Rep& pow	(	Rep &	r,
		const Rep &	n,
		const unsigned long	l
	)		const `[inline, inherited]`

Rep& pow	(	Rep &	r,
		const Rep &	n,
		const int	l
	)		const `[inline, inherited]`

Rep& pow	(	Rep &	r,
		const Rep &	n,
		const unsigned int	l
	)		const `[inline, inherited]`

Rep& sqrt	(	Rep &	s,
		const Rep &	n
	)		const `[inline, inherited]`

Rep& sqrt	(	Rep &	s,
		Rep &	r,
		const Rep &	n
	)		const `[inline, inherited]`

long logp	(	const Rep &	a,
		const Rep &	p
	)		const `[inline, inherited]`

Rep& powmod	(	Rep &	r,
		const Rep &	n,
		const long	e,
		const Rep &	m
	)		const `[inline, inherited]`

Examples:: examples/Integer/ProbLucas.C.

Rep& powmod	(	Rep &	r,
		const Rep &	n,
		const Rep &	e,
		const Rep &	m
	)		const `[inline, inherited]`

unsigned long length ( const Rep & a ) const [inline, inherited]

int sign ( const Rep & a ) const [inline, inherited]

bool isZero ( const Rep & a ) const [inline, inherited]

bool isOne ( const Rep & a ) const [inline, inherited]

bool areEqual	(	const Rep &	a,
		const Rep &	b
	)		const `[inline, inherited]`

bool areNEqual	(	const Rep &	a,
		const Rep &	b
	)		const `[inline, inherited]`

bool isgeq	(	const Rep &	a,
		const Rep &	b
	)		const `[inline, inherited]`

bool isgeq	(	const long	b,
		const Rep &	a
	)		const `[inline, inherited]`

bool isgeq	(	const Rep &	a,
		const long	b
	)		const `[inline, inherited]`

bool isleq	(	const Rep &	a,
		const Rep &	b
	)		const `[inline, inherited]`

bool isleq	(	const long	b,
		const Rep &	a
	)		const `[inline, inherited]`

bool isleq	(	const Rep &	a,
		const long	b
	)		const `[inline, inherited]`

bool isgt	(	const Rep &	a,
		const Rep &	b
	)		const `[inline, inherited]`

bool isgt	(	const long	b,
		const Rep &	a
	)		const `[inline, inherited]`

bool isgt	(	const Rep &	a,
		const long	b
	)		const `[inline, inherited]`

bool islt	(	const Rep &	a,
		const Rep &	b
	)		const `[inline, inherited]`

bool islt	(	const long	b,
		const Rep &	a
	)		const `[inline, inherited]`

bool islt	(	const Rep &	a,
		const long	b
	)		const `[inline, inherited]`

Rep& random	(	RandIter &	,
		Rep &	r,
		long	s = `1`
	)		const `[inline, inherited]`

Examples:: examples/Integer/ProbLucas.C.

Rep& random	(	RandIter &	,
		Rep &	r,
		const Rep &	b
	)		const `[inline, inherited]`

Rep& nonzerorandom	(	RandIter &	,
		Rep &	r,
		long	s = `1`
	)		const `[inline, inherited]`

Rep& nonzerorandom	(	RandIter &	,
		Rep &	r,
		const Rep &	b
	)		const `[inline, inherited]`

std::ostream& write ( std::ostream & o ) const [inline, inherited]

Examples:: examples/Integer/lambda.C, examples/Integer/lambda_inv.C, examples/Integer/phi.C, examples/Integer/primitiveelement.C, and examples/Integer/probable_primroot.C.

std::ostream& write	(	std::ostream &	o,
		const Rep &	n
	)		const `[inline, inherited]`

Field Documentation

array _primes [protected]

Element _prod [protected]

array _ck [protected]

size_t _sizek [protected]

size_t _log2k [protected]

array _qk [protected]

array _u [protected]

const Integer one [inherited]

const Integer zero [inherited]

The documentation for this class was generated from the following files:

Public Types

Public Member Functions

Data Fields

Protected Member Functions

Protected Attributes

template<template< class, class > class Container, template< class > class Alloc> class Givaro::IntRNSsystem< Container, Alloc >

Member Typedef Documentation

Constructor & Destructor Documentation

Member Function Documentation

Field Documentation

template<template< class, class > class Container, template< class > class Alloc>
class Givaro::IntRNSsystem< Container, Alloc >