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

Member Typedef Documentation

Self_t

template<class Domain>

typedef HighOrder<Domain> Self_t

Father_t

template<class Domain>

typedef FracDom< Poly1Dom<Domain,Dense> > Father_t

Frac_t

template<class Domain>

typedef FracDom< Poly1Dom<Domain,Dense> > Frac_t

Ring_t

template<class Domain>

typedef Poly1Dom<Domain,Dense> Ring_t

Poly_t

template<class Domain>

typedef Poly1Dom<Domain,Dense> Poly_t

Trunc_t

template<class Domain>

typedef TruncDom<Domain> Trunc_t

Truncated

template<class Domain>

typedef Trunc_t::Element Truncated

Ring_E

template<class Domain>

typedef Ring_t::Element Ring_E

Polynomial

template<class Domain>

typedef Ring_t::Element Polynomial

Element

template<class Domain>

typedef Frac<Ring_E, Ring_E> Element

Rep

template<class Domain>

typedef Frac<Ring_E, Ring_E> Rep

Domain_t

template<class Domain>

typedef Domain Domain_t

Type_t

template<class Domain>

typedef Domain::Element Type_t

Constructor & Destructor Documentation

HighOrder()

template<class Domain>

HighOrder ( const Domain & d, const Indeter & Z = Indeter() )

inline

Member Function Documentation

getpoldom()

template<class Domain>

const Poly_t & getpoldom ( ) const

inline

getdomain()

template<class Domain>

const Domain & getdomain ( ) const

inline

gettruncdom()

template<class Domain>

const Trunc_t & gettruncdom ( ) const

inline

taylor()

template<class Domain>

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

inline

Fiduccia() [1/4]

template<class Domain>

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

inline

Fiduccia() [2/4]

template<class Domain>

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

inline

Fiduccia() [3/4]

template<class Domain>

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

inline

Fiduccia() [4/4]

template<class Domain>

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

inline

shifteddotproduct()

template<class Domain>

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

inline

FiducciaReversed() [1/2]

template<class Domain>

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

inline

FiducciaReversed() [2/2]

template<class Domain>

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

inline

FracDevel() [1/2]

template<class Domain>

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

inline

GammaId()

template<class Domain>

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

inline

doubleorder()

template<class Domain>

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

highorder()

template<class Domain>

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

Betta()

template<class Domain>

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

FracDevel() [2/2]

template<class Domain>

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

Inverse()

template<class Domain>

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

Gamma()

template<class Domain>

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

write() [1/4]

template<class Domain>

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

inline

write() [2/4]

template<class Domain>

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

inline

write() [3/4]

template<class Domain>

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

inline

write() [4/4]

template<class Domain>

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

inline

Field Documentation

_poldom

template<class Domain>

const Poly_t _poldom

_dom

template<class Domain>

const Domain& _dom

_truncdom

template<class Domain>

const Trunc_t _truncdom

---

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

• givhighorder.h