HighOrder< Domain > Struct Template Reference

#include <givhighorder.h>

Collaboration diagram for HighOrder< Domain >:

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

typedef HighOrder<Domain> Self_t

Father_t

typedef FracDom< Poly1Dom<Domain,Dense> > Father_t

Frac_t

typedef FracDom< Poly1Dom<Domain,Dense> > Frac_t

Ring_t

typedef Poly1Dom<Domain,Dense> Ring_t

Poly_t

typedef Poly1Dom<Domain,Dense> Poly_t

Trunc_t

typedef TruncDom<Domain> Trunc_t

Truncated

typedef Trunc_t::Element Truncated

Ring_E

typedef Ring_t::Element Ring_E

Polynomial

typedef Ring_t::Element Polynomial

Element

typedef Frac<Ring_E, Ring_E> Element

Rep

typedef Frac<Ring_E, Ring_E> Rep

Domain_t

typedef Domain Domain_t

Type_t

typedef Domain::Element Type_t

Constructor & Destructor Documentation

HighOrder()

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

inline

Member Function Documentation

getpoldom()

const Poly_t& getpoldom ( ) const

inline

getdomain()

const Domain& getdomain ( ) const

inline

gettruncdom()

const Trunc_t& gettruncdom ( ) const

inline

taylor()

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

inline

Fiduccia() [1/4]

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

inline

Fiduccia() [2/4]

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

inline

Fiduccia() [3/4]

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

inline

Fiduccia() [4/4]

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

inline

shifteddotproduct()

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

inline

FiducciaReversed() [1/2]

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

inline

FiducciaReversed() [2/2]

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

inline

FracDevel() [1/2]

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

inline

GammaId()

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

inline

doubleorder()

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()

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()

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]

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()

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()

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]

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

inline

write() [2/4]

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

inline

write() [3/4]

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

inline

write() [4/4]

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

inline

Field Documentation

_poldom

const Poly_t _poldom

_dom

const Domain& _dom

_truncdom

const Trunc_t _truncdom

---

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

• givhighorder.h