HighOrder< Domain > Struct Template Reference

#include <givhighorder.h>

Public Types
typedef HighOrder< Domain >	Self_t
typedef FracDom< Poly1Dom < Domain, Dense > >	Father_t
typedef FracDom< Poly1Dom < Domain, Dense > >	Frac_t
typedef Poly1Dom< Domain, Dense >	Ring_t
typedef Poly1Dom< Domain, Dense >	Poly_t
typedef TruncDom< Domain >	Trunc_t
typedef Trunc_t::Element	Truncated
typedef Ring_t::Element	Ring_E
typedef Ring_t::Element	Polynomial
typedef Frac< Ring_E, Ring_E >	Element
typedef Frac< Ring_E, Ring_E >	Rep
typedef Domain	Domain_t
typedef Domain::Element	Type_t
Public Member Functions
const Poly_t &	getpoldom () const
const Domain &	getdomain () const
const Trunc_t &	gettruncdom () const
	HighOrder (const Domain &d, const Indeter &Z=Indeter())
Polynomial &	taylor (Polynomial &Tay, const Rep &Fra, Degree order) const
Truncated &	Fiduccia (Truncated &F, const Rep &Fra, Degree a, Degree b) const
Truncated &	Fiduccia (Truncated &F, const Polynomial &Tay, const Polynomial &FraDen, Degree a, Degree b) const
Truncated &	Fiduccia (Truncated &F, const Polynomial &Tay, const Polynomial &FraDen, Degree b) const
Truncated &	Fiduccia (Truncated &F, const Rep &Fra, Degree b) const
Type_t &	shifteddotproduct (Type_t &dp, const Polynomial &P, const Polynomial &Q, const long shift) const
Truncated &	FiducciaReversed (Truncated &F, const Polynomial &Tay, const Polynomial &FraDen, Degree a, Degree b) const
Truncated &	FiducciaReversed (Truncated &F, const Polynomial &Tay, const Polynomial &FraDen, Degree b) const
Truncated &	FracDevel (Truncated &F, const Rep &Fra, Degree a, Degree b) const
Truncated &	GammaId (Truncated &Gam, const Polynomial &Tay, const Degree dT, const Degree k0, const Polynomial &A, const Degree dA) const
Truncated &	doubleorder (Truncated &Gam, Truncated &T, const Truncated &Gamp, const Truncated &Tp, const Truncated &S, const Truncated &TA, const Degree dA, const Degree ke) const
std::vector< Truncated > &	highorder (std::vector< Truncated > &Gam, std::vector< Truncated > &T, std::vector< Degree > &Deg, Polynomial &Tay, Degree &dT, Degree a, Degree order, const Polynomial &A, const Degree dA) const
Truncated &	Betta (Truncated &B, const Truncated &TB, const Truncated &TA, const Degree dA, const Degree a, const Polynomial &Tay, const Degree dT, const std::vector< Truncated > &Gam, const std::vector< Truncated > &T, const std::vector< Degree > &Deg) const
Truncated &	FracDevel (Truncated &F, const Truncated &TB, const Truncated &TA, const Degree dA, const Degree a, const Degree b, const Polynomial &Tay, const Degree dT, const std::vector< Truncated > &Gam, const std::vector< Truncated > &T, const std::vector< Degree > &Deg) const
Truncated &	Inverse (Truncated &I, const Degree a, const Degree b, const Truncated &TA, const Degree dA, const Polynomial &Tay, const Degree dT, const std::vector< Truncated > &Gam, const std::vector< Truncated > &T, const std::vector< Degree > &Deg) const
Truncated &	Gamma (Truncated &G, const Degree a, const Truncated &TA, const Degree dA, const Polynomial &Tay, const Degree dT, const std::vector< Truncated > &Gam, const std::vector< Truncated > &T, const std::vector< Degree > &Deg) const
std::ostream &	write (std::ostream &o) const
std::ostream &	write (std::ostream &o, const Truncated &n) const
std::ostream &	write (std::ostream &o, const Polynomial &n) const
std::ostream &	write (std::ostream &o, const Rep &n) const
Data Fields
const Poly_t	_poldom
const Domain &	_dom
const Trunc_t	_truncdom

---

Detailed Description

template<class Domain>
struct Givaro::HighOrder< Domain >

Examples:

examples/Polynomial/highorder.C.

---

Member Typedef Documentation

typedef HighOrder<Domain> Self_t

typedef FracDom< Poly1Dom<Domain,Dense> > Father_t

typedef FracDom< Poly1Dom<Domain,Dense> > Frac_t

typedef Poly1Dom<Domain,Dense> Ring_t

typedef Poly1Dom<Domain,Dense> Poly_t

typedef TruncDom<Domain> Trunc_t

typedef Trunc_t::Element Truncated

typedef Ring_t::Element Ring_E

typedef Ring_t::Element Polynomial

typedef Frac<Ring_E, Ring_E> Element

typedef Frac<Ring_E, Ring_E> Rep

typedef Domain Domain_t

typedef Domain::Element Type_t

---

Constructor & Destructor Documentation

HighOrder	(	const Domain &	d,
		const Indeter &	Z = Indeter()
	)		[inline]

---

Member Function Documentation

const Poly_t& getpoldom

(

)

const [inline]

Examples:

examples/Polynomial/highorder.C.

const Domain& getdomain

(

)

const [inline]

const Trunc_t& gettruncdom

(

)

const [inline]

Examples:

examples/Polynomial/highorder.C.

Polynomial& taylor	(	Polynomial &	Tay,
		const Rep &	Fra,
		Degree	order
	)		const [inline]

Examples:

examples/Polynomial/highorder.C.

Truncated& Fiduccia	(	Truncated &	F,
		const Rep &	Fra,
		Degree	a,
		Degree	b
	)		const [inline]

Examples:

examples/Polynomial/highorder.C.

Truncated& Fiduccia	(	Truncated &	F,
		const Polynomial &	Tay,
		const Polynomial &	FraDen,
		Degree	a,
		Degree	b
	)		const [inline]

Truncated& Fiduccia	(	Truncated &	F,
		const Polynomial &	Tay,
		const Polynomial &	FraDen,
		Degree	b
	)		const [inline]

Truncated& Fiduccia	(	Truncated &	F,
		const Rep &	Fra,
		Degree	b
	)		const [inline]

Type_t& shifteddotproduct	(	Type_t &	dp,
		const Polynomial &	P,
		const Polynomial &	Q,
		const long	shift
	)		const [inline]

Truncated& FiducciaReversed	(	Truncated &	F,
		const Polynomial &	Tay,
		const Polynomial &	FraDen,
		Degree	a,
		Degree	b
	)		const [inline]

Truncated& FiducciaReversed	(	Truncated &	F,
		const Polynomial &	Tay,
		const Polynomial &	FraDen,
		Degree	b
	)		const [inline]

Truncated& FracDevel	(	Truncated &	F,
		const Rep &	Fra,
		Degree	a,
		Degree	b
	)		const [inline]

Examples:

examples/Polynomial/highorder.C.

Truncated& GammaId	(	Truncated &	Gam,
		const Polynomial &	Tay,
		const Degree	dT,
		const Degree	k0,
		const Polynomial &	A,
		const Degree	dA
	)		const [inline]

Truncated& doubleorder	(	Truncated &	Gam,
		Truncated &	T,
		const Truncated &	Gamp,
		const Truncated &	Tp,
		const Truncated &	S,
		const Truncated &	TA,
		const Degree	dA,
		const Degree	ke
	)		const [inline]

std::vector<Truncated>& highorder	(	std::vector< Truncated > &	Gam,
		std::vector< Truncated > &	T,
		std::vector< Degree > &	Deg,
		Polynomial &	Tay,
		Degree &	dT,
		Degree	a,
		Degree	order,
		const Polynomial &	A,
		const Degree	dA
	)		const [inline]

Truncated& Betta	(	Truncated &	B,
		const Truncated &	TB,
		const Truncated &	TA,
		const Degree	dA,
		const Degree	a,
		const Polynomial &	Tay,
		const Degree	dT,
		const std::vector< Truncated > &	Gam,
		const std::vector< Truncated > &	T,
		const std::vector< Degree > &	Deg
	)		const [inline]

Truncated& FracDevel	(	Truncated &	F,
		const Truncated &	TB,
		const Truncated &	TA,
		const Degree	dA,
		const Degree	a,
		const Degree	b,
		const Polynomial &	Tay,
		const Degree	dT,
		const std::vector< Truncated > &	Gam,
		const std::vector< Truncated > &	T,
		const std::vector< Degree > &	Deg
	)		const [inline]

Truncated& Inverse	(	Truncated &	I,
		const Degree	a,
		const Degree	b,
		const Truncated &	TA,
		const Degree	dA,
		const Polynomial &	Tay,
		const Degree	dT,
		const std::vector< Truncated > &	Gam,
		const std::vector< Truncated > &	T,
		const std::vector< Degree > &	Deg
	)		const [inline]

Truncated& Gamma	(	Truncated &	G,
		const Degree	a,
		const Truncated &	TA,
		const Degree	dA,
		const Polynomial &	Tay,
		const Degree	dT,
		const std::vector< Truncated > &	Gam,
		const std::vector< Truncated > &	T,
		const std::vector< Degree > &	Deg
	)		const [inline]

std::ostream& write

(

std::ostream &

o

)

const [inline]

Examples:

examples/Polynomial/highorder.C.

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

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

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

---

Field Documentation

const Poly_t _poldom

const Domain& _dom

const Trunc_t _truncdom

---

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

• givhighorder.h