#include <givinterp.h>

Inheritance diagram for Interpolation< Domain, REDUCE >:

Collaboration diagram for Interpolation< Domain, REDUCE >:

Public Types
typedef std::vector< typename Domain::Element >	Vect_t

typedef Poly1Dom< Domain, Dense >::Element	Element

typedef Domain	Domain_t

typedef Domain::Element	Type_t

typedef Domain::Residu_t	Residu_t

typedef Poly1Dom< Domain, Dense >	Self_t

typedef givvector< Type_t >	Storage_t

typedef Storage_t	Rep

typedef const Storage_t	constRep

typedef GIV_randIter< Self_t, Element >	RandIter

Public Member Functions
	Interpolation (const Domain &d, const Indeter &X=Indeter())

void	operator() (const typename Domain::Element &x, const typename Domain::Element &f)

Element &	interpolator ()

Residu_t	characteristic () const

Integer &	characteristic (Integer &p) const

Residu_t	cardinality () const

Integer &	cardinality (Integer &c) const

int	operator== (const Poly1Dom< Domain, Dense > &BC) const

int	operator!= (const Poly1Dom< Domain, Dense > &BC) const

const Indeter &	getIndeter () const

Indeter &	setIndeter (const Indeter &X)

const Domain &	subdomain () const

const Domain &	getdomain () const

Domain &	setdomain (const Domain &D)

const Domain &	subDomain () const

const Domain &	getDomain () const

Domain &	setDomain (const Domain &D)

Rep &	init (Rep &a) const

template<class XXX >
Rep &	init (Rep &p, const XXX &cste) const

template<class XXX >
Rep &	init (Rep &p, const std::initializer_list< XXX > &cste) const

Rep &	init (Rep &r, const Degree deg) const

template<class XXX >
Rep &	init (Rep &p, const Degree deg, const XXX &lcoeff) const

template<class XXX >
Poly1Dom< Domain, Dense >::Rep &	init (Rep &P, const XXX &Val) const

template<class XXX >
Poly1Dom< Domain, Dense >::Rep &	init (Rep &P, const std::initializer_list< XXX > &L) const

template<class XXX >
Poly1Dom< Domain, Dense >::Rep &	init (Rep &P, const Degree d, const XXX &Val) const

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

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

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

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

template<class XXX >
XXX &	convert (XXX &p, const Rep &) const

template<class UU , template< class XX > class Vect>
Vect< UU > &	convert (Vect< UU > &, const Rep &P) const

template<class XXX >
XXX &	convert (XXX &Val, const typename Poly1Dom< Domain, Dense >::Rep &P) const

template<class UU , template< class XX > class Vect>
Vect< UU > &	convert (Vect< UU > &Val, const typename Poly1Dom< Domain, Dense >::Rep &P) const

int	isZero (const Rep &P) const

int	isOne (const Rep &P) const

int	isMOne (const Rep &P) const

bool	isUnit (const Rep &P) const

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

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

bool	isDivisor (const Rep &P, const Element &Q) const
	isDivisor (a, b) Tests if Q \| P (that is if P mod Q == 0). More...

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

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

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

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

Degree	degree (const Rep &P) const

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

Rep &	setdegree (Rep &P) const
	Compute the degree of P. More...

Rep &	setDegree (Rep &P) const

Type_t &	eval (Type_t &pval, const Rep &P, const Type_t &val) const

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

Rep &	reverse (Rep &, const Rep &) const

Rep &	reversein (Rep &) const

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

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

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

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

Rep &	addin (Rep &res, const Rep &u) const

Rep &	addin (Rep &res, const Type_t &val) const

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

Rep &	add (Rep &res, const Rep &u, const Type_t &val) const

Rep &	add (Rep &res, const Type_t &val, const Rep &v) const

Rep &	subin (Rep &res, const Rep &u) const

Rep &	subin (Rep &res, const Type_t &val) const

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

Rep &	sub (Rep &res, const Rep &u, const Type_t &val) const

Rep &	sub (Rep &res, const Type_t &val, const Rep &v) const

Rep &	negin (Rep &res) const

Rep &	neg (Rep &res, const Rep &u) const

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

Rep &	mulin (Rep &q, const Type_t &a) const

Rep &	mul (Rep &q, const Type_t &a, const Rep &b) const

Rep &	mul (Rep &q, const Rep &a, const Type_t &b) const

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

Rep &	mul (Rep &, const Rep &, const Rep &, const Degree &, const Degree &) const

Rep &	stdmul (Rep &R, const Rep &P, const Rep &Q) const

Rep &	karamul (Rep &R, const Rep &P, const Rep &Q) const

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

Rep &	shiftin (Rep &, int) const

Rep &	shift (Rep &, const Rep &, int) const

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

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

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

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

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

Rep &	invin (Rep &R) const

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

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

Rep &	modin (Rep &q, const Type_t &a) const

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

Rep &	mod (Rep &q, const Type_t &a, const Rep &b) const

Rep &	mod (Rep &q, const Rep &a, const Type_t &b) const

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

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

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

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

Rep &	maxpy (Rep &r, const Rep &a, const Rep &b, const Rep &c) const

Rep &	maxpy (Rep &r, const Type_t &a, const Rep &b, const Rep &c) const

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

Rep &	maxpyin (Rep &r, const Type_t &a, const Rep &b) const

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

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

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

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

Rep &	divmod (Rep &q, Rep &r, const Rep &a, const Rep &b) const

Rep &	divmodin (Rep &q, Rep &r, const Rep &b) const

Rep &	pdivmod (Rep &q, Rep &r, Type_t &m, const Rep &a, const Rep &b) const

Rep &	pmod (Rep &r, Type_t &m, const Rep &a, const Rep &b) const

Rep &	pmod (Rep &r, const Rep &a, const Rep &b) const

Rep &	pdiv (Rep &q, Type_t &m, const Rep &a, const Rep &b) const

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

Rep &	gcd (Rep &D, const Rep &P, const Rep &Q) const

Rep &	gcd (Rep &D, Rep &U, Rep &V, const Rep &P, const Rep &Q) const

Rep &	lcm (Rep &D, const Rep &P, const Rep &Q) const

Rep &	invmod (Rep &U, const Rep &P, const Rep &Q) const

Rep &	invmodunit (Rep &U, const Rep &P, const Rep &Q) const

bool	ratrecon (Rep &N, Rep &D, const Rep &P, const Rep &M, const Degree &dk) const

bool	ratrecon (Rep &N, Rep &D, const Rep &P, const Rep &M, const Degree &dk, bool forcereduce) const

bool	ratreconcheck (Rep &N, Rep &D, const Rep &P, const Rep &M, const Degree &dk) const

Rep &	pow (Rep &W, const Rep &P, uint64_t n) const

Rep &	powmod (Rep &W, const Rep &P, IntegerDom::Element pwr, const Rep &U) const

template<class MyInt >
Rep &	powmod (Rep &W, const Rep &P, MyInt pwr, const Rep &U) const

Rep &	power_compose (Rep &W, const Rep &P, uint64_t b) const

Rep &	cyclotomic (Rep &P, uint64_t n) const

template<class RandomIterator >
Rep &	random (RandomIterator &g, Rep &r) const

template<class RandomIterator >
Rep &	random (RandomIterator &g, Rep &r, uint64_t s) const

template<class RandomIterator >
Rep &	random (RandomIterator &g, Rep &r, Degree s) const

template<class RandomIterator >
Rep &	random (RandomIterator &g, Rep &r, const Rep &b) const

template<class RandomIterator >
Poly1Dom< Domain, Dense >::Rep &	random (RandomIterator &g, Rep &r) const

template<class RandomIterator >
Poly1Dom< Domain, Dense >::Rep &	random (RandomIterator &g, Rep &r, uint64_t s) const

template<class RandomIterator >
Poly1Dom< Domain, Dense >::Rep &	random (RandomIterator &g, typename Poly1Dom< Domain, Dense >::Rep &r, Degree d) const

template<class RandomIterator >
Poly1Dom< Domain, Dense >::Rep &	random (RandomIterator &g, Rep &r, const Rep &b) const

template<class RandomIterator >
Rep &	nonzerorandom (RandomIterator &g, Rep &r) const

template<class RandomIterator >
Rep &	nonzerorandom (RandomIterator &g, Rep &r, uint64_t s) const

template<class RandomIterator >
Rep &	nonzerorandom (RandomIterator &g, Rep &r, Degree s) const

template<class RandomIterator >
Rep &	nonzerorandom (RandomIterator &g, Rep &r, const Rep &b) const

template<class RandomIterator >
Poly1Dom< Domain, Dense >::Rep &	nonzerorandom (RandomIterator &g, Rep &r) const

template<class RandomIterator >
Poly1Dom< Domain, Dense >::Rep &	nonzerorandom (RandomIterator &g, Rep &r, uint64_t s) const

template<class RandomIterator >
Poly1Dom< Domain, Dense >::Rep &	nonzerorandom (RandomIterator &g, Rep &r, Degree d) const

template<class RandomIterator >
Poly1Dom< Domain, Dense >::Rep &	nonzerorandom (RandomIterator &g, Rep &r, const Rep &b) const

size_t &	sqrfree (size_t &Nfact, Rep *Fact, const Rep &P) const
	Sqrfree decomposition. More...

Data Fields
Rep	zero

Rep	one

Rep	mOne

Protected Types
typedef Rep::iterator	RepIterator

typedef Rep::const_iterator	RepConstIterator

Protected Member Functions
Rep &	subin (Rep &R, const Rep &P, const RepConstIterator Pbeg, const RepConstIterator Pend) const

Rep &	subin (Rep &R, const RepIterator Rbeg, const Rep &P, const RepConstIterator Pbeg, const RepConstIterator Pend) const

Rep &	subin (Rep &R, const RepIterator Rbeg, const RepIterator Rend, const Rep &P, const RepConstIterator Pbeg, const RepConstIterator Pend) const

Rep &	mul (Rep &R, const RepIterator Rbeg, const RepIterator Rend, const Rep &P, const RepConstIterator Pbeg, const RepConstIterator Pend, const Rep &Q, const RepConstIterator Qbeg, const RepConstIterator Qend) const

Rep &	stdmul (Rep &R, const RepIterator Rbeg, const RepIterator Rend, const Rep &P, const RepConstIterator Pbeg, const RepConstIterator Pend, const Rep &Q, const RepConstIterator Qbeg, const RepConstIterator Qend) const

Rep &	karamul (Rep &R, const RepIterator Rbeg, const RepIterator Rend, const Rep &P, const RepConstIterator Pbeg, const RepConstIterator Pend, const Rep &Q, const RepConstIterator Qbeg, const RepConstIterator Qend) const

Rep &	sqr (Rep &R, const RepIterator Rbeg, const RepIterator Rend, const Rep &P, const RepConstIterator Pbeg, const RepConstIterator Pend) const

Rep &	stdsqr (Rep &R, const RepIterator Rbeg, const RepIterator Rend, const Rep &P, const RepConstIterator Pbeg, const RepConstIterator Pend, const Type_t &two) const

Rep &	sqrrec (Rep &R, const RepIterator Rbeg, const RepIterator Rend, const Rep &P, const RepConstIterator Pbeg, const RepConstIterator Pend, const Type_t &two) const

Protected Attributes
Domain	_domain

Indeter	_x

Detailed Description

template<class Domain, bool REDUCE = true>
struct Givaro::Interpolation< Domain, REDUCE >

Interpolation.

Member Typedef Documentation

◆ Vect_t

typedef std::vector< typename Domain::Element > Vect_t

◆ Element

typedef Poly1Dom<Domain, Dense>::Element Element

◆ Domain_t

typedef Domain Domain_t

inherited

◆ Type_t

typedef Domain::Element Type_t

inherited

◆ Residu_t

typedef Domain::Residu_t Residu_t

inherited

◆ Self_t

typedef Poly1Dom<Domain,Dense> Self_t

inherited

◆ Storage_t

typedef givvector<Type_t> Storage_t

inherited

◆ Rep

typedef Storage_t Rep

inherited

◆ constRep

typedef const Storage_t constRep

inherited

◆ RandIter

typedef GIV_randIter< Self_t, Element> RandIter

inherited

◆ RepIterator

typedef Rep::iterator RepIterator

protectedinherited

◆ RepConstIterator

typedef Rep::const_iterator RepConstIterator

protectedinherited

Constructor & Destructor Documentation

◆ Interpolation()

Interpolation	(	const Domain &	d,
		const Indeter &	X = `Indeter()`
	)

inline

Member Function Documentation

◆ operator()()

void operator()	(	const typename Domain::Element &	x,
		const typename Domain::Element &	f
	)

inline

◆ interpolator()

Element& interpolator ( )

inline

◆ characteristic() [1/2]

Residu_t characteristic ( ) const

inlineinherited

◆ characteristic() [2/2]

Integer& characteristic ( Integer & p ) const

inlineinherited

◆ cardinality() [1/2]

Residu_t cardinality ( ) const

inlineinherited

◆ cardinality() [2/2]

Integer& cardinality ( Integer & c ) const

inlineinherited

◆ operator==()

int operator== ( const Poly1Dom< Domain, Dense > & BC ) const

inlineinherited

◆ operator!=()

int operator!= ( const Poly1Dom< Domain, Dense > & BC ) const

inlineinherited

◆ getIndeter()

const Indeter& getIndeter ( ) const

inlineinherited

◆ setIndeter()

Indeter& setIndeter ( const Indeter & X )

inlineinherited

◆ subdomain()

const Domain& subdomain ( ) const

inlineinherited

◆ getdomain()

const Domain& getdomain ( ) const

inlineinherited

◆ setdomain()

Domain& setdomain ( const Domain & D )

inlineinherited

◆ subDomain()

const Domain& subDomain ( ) const

inlineinherited

◆ getDomain()

const Domain& getDomain ( ) const

inlineinherited

◆ setDomain()

Domain& setDomain ( const Domain & D )

inlineinherited

◆ init() [1/8]

Poly1Dom< Domain, Dense >::Rep & init ( Rep & a ) const

inlineinherited

◆ init() [2/8]

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

inherited

◆ init() [3/8]

Rep& init	(	Rep &	p,
		const std::initializer_list< XXX > &	cste
	)		const

inherited

◆ init() [4/8]

Poly1Dom< Domain, Dense >::Rep & init	(	Rep &	r,
		const Degree	deg
	)		const

inlineinherited

◆ init() [5/8]

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

inherited

◆ init() [6/8]

Poly1Dom<Domain,Dense>::Rep& init	(	Rep &	P,
		const XXX &	Val
	)		const

inlineinherited

◆ init() [7/8]

Poly1Dom<Domain,Dense>::Rep& init	(	Rep &	P,
		const std::initializer_list< XXX > &	L
	)		const

inlineinherited

◆ init() [8/8]

Poly1Dom<Domain,Dense>::Rep& init	(	Rep &	P,
		const Degree	d,
		const XXX &	Val
	)		const

inlineinherited

◆ assign() [1/4]

Poly1Dom< Domain, Dense >::Rep & assign	(	Rep &	p,
		const Degree	deg,
		const Type_t &	lcoeff
	)		const

inlineinherited

◆ assign() [2/4]

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

inlineinherited

◆ assign() [3/4]

Poly1Dom< Domain, Dense >::Rep & assign	(	Rep &	p,
		const Rep &	q
	)		const

inlineinherited

◆ assign() [4/4]

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

inherited

◆ convert() [1/4]

XXX& convert	(	XXX &	p,
		const Rep &
	)		const

inherited

◆ convert() [2/4]

Vect<UU>& convert	(	Vect< UU > &	,
		const Rep &	P
	)		const

inherited

◆ convert() [3/4]

XXX& convert	(	XXX &	Val,
		const typename Poly1Dom< Domain, Dense >::Rep &	P
	)		const

inlineinherited

◆ convert() [4/4]

Vect<UU>& convert	(	Vect< UU > &	Val,
		const typename Poly1Dom< Domain, Dense >::Rep &	P
	)		const

inlineinherited

◆ isZero()

int isZero ( const Rep & P ) const

inlineinherited

◆ isOne()

int isOne ( const Rep & P ) const

inlineinherited

◆ isMOne()

int isMOne ( const Rep & P ) const

inlineinherited

◆ isUnit()

bool isUnit ( const Rep & P ) const

inlineinherited

◆ areEqual()

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

inlineinherited

◆ areNEqual()

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

inlineinherited

◆ isDivisor()

bool isDivisor	(	const Rep &	P,
		const Element &	Q
	)		const

inlineinherited

isDivisor (a, b) Tests if Q | P (that is if P mod Q == 0).

◆ leadcoef()

Poly1Dom< Domain, Dense >::Type_t & leadcoef	(	Type_t &	c,
		const Rep &	P
	)		const

inlineinherited

◆ getEntry()

Poly1Dom< Domain, Dense >::Type_t & getEntry	(	Type_t &	c,
		const Degree &	i,
		const Rep &	P
	)		const

inlineinherited

◆ setEntry()

Poly1Dom< Domain, Dense >::Type_t setEntry	(	Rep &	P,
		const Type_t &	c,
		const Degree &	i
	)		const

inlineinherited

◆ degree() [1/2]

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

inlineinherited

◆ degree() [2/2]

Degree degree ( const Rep & P ) const

inlineinherited

◆ val()

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

inlineinherited

◆ setdegree()

Poly1Dom< Domain, Dense >::Rep & setdegree ( Rep & P ) const

inlineinherited

Compute the degree of P.

Warning: this is an infamous function that may not leave P constant !!

Parameters

P	polynomial

◆ setDegree()

Rep& setDegree ( Rep & P ) const

inlineinherited

◆ eval()

Poly1Dom< Domain, Dense >::Type_t & eval	(	Type_t &	pval,
		const Rep &	P,
		const Type_t &	val
	)		const

inlineinherited

◆ diff()

Poly1Dom< Domain, Dense >::Rep & diff	(	Rep &	P,
		const Rep &	Q
	)		const

inlineinherited

◆ reverse()

Poly1Dom< Domain, Dense >::Rep & reverse	(	Rep &	P,
		const Rep &	Q
	)		const

inlineinherited

◆ reversein()

Poly1Dom< Domain, Dense >::Rep & reversein ( Rep & P ) const

inlineinherited

◆ read() [1/2]

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

inherited

◆ read() [2/2]

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

inherited

◆ write() [1/2]

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

inherited

◆ write() [2/2]

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

inherited

◆ addin() [1/2]

Poly1Dom< Domain, Dense >::Rep & addin	(	Rep &	res,
		const Rep &	u
	)		const

inlineinherited

◆ addin() [2/2]

Poly1Dom< Domain, Dense >::Rep & addin	(	Rep &	res,
		const Type_t &	val
	)		const

inlineinherited

◆ add() [1/3]

Poly1Dom< Domain, Dense >::Rep & add	(	Rep &	res,
		const Rep &	u,
		const Rep &	v
	)		const

inlineinherited

◆ add() [2/3]

Poly1Dom< Domain, Dense >::Rep & add	(	Rep &	res,
		const Rep &	u,
		const Type_t &	val
	)		const

inlineinherited

◆ add() [3/3]

Poly1Dom< Domain, Dense >::Rep & add	(	Rep &	res,
		const Type_t &	val,
		const Rep &	v
	)		const

inlineinherited

◆ subin() [1/5]

Poly1Dom< Domain, Dense >::Rep & subin	(	Rep &	res,
		const Rep &	u
	)		const

inlineinherited

◆ subin() [2/5]

Poly1Dom< Domain, Dense >::Rep & subin	(	Rep &	res,
		const Type_t &	val
	)		const

inlineinherited

◆ subin() [3/5]

Poly1Dom< Domain, Dense >::Rep & subin	(	Rep &	R,
		const Rep &	P,
		const RepConstIterator	Pbeg,
		const RepConstIterator	Pend
	)		const

inlineprotectedinherited

◆ subin() [4/5]

Poly1Dom< Domain, Dense >::Rep & subin	(	Rep &	R,
		const RepIterator	Rbeg,
		const Rep &	P,
		const RepConstIterator	Pbeg,
		const RepConstIterator	Pend
	)		const

inlineprotectedinherited

◆ subin() [5/5]

Poly1Dom< Domain, Dense >::Rep & subin	(	Rep &	R,
		const RepIterator	Rbeg,
		const RepIterator	Rend,
		const Rep &	P,
		const RepConstIterator	Pbeg,
		const RepConstIterator	Pend
	)		const

inlineprotectedinherited

◆ sub() [1/3]

Poly1Dom< Domain, Dense >::Rep & sub	(	Rep &	res,
		const Rep &	u,
		const Rep &	v
	)		const

inlineinherited

◆ sub() [2/3]

Poly1Dom< Domain, Dense >::Rep & sub	(	Rep &	res,
		const Rep &	u,
		const Type_t &	val
	)		const

inlineinherited

◆ sub() [3/3]

Poly1Dom< Domain, Dense >::Rep & sub	(	Rep &	res,
		const Type_t &	val,
		const Rep &	v
	)		const

inlineinherited

◆ negin()

Poly1Dom< Domain, Dense >::Rep & negin ( Rep & res ) const

inlineinherited

◆ neg()

Poly1Dom< Domain, Dense >::Rep & neg	(	Rep &	res,
		const Rep &	u
	)		const

inlineinherited

◆ mulin() [1/2]

Poly1Dom< Domain, Dense >::Rep & mulin	(	Rep &	q,
		const Rep &	a
	)		const

inlineinherited

◆ mulin() [2/2]

Poly1Dom< Domain, Dense >::Rep & mulin	(	Rep &	q,
		const Type_t &	a
	)		const

inlineinherited

◆ mul() [1/5]

Poly1Dom< Domain, Dense >::Rep & mul	(	Rep &	q,
		const Type_t &	a,
		const Rep &	b
	)		const

inlineinherited

◆ mul() [2/5]

Poly1Dom< Domain, Dense >::Rep & mul	(	Rep &	q,
		const Rep &	a,
		const Type_t &	b
	)		const

inlineinherited

◆ mul() [3/5]

Poly1Dom< Domain, Dense >::Rep & mul	(	Rep &	q,
		const Rep &	a,
		const Rep &	b
	)		const

inlineinherited

◆ mul() [4/5]

Poly1Dom< Domain, Dense >::Rep & mul	(	Rep &	R,
		const Rep &	P,
		const Rep &	Q,
		const Degree &	Val,
		const Degree &	deg
	)		const

inlineinherited

◆ mul() [5/5]

Poly1Dom< Domain, Dense >::Rep & mul	(	Rep &	R,
		const RepIterator	Rbeg,
		const RepIterator	Rend,
		const Rep &	P,
		const RepConstIterator	Pbeg,
		const RepConstIterator	Pend,
		const Rep &	Q,
		const RepConstIterator	Qbeg,
		const RepConstIterator	Qend
	)		const

inlineprotectedinherited

◆ stdmul() [1/2]

Poly1Dom< Domain, Dense >::Rep & stdmul	(	Rep &	R,
		const Rep &	P,
		const Rep &	Q
	)		const

inlineinherited

◆ stdmul() [2/2]

Poly1Dom< Domain, Dense >::Rep & stdmul	(	Rep &	R,
		const RepIterator	Rbeg,
		const RepIterator	Rend,
		const Rep &	P,
		const RepConstIterator	Pbeg,
		const RepConstIterator	Pend,
		const Rep &	Q,
		const RepConstIterator	Qbeg,
		const RepConstIterator	Qend
	)		const

inlineprotectedinherited

◆ karamul() [1/2]

Poly1Dom< Domain, Dense >::Rep & karamul	(	Rep &	R,
		const Rep &	P,
		const Rep &	Q
	)		const

inlineinherited

◆ karamul() [2/2]

Poly1Dom< Domain, Dense >::Rep & karamul	(	Rep &	R,
		const RepIterator	Rbeg,
		const RepIterator	Rend,
		const Rep &	P,
		const RepConstIterator	Pbeg,
		const RepConstIterator	Pend,
		const Rep &	Q,
		const RepConstIterator	Qbeg,
		const RepConstIterator	Qend
	)		const

inlineprotectedinherited

◆ sqr() [1/2]

Poly1Dom< Domain, Dense >::Rep & sqr	(	Rep &	q,
		const Rep &	a
	)		const

inlineinherited

◆ sqr() [2/2]

Poly1Dom< Domain, Dense >::Rep & sqr	(	Rep &	R,
		const RepIterator	Rbeg,
		const RepIterator	Rend,
		const Rep &	P,
		const RepConstIterator	Pbeg,
		const RepConstIterator	Pend
	)		const

inlineprotectedinherited

◆ shiftin()

Poly1Dom< Domain, Dense >::Rep & shiftin	(	Rep &	R,
		int	s
	)		const

inlineinherited

◆ shift()

Poly1Dom< Domain, Dense >::Rep & shift	(	Rep &	R,
		const Rep &	a,
		int	s
	)		const

inlineinherited

◆ divin() [1/2]

Poly1Dom< Domain, Dense >::Rep & divin	(	Rep &	q,
		const Rep &	a
	)		const

inlineinherited

◆ divin() [2/2]

Poly1Dom< Domain, Dense >::Rep & divin	(	Rep &	q,
		const Type_t &	a
	)		const

inlineinherited

◆ div() [1/3]

Poly1Dom< Domain, Dense >::Rep & div	(	Rep &	q,
		const Rep &	a,
		const Rep &	b
	)		const

inlineinherited

◆ div() [2/3]

Poly1Dom< Domain, Dense >::Rep & div	(	Rep &	q,
		const Type_t &	a,
		const Rep &	b
	)		const

inlineinherited

◆ div() [3/3]

Poly1Dom< Domain, Dense >::Rep & div	(	Rep &	q,
		const Rep &	a,
		const Type_t &	b
	)		const

inlineinherited

◆ invin()

Poly1Dom< Domain, Dense >::Rep & invin ( Rep & R ) const

inlineinherited

◆ inv()

Poly1Dom< Domain, Dense >::Rep & inv	(	Rep &	R,
		const Rep &	P
	)		const

inlineinherited

◆ modin() [1/2]

Poly1Dom< Domain, Dense >::Rep & modin	(	Rep &	q,
		const Rep &	a
	)		const

inlineinherited

◆ modin() [2/2]

Poly1Dom< Domain, Dense >::Rep & modin	(	Rep &	q,
		const Type_t &	a
	)		const

inlineinherited

◆ mod() [1/3]

Poly1Dom< Domain, Dense >::Rep & mod	(	Rep &	q,
		const Rep &	a,
		const Rep &	b
	)		const

inlineinherited

◆ mod() [2/3]

Poly1Dom< Domain, Dense >::Rep & mod	(	Rep &	q,
		const Type_t &	a,
		const Rep &	b
	)		const

inlineinherited

◆ mod() [3/3]

Poly1Dom< Domain, Dense >::Rep & mod	(	Rep &	q,
		const Rep &	a,
		const Type_t &	b
	)		const

inlineinherited

◆ axpy() [1/2]

Poly1Dom< Domain, Dense >::Rep & axpy	(	Rep &	r,
		const Rep &	a,
		const Rep &	x,
		const Rep &	y
	)		const

inlineinherited

◆ axpy() [2/2]

Poly1Dom< Domain, Dense >::Rep & axpy	(	Rep &	r,
		const Type_t &	a,
		const Rep &	x,
		const Rep &	y
	)		const

inlineinherited

◆ axpyin() [1/2]

Poly1Dom< Domain, Dense >::Rep & axpyin	(	Rep &	r,
		const Rep &	a,
		const Rep &	x
	)		const

inlineinherited

◆ axpyin() [2/2]

Poly1Dom< Domain, Dense >::Rep & axpyin	(	Rep &	r,
		const Type_t &	a,
		const Rep &	x
	)		const

inlineinherited

◆ maxpy() [1/2]

Poly1Dom< Domain, Dense >::Rep & maxpy	(	Rep &	r,
		const Rep &	a,
		const Rep &	b,
		const Rep &	c
	)		const

inlineinherited

◆ maxpy() [2/2]

Poly1Dom< Domain, Dense >::Rep & maxpy	(	Rep &	r,
		const Type_t &	a,
		const Rep &	b,
		const Rep &	c
	)		const

inlineinherited

◆ maxpyin() [1/2]

Poly1Dom< Domain, Dense >::Rep & maxpyin	(	Rep &	r,
		const Rep &	a,
		const Rep &	b
	)		const

inlineinherited

◆ maxpyin() [2/2]

Poly1Dom< Domain, Dense >::Rep & maxpyin	(	Rep &	r,
		const Type_t &	a,
		const Rep &	b
	)		const

inlineinherited

◆ axmy() [1/2]

Poly1Dom< Domain, Dense >::Rep & axmy	(	Rep &	r,
		const Rep &	a,
		const Rep &	x,
		const Rep &	y
	)		const

inlineinherited

◆ axmy() [2/2]

Poly1Dom< Domain, Dense >::Rep & axmy	(	Rep &	r,
		const Type_t &	a,
		const Rep &	x,
		const Rep &	y
	)		const

inlineinherited

◆ axmyin() [1/2]

Poly1Dom< Domain, Dense >::Rep & axmyin	(	Rep &	r,
		const Rep &	a,
		const Rep &	x
	)		const

inlineinherited

◆ axmyin() [2/2]

Poly1Dom< Domain, Dense >::Rep & axmyin	(	Rep &	r,
		const Type_t &	a,
		const Rep &	x
	)		const

inlineinherited

◆ divmod()

Poly1Dom< Domain, Dense >::Rep & divmod	(	Rep &	q,
		Rep &	r,
		const Rep &	a,
		const Rep &	b
	)		const

inlineinherited

◆ divmodin()

Poly1Dom< Domain, Dense >::Rep & divmodin	(	Rep &	q,
		Rep &	r,
		const Rep &	b
	)		const

inlineinherited

◆ pdivmod()

Poly1Dom< Domain, Dense >::Rep & pdivmod	(	Rep &	q,
		Rep &	r,
		Type_t &	m,
		const Rep &	a,
		const Rep &	b
	)		const

inlineinherited

◆ pmod() [1/2]

Poly1Dom< Domain, Dense >::Rep & pmod	(	Rep &	r,
		Type_t &	m,
		const Rep &	a,
		const Rep &	b
	)		const

inlineinherited

◆ pmod() [2/2]

Rep& pmod	(	Rep &	r,
		const Rep &	a,
		const Rep &	b
	)		const

inherited

◆ pdiv() [1/2]

Rep& pdiv	(	Rep &	q,
		Type_t &	m,
		const Rep &	a,
		const Rep &	b
	)		const

inherited

◆ pdiv() [2/2]

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

inherited

◆ gcd() [1/2]

Poly1Dom< Domain, Dense >::Rep & gcd	(	Rep &	D,
		const Rep &	P,
		const Rep &	Q
	)		const

inlineinherited

◆ gcd() [2/2]

Poly1Dom< Domain, Dense >::Rep & gcd	(	Rep &	D,
		Rep &	U,
		Rep &	V,
		const Rep &	P,
		const Rep &	Q
	)		const

inlineinherited

◆ lcm()

Poly1Dom< Domain, Dense >::Rep & lcm	(	Rep &	D,
		const Rep &	P,
		const Rep &	Q
	)		const

inlineinherited

◆ invmod()

Poly1Dom< Domain, Dense >::Rep & invmod	(	Rep &	U,
		const Rep &	P,
		const Rep &	Q
	)		const

inlineinherited

◆ invmodunit()

Poly1Dom< Domain, Dense >::Rep & invmodunit	(	Rep &	U,
		const Rep &	P,
		const Rep &	Q
	)		const

inlineinherited

◆ ratrecon() [1/2]

bool ratrecon	(	Rep &	N,
		Rep &	D,
		const Rep &	P,
		const Rep &	M,
		const Degree &	dk
	)		const

inherited

◆ ratrecon() [2/2]

bool ratrecon	(	Rep &	N,
		Rep &	D,
		const Rep &	P,
		const Rep &	M,
		const Degree &	dk,
		bool	forcereduce
	)		const

inherited

◆ ratreconcheck()

bool ratreconcheck	(	Rep &	N,
		Rep &	D,
		const Rep &	P,
		const Rep &	M,
		const Degree &	dk
	)		const

inherited

◆ pow()

Poly1Dom< Domain, Dense >::Rep & pow	(	Rep &	W,
		const Rep &	P,
		uint64_t	n
	)		const

inlineinherited

◆ powmod() [1/2]

Poly1Dom< Domain, Dense >::Rep & powmod	(	Rep &	W,
		const Rep &	P,
		IntegerDom::Element	pwr,
		const Rep &	U
	)		const

inlineinherited

◆ powmod() [2/2]

Rep& powmod	(	Rep &	W,
		const Rep &	P,
		MyInt	pwr,
		const Rep &	U
	)		const

inlineinherited

◆ power_compose()

Poly1Dom< Domain, Dense >::Rep & power_compose	(	Rep &	W,
		const Rep &	P,
		uint64_t	b
	)		const

inlineinherited

◆ cyclotomic()

Poly1Dom< Domain, Dense >::Rep & cyclotomic	(	Rep &	P,
		uint64_t	n
	)		const

inlineinherited

◆ random() [1/8]

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

inherited

◆ random() [2/8]

Rep& random	(	RandomIterator &	g,
		Rep &	r,
		uint64_t	s
	)		const

inherited

◆ random() [3/8]

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

inherited

◆ random() [4/8]

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

inherited

◆ random() [5/8]

Poly1Dom<Domain,Dense>::Rep& random	(	RandomIterator &	g,
		Rep &	r
	)		const

inlineinherited

◆ random() [6/8]

Poly1Dom<Domain,Dense>::Rep& random	(	RandomIterator &	g,
		Rep &	r,
		uint64_t	s
	)		const

inlineinherited

◆ random() [7/8]

Poly1Dom<Domain,Dense>::Rep& random	(	RandomIterator &	g,
		typename Poly1Dom< Domain, Dense >::Rep &	r,
		Degree	d
	)		const

inlineinherited

◆ random() [8/8]

Poly1Dom<Domain,Dense>::Rep& random	(	RandomIterator &	g,
		Rep &	r,
		const Rep &	b
	)		const

inlineinherited

◆ nonzerorandom() [1/8]

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

inherited

◆ nonzerorandom() [2/8]

Rep& nonzerorandom	(	RandomIterator &	g,
		Rep &	r,
		uint64_t	s
	)		const

inherited

◆ nonzerorandom() [3/8]

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

inherited

◆ nonzerorandom() [4/8]

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

inherited

◆ nonzerorandom() [5/8]

Poly1Dom<Domain,Dense>::Rep& nonzerorandom	(	RandomIterator &	g,
		Rep &	r
	)		const

inlineinherited

◆ nonzerorandom() [6/8]

Poly1Dom<Domain,Dense>::Rep& nonzerorandom	(	RandomIterator &	g,
		Rep &	r,
		uint64_t	s
	)		const

inlineinherited

◆ nonzerorandom() [7/8]

Poly1Dom<Domain,Dense>::Rep& nonzerorandom	(	RandomIterator &	g,
		Rep &	r,
		Degree	d
	)		const

inlineinherited

◆ nonzerorandom() [8/8]

Poly1Dom<Domain,Dense>::Rep& nonzerorandom	(	RandomIterator &	g,
		Rep &	r,
		const Rep &	b
	)		const

inlineinherited

◆ sqrfree()

size_t & sqrfree	(	size_t &	Nfact,
		Rep *	Fact,
		const Rep &	P
	)		const

inherited

Sqrfree decomposition.

Decompose P such that: P = Fact[0]^0 * Fact[1]^1 * ... * Fact[P.degree()]^(P.degree()), with Fact[0] the leading coefficient. The array Fact must be allocated before calling the function. The size of Fact must be degP+1 is all factors should be computed. For more readeable version of the algorithm, see Geddes, p342.

Parameters

Nfact	[in] the size of Fact
Fact	[in] an array of dimension Nfact
Nfact	[out] is the number of factor in the sqrfree decomposition
Fact	[out] contains at most Nfact factors of the decomposition.
P	rep.

◆ stdsqr()

Poly1Dom< Domain, Dense >::Rep & stdsqr	(	Rep &	R,
		const RepIterator	Rbeg,
		const RepIterator	Rend,
		const Rep &	P,
		const RepConstIterator	Pbeg,
		const RepConstIterator	Pend,
		const Type_t &	two
	)		const

inlineprotectedinherited

◆ sqrrec()

Poly1Dom< Domain, Dense >::Rep & sqrrec	(	Rep &	R,
		const RepIterator	Rbeg,
		const RepIterator	Rend,
		const Rep &	P,
		const RepConstIterator	Pbeg,
		const RepConstIterator	Pend,
		const Type_t &	two
	)		const

inlineprotectedinherited

Field Documentation

◆ _domain

Domain _domain

protectedinherited

◆ _x

Indeter _x

protectedinherited

◆ zero

Rep zero

inherited

◆ one

Rep one

inherited

◆ mOne

Rep mOne

inherited

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

givinterp.h

Public Types

Public Member Functions

Data Fields

Protected Types

Protected Member Functions

Protected Attributes

Detailed Description

template<class Domain, bool REDUCE = true> struct Givaro::Interpolation< Domain, REDUCE >

Member Typedef Documentation

◆ Vect_t

◆ Element

◆ Domain_t

◆ Type_t

◆ Residu_t

◆ Self_t

◆ Storage_t

◆ Rep

◆ constRep

◆ RandIter

◆ RepIterator

◆ RepConstIterator

Constructor & Destructor Documentation

◆ Interpolation()

Member Function Documentation

◆ operator()()

◆ interpolator()

◆ characteristic() [1/2]

◆ characteristic() [2/2]

◆ cardinality() [1/2]

◆ cardinality() [2/2]

◆ operator==()

◆ operator!=()

◆ getIndeter()

◆ setIndeter()

◆ subdomain()

◆ getdomain()

◆ setdomain()

◆ subDomain()

◆ getDomain()

◆ setDomain()

◆ init() [1/8]

◆ init() [2/8]

◆ init() [3/8]

◆ init() [4/8]

◆ init() [5/8]

◆ init() [6/8]

◆ init() [7/8]

◆ init() [8/8]

◆ assign() [1/4]

◆ assign() [2/4]

◆ assign() [3/4]

◆ assign() [4/4]

◆ convert() [1/4]

◆ convert() [2/4]

◆ convert() [3/4]

◆ convert() [4/4]

◆ isZero()

◆ isOne()

◆ isMOne()

◆ isUnit()

◆ areEqual()

◆ areNEqual()

◆ isDivisor()

◆ leadcoef()

◆ getEntry()

◆ setEntry()

◆ degree() [1/2]

◆ degree() [2/2]

◆ val()

◆ setdegree()

◆ setDegree()

◆ eval()

◆ diff()

◆ reverse()

◆ reversein()

◆ read() [1/2]

◆ read() [2/2]

◆ write() [1/2]

◆ write() [2/2]

◆ addin() [1/2]

template<class Domain, bool REDUCE = true>
struct Givaro::Interpolation< Domain, REDUCE >