Givaro
|
#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 |
typedef Trunc_t::Element Truncated |
typedef Ring_t::Element Ring_E |
typedef Ring_t::Element Polynomial |
typedef Domain::Element Type_t |
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 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] |
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& 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] |