Givaro
Public Types | Public Member Functions | Data Fields
HighOrder< Domain > Struct Template Reference

#include <givhighorder.h>

+ Collaboration diagram for HighOrder< Domain >:

Public Types

typedef HighOrder< DomainSelf_t
 
typedef FracDom< Poly1Dom< Domain, Dense > > Father_t
 
typedef FracDom< Poly1Dom< Domain, Dense > > Frac_t
 
typedef Poly1Dom< Domain, DenseRing_t
 
typedef Poly1Dom< Domain, DensePoly_t
 
typedef TruncDom< DomainTrunc_t
 
typedef Trunc_t::Element Truncated
 
typedef Ring_t::Element Ring_E
 
typedef Ring_t::Element Polynomial
 
typedef Frac< Ring_E, Ring_EElement
 
typedef Frac< Ring_E, Ring_ERep
 
typedef Domain Domain_t
 
typedef Domain::Element Type_t
 

Public Member Functions

const Poly_tgetpoldom () const
 
const Domaingetdomain () const
 
const Trunc_tgettruncdom () const
 
 HighOrder (const Domain &d, const Indeter &Z=Indeter())
 
Polynomialtaylor (Polynomial &Tay, const Rep &Fra, Degree order) const
 
TruncatedFiduccia (Truncated &F, const Rep &Fra, Degree a, Degree b) const
 
TruncatedFiduccia (Truncated &F, const Polynomial &Tay, const Polynomial &FraDen, Degree a, Degree b) const
 
TruncatedFiduccia (Truncated &F, const Polynomial &Tay, const Polynomial &FraDen, Degree b) const
 
TruncatedFiduccia (Truncated &F, const Rep &Fra, Degree b) const
 
Type_tshifteddotproduct (Type_t &dp, const Polynomial &P, const Polynomial &Q, const long shift) const
 
TruncatedFiducciaReversed (Truncated &F, const Polynomial &Tay, const Polynomial &FraDen, Degree a, Degree b) const
 
TruncatedFiducciaReversed (Truncated &F, const Polynomial &Tay, const Polynomial &FraDen, Degree b) const
 
TruncatedFracDevel (Truncated &F, const Rep &Fra, Degree a, Degree b) const
 
TruncatedGammaId (Truncated &Gam, const Polynomial &Tay, const Degree dT, const Degree k0, const Polynomial &A, const Degree dA) const
 
Truncateddoubleorder (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
 
TruncatedBetta (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
 
TruncatedFracDevel (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
 
TruncatedInverse (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
 
TruncatedGamma (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 Frac<Ring_E, Ring_E> Rep
typedef Domain Domain_t

Constructor & Destructor Documentation

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

Member Function Documentation

const Poly_t& getpoldom ( ) const
inline
const Domain& getdomain ( ) const
inline
const Trunc_t& gettruncdom ( ) const
inline
Polynomial& taylor ( Polynomial Tay,
const Rep Fra,
Degree  order 
) const
inline
Truncated& Fiduccia ( Truncated F,
const Rep Fra,
Degree  a,
Degree  b 
) const
inline
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
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
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: