FixedTruncDom< Domain > Class Template Reference

#include <givfixedtrunc.h>

Inheritance diagram for FixedTruncDom< Domain >:

Public Types
typedef FixedTruncDom< Domain >	Self_t
typedef TruncDom< Domain >	Father_t
typedef TruncDom< Domain >::Father_t	PolDom
typedef Domain	Domain_t
typedef Domain::Element	Type_t
typedef Father_t::Polynomial_t	Polynomial_t
typedef Father_t::Storage_t	Storage_t
typedef Storage_t	Rep
typedef Storage_t	Element

Public Member Functions
	FixedTruncDom (const Domain &d, const Degree deg, const Indeter &X=Indeter())
	FixedTruncDom (const Self_t &t)
	FixedTruncDom (const Father_t &t, const Degree deg)
Degree &	getModulus (Degree &d) const
Rep &	init (Rep &p) const
template<class XXX>
Rep &	init (Rep &p, const XXX &cste) const
template<class XXX>
Rep &	init (Rep &p, const Degree deg, const XXX &lcoeff) const
Rep &	assign (Rep &p, const Degree deg, const Type_t &lcoeff) const
Rep &	assign (Rep &p, const Rep &q) const
Rep &	assign (Rep &p, const Polynomial_t &r) const
Rep &	assign (Rep &p, const Polynomial_t &r, const Degree v, const Degree d) const
Rep &	mulin (Rep &p, const Degree &s) const
Rep &	shiftin (Rep &p, const Degree &s) const
Rep &	truncin (Rep &p, const Degree &v, const Degree &d) const
Rep &	trunc (Rep &p, const Rep &R, const Degree &v, const Degree &d) const
Rep &	addin (Rep &R, const Rep &P) const
Rep &	add (Rep &res, const Rep &u, const Rep &v) const
Rep &	addin (Rep &R, const Rep &P, const Degree &v, const Degree &d) const
Rep &	add (Rep &res, const Rep &u, const Rep &v, const Degree &val, const Degree &deg) const
Rep &	sub (Rep &res, const Rep &u, const Rep &v) const
Rep &	subin (Rep &R, const Rep &P) const
Rep &	sub (Rep &R, const Rep &P, const Rep &Q, const Degree &v, const Degree &d) const
Rep &	subin (Rep &R, const Rep &P, const Degree &v, const Degree &d) const
Rep &	mul (Rep &res, const Rep &u, const Rep &v) const
Rep &	mulin (Rep &P, const Rep &Q) const
Rep &	mul (Rep &r, const Rep &u, const Rep &v, const Degree &val, const Degree &deg) const
Rep &	mulin (Rep &r, const Rep &v, const Degree &val, const Degree &deg) const
Rep &	axpy (Rep &r, const Rep &a, const Rep &x, const Rep &y) const
Rep &	axpyin (Rep &r, const Rep &a, const Rep &x) const
Rep &	axpy (Rep &r, const Rep &a, const Rep &x, const Rep &y, const Degree &val, const Degree &deg) const
Rep &	axpyin (Rep &r, const Rep &a, const Rep &x, const Degree &val, const Degree &deg) const
Rep &	axmy (Rep &r, const Rep &a, const Rep &x, const Rep &y) const
Rep &	axmyin (Rep &r, const Rep &a, const Rep &x) const
Rep &	axmy (Rep &r, const Rep &a, const Rep &x, const Rep &y, const Degree &val, const Degree &deg) const
Rep &	axmyin (Rep &r, const Rep &a, const Rep &x, const Degree &val, const Degree &deg) const
Rep &	maxpy (Rep &r, const Rep &a, const Rep &x, const Rep &y) const
Rep &	maxpyin (Rep &r, const Rep &a, const Rep &x) const
Rep &	maxpy (Rep &r, const Rep &a, const Rep &x, const Rep &y, const Degree &val, const Degree &deg) const
Rep &	maxpyin (Rep &r, const Rep &a, const Rep &x, const Degree &val, const Degree &deg) const
Rep &	invin (Rep &q) const
Rep &	inv (Rep &r, const Rep &u) const
Rep &	divin (Rep &q, const Rep &a) const
Rep &	div (Rep &q, const Rep &a, const Rep &b) const
template<class RandIter>
Rep &	random (RandIter &g, Rep &r, Degree s) const
Rep &	random (GivRandom &g, Rep &r, Degree s) const
Type_t &	getEntry (Type_t &c, const Degree &i, const Rep &P) const
Type_t &	leadcoef (Type_t &c, const Rep &P) const
std::ostream &	write (std::ostream &o) const
std::istream &	read (std::istream &i, Rep &n) const
std::ostream &	write (std::ostream &o, const Rep &n) const
const Father_t &	getpoldomain () const
Polynomial_t &	convert (Polynomial_t &r, const Rep &P) const
template<class XXX>
XXX &	convert (XXX &r, const Rep &P) const
Rep &	assign (Rep &p, const Type_t &cste) const
Rep &	divin (Rep &p, const Degree &s) const
Rep &	setdegree (Rep &P) const
Rep &	setval (Rep &P) const
Degree &	degree (Degree &d, const Rep &P) const
Degree &	val (Degree &d, const Rep &P) const
int	isZero (const Rep &P) const
int	isOne (const Rep &P) const
int	isMOne (const Rep &P) const
int	areEqual (const Rep &P, const Rep &Q) const
int	areNEqual (const Rep &P, const Rep &Q) const
Rep &	shift (Rep &p, const Degree &s) const
std::istream &	read (std::istream &i)
Rep &	expand (Rep &P, const Degree &d) const
Rep &	neg (Rep &R, const Rep &P) const
Rep &	negin (Rep &R) const
template<class RandIter>
Rep &	random (RandIter &g, Rep &r) const
template<class RandIter>
Rep &	random (RandIter &g, Rep &r, long s) const
template<class RandIter>
Rep &	random (RandIter &g, Rep &r, const Rep &b) const
template<class RandIter>
Rep &	nonzerorandom (RandIter &g, Rep &r) const
template<class RandIter>
Rep &	nonzerorandom (RandIter &g, Rep &r, long s) const
template<class RandIter>
Rep &	nonzerorandom (RandIter &g, Rep &r, Degree s) const
template<class RandIter>
Rep &	nonzerorandom (RandIter &g, Rep &r, const Rep &b) const

Data Fields
Degree	_deg
Storage_t	zero
Storage_t	one
Storage_t	mOne

Member Typedef Documentation

Self_t

template<class Domain>

typedef FixedTruncDom<Domain> Self_t

Father_t

template<class Domain>

typedef TruncDom<Domain> Father_t

PolDom

template<class Domain>

typedef TruncDom<Domain>::Father_t PolDom

Domain_t

template<class Domain>

typedef Domain Domain_t

Type_t

template<class Domain>

typedef Domain::Element Type_t

Polynomial_t

template<class Domain>

typedef Father_t::Polynomial_t Polynomial_t

Storage_t

template<class Domain>

typedef Father_t::Storage_t Storage_t

Rep

template<class Domain>

typedef Storage_t Rep

Element

template<class Domain>

typedef Storage_t Element

Constructor & Destructor Documentation

FixedTruncDom() [1/3]

template<class Domain>

FixedTruncDom ( const Domain & d, const Degree deg, const Indeter & X = Indeter() )

inline

FixedTruncDom() [2/3]

template<class Domain>

FixedTruncDom ( const Self_t & t )

inline

FixedTruncDom() [3/3]

template<class Domain>

FixedTruncDom ( const Father_t & t, const Degree deg )

inline

Member Function Documentation

getModulus()

template<class Domain>

Degree & getModulus ( Degree & d ) const

inline

init() [1/3]

template<class Domain>

Rep & init ( Rep & p ) const

inline

init() [2/3]

template<class Domain>

template<class XXX>

Rep & init ( Rep & p, const XXX & cste ) const

inline

init() [3/3]

template<class Domain>

template<class XXX>

Rep & init ( Rep & p, const Degree deg, const XXX & lcoeff ) const

inline

assign() [1/5]

template<class Domain>

Rep & assign ( Rep & p, const Degree deg, const Type_t & lcoeff ) const

inline

assign() [2/5]

template<class Domain>

Rep & assign ( Rep & p, const Rep & q ) const

inline

assign() [3/5]

template<class Domain>

Rep & assign ( Rep & p, const Polynomial_t & r ) const

inline

assign() [4/5]

template<class Domain>

Rep & assign	(	Rep &	p,
		const Polynomial_t &	r,
		const Degree	v,
		const Degree	d ) const

mulin() [1/3]

template<class Domain>

Rep & mulin ( Rep & p, const Degree & s ) const

inline

shiftin()

template<class Domain>

Rep & shiftin ( Rep & p, const Degree & s ) const

inline

truncin()

template<class Domain>

Rep & truncin ( Rep & p, const Degree & v, const Degree & d ) const

inline

trunc()

template<class Domain>

Rep & trunc ( Rep & p, const Rep & R, const Degree & v, const Degree & d ) const

inline

addin() [1/2]

template<class Domain>

Rep & addin ( Rep & R, const Rep & P ) const

inline

add() [1/2]

template<class Domain>

Rep & add ( Rep & res, const Rep & u, const Rep & v ) const

inline

addin() [2/2]

template<class Domain>

Rep & addin	(	Rep &	R,
		const Rep &	P,
		const Degree &	v,
		const Degree &	d ) const

add() [2/2]

template<class Domain>

Rep & add	(	Rep &	res,
		const Rep &	u,
		const Rep &	v,
		const Degree &	val,
		const Degree &	deg ) const

sub() [1/2]

template<class Domain>

Rep & sub ( Rep & res, const Rep & u, const Rep & v ) const

inline

subin() [1/2]

template<class Domain>

Rep & subin ( Rep & R, const Rep & P ) const

inline

sub() [2/2]

template<class Domain>

Rep & sub	(	Rep &	R,
		const Rep &	P,
		const Rep &	Q,
		const Degree &	v,
		const Degree &	d ) const

subin() [2/2]

template<class Domain>

Rep & subin	(	Rep &	R,
		const Rep &	P,
		const Degree &	v,
		const Degree &	d ) const

mul() [1/2]

template<class Domain>

Rep & mul ( Rep & res, const Rep & u, const Rep & v ) const

inline

mulin() [2/3]

template<class Domain>

Rep & mulin ( Rep & P, const Rep & Q ) const

inline

mul() [2/2]

template<class Domain>

Rep & mul	(	Rep &	r,
		const Rep &	u,
		const Rep &	v,
		const Degree &	val,
		const Degree &	deg ) const

mulin() [3/3]

template<class Domain>

Rep & mulin	(	Rep &	r,
		const Rep &	v,
		const Degree &	val,
		const Degree &	deg ) const

axpy() [1/2]

template<class Domain>

Rep & axpy ( Rep & r, const Rep & a, const Rep & x, const Rep & y ) const

inline

axpyin() [1/2]

template<class Domain>

Rep & axpyin ( Rep & r, const Rep & a, const Rep & x ) const

inline

axpy() [2/2]

template<class Domain>

Rep & axpy	(	Rep &	r,
		const Rep &	a,
		const Rep &	x,
		const Rep &	y,
		const Degree &	val,
		const Degree &	deg ) const

axpyin() [2/2]

template<class Domain>

Rep & axpyin	(	Rep &	r,
		const Rep &	a,
		const Rep &	x,
		const Degree &	val,
		const Degree &	deg ) const

axmy() [1/2]

template<class Domain>

Rep & axmy ( Rep & r, const Rep & a, const Rep & x, const Rep & y ) const

inline

axmyin() [1/2]

template<class Domain>

Rep & axmyin ( Rep & r, const Rep & a, const Rep & x ) const

inline

axmy() [2/2]

template<class Domain>

Rep & axmy	(	Rep &	r,
		const Rep &	a,
		const Rep &	x,
		const Rep &	y,
		const Degree &	val,
		const Degree &	deg ) const

axmyin() [2/2]

template<class Domain>

Rep & axmyin	(	Rep &	r,
		const Rep &	a,
		const Rep &	x,
		const Degree &	val,
		const Degree &	deg ) const

maxpy() [1/2]

template<class Domain>

Rep & maxpy ( Rep & r, const Rep & a, const Rep & x, const Rep & y ) const

inline

maxpyin() [1/2]

template<class Domain>

Rep & maxpyin ( Rep & r, const Rep & a, const Rep & x ) const

inline

maxpy() [2/2]

template<class Domain>

Rep & maxpy	(	Rep &	r,
		const Rep &	a,
		const Rep &	x,
		const Rep &	y,
		const Degree &	val,
		const Degree &	deg ) const

maxpyin() [2/2]

template<class Domain>

Rep & maxpyin	(	Rep &	r,
		const Rep &	a,
		const Rep &	x,
		const Degree &	val,
		const Degree &	deg ) const

invin()

template<class Domain>

Rep & invin ( Rep & q ) const

inline

inv()

template<class Domain>

Rep & inv ( Rep & r, const Rep & u ) const

inline

divin() [1/2]

template<class Domain>

Rep & divin ( Rep & q, const Rep & a ) const

inline

div()

template<class Domain>

Rep & div ( Rep & q, const Rep & a, const Rep & b ) const

inline

random() [1/5]

template<class Domain>

template<class RandIter>

Rep & random ( RandIter & g, Rep & r, Degree s ) const

inline

random() [2/5]

template<class Domain>

Rep & random ( GivRandom & g, Rep & r, Degree s ) const

inline

getEntry()

template<class Domain>

Type_t & getEntry ( Type_t & c, const Degree & i, const Rep & P ) const

inline

leadcoef()

template<class Domain>

Type_t & leadcoef ( Type_t & c, const Rep & P ) const

inline

write() [1/2]

template<class Domain>

std::ostream & write ( std::ostream & o ) const

inline

read() [1/2]

template<class Domain>

std::istream & read ( std::istream & i, Rep & n ) const

inline

write() [2/2]

template<class Domain>

std::ostream & write ( std::ostream & o, const Rep & n ) const

inline

getpoldomain()

template<class Domain>

const Father_t & getpoldomain ( ) const

inlineinherited

convert() [1/2]

template<class Domain>

Polynomial_t & convert ( Polynomial_t & r, const Rep & P ) const

inlineinherited

convert() [2/2]

template<class Domain>

template<class XXX>

XXX & convert ( XXX & r, const Rep & P ) const

inlineinherited

assign() [5/5]

template<class Domain>

Rep & assign ( Rep & p, const Type_t & cste ) const

inlineinherited

divin() [2/2]

template<class Domain>

Rep & divin ( Rep & p, const Degree & s ) const

inlineinherited

setdegree()

template<class Domain>

Rep & setdegree ( Rep & P ) const

inlineinherited

setval()

template<class Domain>

Rep & setval ( Rep & P ) const

inlineinherited

degree()

template<class Domain>

Degree & degree ( Degree & d, const Rep & P ) const

inlineinherited

val()

template<class Domain>

Degree & val ( Degree & d, const Rep & P ) const

inlineinherited

isZero()

template<class Domain>

int isZero ( const Rep & P ) const

inlineinherited

isOne()

template<class Domain>

int isOne ( const Rep & P ) const

inlineinherited

isMOne()

template<class Domain>

int isMOne ( const Rep & P ) const

inlineinherited

areEqual()

template<class Domain>

int areEqual ( const Rep & P, const Rep & Q ) const

inlineinherited

areNEqual()

template<class Domain>

int areNEqual ( const Rep & P, const Rep & Q ) const

inlineinherited

shift()

template<class Domain>

Rep & shift ( Rep & p, const Degree & s ) const

inherited

read() [2/2]

template<class Domain>

std::istream & read ( std::istream & i )

inlineinherited

expand()

template<class Domain>

Rep & expand ( Rep & P, const Degree & d ) const

inlineinherited

neg()

template<class Domain>

Rep & neg ( Rep & R, const Rep & P ) const

inlineinherited

negin()

template<class Domain>

Rep & negin ( Rep & R ) const

inlineinherited

random() [3/5]

template<class Domain>

template<class RandIter>

Rep & random ( RandIter & g, Rep & r ) const

inlineinherited

random() [4/5]

template<class Domain>

template<class RandIter>

Rep & random ( RandIter & g, Rep & r, long s ) const

inlineinherited

random() [5/5]

template<class Domain>

template<class RandIter>

Rep & random ( RandIter & g, Rep & r, const Rep & b ) const

inlineinherited

nonzerorandom() [1/4]

template<class Domain>

template<class RandIter>

Rep & nonzerorandom ( RandIter & g, Rep & r ) const

inlineinherited

nonzerorandom() [2/4]

template<class Domain>

template<class RandIter>

Rep & nonzerorandom ( RandIter & g, Rep & r, long s ) const

inlineinherited

nonzerorandom() [3/4]

template<class Domain>

template<class RandIter>

Rep & nonzerorandom ( RandIter & g, Rep & r, Degree s ) const

inlineinherited

nonzerorandom() [4/4]

template<class Domain>

template<class RandIter>

Rep & nonzerorandom ( RandIter & g, Rep & r, const Rep & b ) const

inlineinherited

Field Documentation

_deg

template<class Domain>

Degree _deg

zero

template<class Domain>

Storage_t zero

inherited

one

template<class Domain>

Storage_t one

inherited

mOne

template<class Domain>

Storage_t mOne

inherited

---

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

• givfixedtrunc.h