Givaro
Public Types | Public Member Functions | Data Fields | Protected Attributes
FixedTruncDom< Domain > Class Template Reference

#include <givfixedtrunc.h>

Inheritance diagram for FixedTruncDom< Domain >:

Public Types

typedef FixedTruncDom< DomainSelf_t
typedef TruncDom< DomainFather_t
typedef TruncDom< Domain >
::Father_t 
PolDom
typedef Domain Domain_t
typedef Domain::Element Type_t
typedef Father_t::Polynomial_t Polynomial_t
typedef Father_t::Storage_t Storage_t
typedef Storage_t Rep
typedef Storage_t Element
typedef const Storage_t constRep

Public Member Functions

 FixedTruncDom (const Domain &d, const Degree deg, const Indeter &X=Indeter())
 FixedTruncDom (const Self_t &t)
 FixedTruncDom (const Father_t &t, const Degree deg)
DegreegetModulus (Degree &d) const
Repinit (Rep &p) const
template<class XXX >
Repinit (Rep &p, const XXX &cste) const
template<class XXX >
Repinit (Rep &p, const Degree deg, const XXX &lcoeff) const
Repassign (Rep &p, const Degree deg, const Type_t &lcoeff) const
Repassign (Rep &p, const Rep &q) const
Repassign (Rep &p, const Polynomial_t &r) const
Repassign (Rep &p, const Polynomial_t &r, const Degree v, const Degree d) const
Repmulin (Rep &p, const Degree &s) const
Repshiftin (Rep &p, const Degree &s) const
Reptruncin (Rep &p, const Degree &v, const Degree &d) const
Reptrunc (Rep &p, const Rep &R, const Degree &v, const Degree &d) const
Repaddin (Rep &R, const Rep &P) const
Repadd (Rep &res, const Rep &u, const Rep &v) const
Repaddin (Rep &R, const Rep &P, const Degree &v, const Degree &d) const
Repadd (Rep &res, const Rep &u, const Rep &v, const Degree &val, const Degree &deg) const
Repsub (Rep &res, const Rep &u, const Rep &v) const
Repsubin (Rep &R, const Rep &P) const
Repsub (Rep &R, const Rep &P, const Rep &Q, const Degree &v, const Degree &d) const
Repsubin (Rep &R, const Rep &P, const Degree &v, const Degree &d) const
Repmul (Rep &res, const Rep &u, const Rep &v) const
Repmulin (Rep &P, const Rep &Q) const
Repmul (Rep &r, const Rep &u, const Rep &v, const Degree &val, const Degree &deg) const
Repmulin (Rep &r, const Rep &v, const Degree &val, const Degree &deg) const
Repaxpy (Rep &r, const Rep &a, const Rep &x, const Rep &y) const
Repaxpyin (Rep &r, const Rep &a, const Rep &x) const
Repaxpy (Rep &r, const Rep &a, const Rep &x, const Rep &y, const Degree &val, const Degree &deg) const
Repaxpyin (Rep &r, const Rep &a, const Rep &x, const Degree &val, const Degree &deg) const
Repaxmy (Rep &r, const Rep &a, const Rep &x, const Rep &y) const
Repaxmyin (Rep &r, const Rep &a, const Rep &x) const
Repaxmy (Rep &r, const Rep &a, const Rep &x, const Rep &y, const Degree &val, const Degree &deg) const
Repaxmyin (Rep &r, const Rep &a, const Rep &x, const Degree &val, const Degree &deg) const
Repmaxpy (Rep &r, const Rep &a, const Rep &x, const Rep &y) const
Repmaxpyin (Rep &r, const Rep &a, const Rep &x) const
Repmaxpy (Rep &r, const Rep &a, const Rep &x, const Rep &y, const Degree &val, const Degree &deg) const
Repmaxpyin (Rep &r, const Rep &a, const Rep &x, const Degree &val, const Degree &deg) const
Repinvin (Rep &q) const
Repinv (Rep &r, const Rep &u) const
Repdivin (Rep &q, const Rep &a) const
Repdiv (Rep &q, const Rep &a, const Rep &b) const
template<class RandIter >
Reprandom (RandIter &g, Rep &r, Degree s) const
Reprandom (GivRandom &g, Rep &r, Degree s) const
Type_tgetEntry (Type_t &c, const Degree &i, const Rep &P) const
Type_tleadcoef (Type_t &c, const Rep &P) const
std::ostream & write (std::ostream &o) const
std::istream & read (std::istream &i, Rep &n) const
std::ostream & write (std::ostream &o, const Rep &n) const
const Father_tgetpoldomain () const
Repinit (Rep &r, const Degree deg) const
Polynomial_tconvert (Polynomial_t &r, const Rep &P) const
template<class XXX >
XXX & convert (XXX &r, const Rep &P) const
Type_tconvert (Type_t &, const Rep &) const
template<class UU , template< class XX > class Vect>
Vect< UU > & convert (Vect< UU > &, const Rep &P) const
template<class Domain >
Poly1Dom< Domain, Dense >::Type_tconvert (typename Poly1Dom< Domain, Dense >::Type_t &Val, const typename Poly1Dom< Domain, Dense >::Rep &P) const
template<class XXX >
XXX & convert (XXX &Val, const typename Poly1Dom< Domain, Dense >::Rep &P) const
template<class UU , template< class XX > class Vect>
Vect< UU > & convert (Vect< UU > &Val, const typename Poly1Dom< Domain, Dense >::Rep &P) const
Repassign (Rep &p, const Type_t &cste) const
Repmulin (Rep &q, const Type_t &a) const
Repdivin (Rep &p, const Degree &s) const
Repdivin (Rep &q, const Type_t &a) const
Repsetdegree (Rep &P) const
 Compute the degree of P.
Repsetval (Rep &P) const
Degreedegree (Degree &d, const Rep &P) const
Degreeval (Degree &d, const Rep &P) const
int isZero (const Rep &P) const
int isOne (const Rep &P) const
int areEqual (const Rep &P, const Rep &Q) const
int areNEqual (const Rep &P, const Rep &Q) const
Repshift (Rep &p, const Degree &s) const
Repshift (Rep &, const Rep &, int) const
std::istream & read (std::istream &i)
Repexpand (Rep &P, const Degree &d) const
Repadd (Rep &res, const Rep &u, const Type_t &val) const
Repadd (Rep &res, const Type_t &val, const Rep &v) const
Repneg (Rep &R, const Rep &P) const
Repnegin (Rep &R) const
Repsub (Rep &res, const Rep &u, const Type_t &val) const
Repsub (Rep &res, const Type_t &val, const Rep &v) const
Repmul (Rep &q, const Type_t &a, const Rep &b) const
Repmul (Rep &q, const Rep &a, const Type_t &b) const
Repaxpy (Rep &r, const Type_t &a, const Rep &x, const Rep &y) const
Repaxpyin (Rep &r, const Type_t &a, const Rep &x) const
Repaxmy (Rep &r, const Type_t &a, const Rep &x, const Rep &y) const
Repaxmyin (Rep &r, const Type_t &a, const Rep &x) const
Repmaxpy (Rep &r, const Type_t &a, const Rep &b, const Rep &c) const
Repmaxpyin (Rep &r, const Type_t &a, const Rep &b) const
template<class RandIter >
Reprandom (RandIter &g, Rep &r) const
template<class RandIter >
Reprandom (RandIter &g, Rep &r, long s) const
template<class RandIter >
Reprandom (RandIter &g, Rep &r, const Rep &b) const
template<class RandIter >
Poly1Dom< Domain, Dense >::Reprandom (RandIter &g, typename Poly1Dom< Domain, Dense >::Rep &r, Degree d) const
template<class RandIter >
Repnonzerorandom (RandIter &g, Rep &r) const
template<class RandIter >
Repnonzerorandom (RandIter &g, Rep &r, long s) const
template<class RandIter >
Repnonzerorandom (RandIter &g, Rep &r, Degree s) const
template<class RandIter >
Repnonzerorandom (RandIter &g, Rep &r, const Rep &b) const
Type_t characteristic () const
Integercharacteristic (Integer &p) const
int operator== (const Poly1Dom< Domain, Dense > &BC) const
int operator!= (const Poly1Dom< Domain, Dense > &BC) const
const IndetergetIndeter () const
IndetersetIndeter (const Indeter &X)
const Domainsubdomain () const
const Domaingetdomain () const
Domainsetdomain (const Domain &D)
Type_teval (Type_t &pval, const Rep &P, const Type_t &val) const
Repdiff (Rep &P, const Rep &Q) const
Repreverse (Rep &, const Rep &) const
Repreversein (Rep &) const
Repshiftin (Rep &, int) const
Repdiv (Rep &q, const Type_t &a, const Rep &b) const
Repdiv (Rep &q, const Rep &a, const Type_t &b) const
Repmodin (Rep &q, const Rep &a) const
Repmodin (Rep &q, const Type_t &a) const
Repmod (Rep &q, const Rep &a, const Rep &b) const
Repmod (Rep &q, const Type_t &a, const Rep &b) const
Repmod (Rep &q, const Rep &a, const Type_t &b) const
Repdivmod (Rep &q, Rep &r, const Rep &a, const Rep &b) const
Repdivmodin (Rep &q, Rep &r, const Rep &b) const
Reppdivmod (Rep &q, Rep &r, Type_t &m, const Rep &a, const Rep &b) const
Reppmod (Rep &r, Type_t &m, const Rep &a, const Rep &b) const
Reppmod (Rep &r, const Rep &a, const Rep &b) const
Reppdiv (Rep &q, Type_t &m, const Rep &a, const Rep &b) const
Reppdiv (Rep &q, const Rep &a, const Rep &b) const
Repgcd (Rep &D, const Rep &P, const Rep &Q) const
Repgcd (Rep &D, Rep &U, Rep &V, const Rep &P, const Rep &Q) const
Replcm (Rep &D, const Rep &P, const Rep &Q) const
Repinvmod (Rep &U, const Rep &P, const Rep &Q) const
Repinvmodunit (Rep &U, const Rep &P, const Rep &Q) const
void ratrecon (Rep &N, Rep &D, const Rep &P, const Rep &M, const Degree &dk) const
bool ratreconcheck (Rep &N, Rep &D, const Rep &P, const Rep &M, const Degree &dk) const
Reppow (Rep &W, const Rep &P, long n) const
Reppowmod (Rep &W, const Rep &P, IntegerDom::Element pwr, const Rep &U) const
template<class MyInt >
Reppowmod (Rep &W, const Rep &P, MyInt pwr, const Rep &U) const
Reppower_compose (Rep &W, const Rep &P, long b) const
Repcyclotomic (Rep &P, long n) const
size_t & sqrfree (size_t &Nfact, Rep *Fact, const Rep &P) const
 Sqrfree decomposition.

Data Fields

Degree _deg
Storage_t zero
Storage_t one

Protected Attributes

Domain _domain
Indeter _x

template<class Domain>
class Givaro::FixedTruncDom< Domain >


Member Typedef Documentation

Reimplemented from TruncDom< Domain >.

Reimplemented from TruncDom< Domain >.

typedef Domain Domain_t

Reimplemented from TruncDom< Domain >.

Reimplemented from TruncDom< Domain >.

Reimplemented from TruncDom< Domain >.

Reimplemented from TruncDom< Domain >.

typedef Storage_t Rep

Reimplemented from TruncDom< Domain >.

typedef Storage_t Element

Reimplemented from TruncDom< Domain >.

typedef const Storage_t constRep [inherited]

Constructor & Destructor Documentation

FixedTruncDom ( const Domain d,
const Degree  deg,
const Indeter X = Indeter() 
) [inline]
FixedTruncDom ( const Self_t t) [inline]
FixedTruncDom ( const Father_t t,
const Degree  deg 
) [inline]

Member Function Documentation

Degree& getModulus ( Degree d) const [inline]
Rep& init ( Rep p) const [inline]

Reimplemented from TruncDom< Domain >.

Rep& init ( Rep p,
const XXX &  cste 
) const [inline]

Reimplemented from TruncDom< Domain >.

Rep& init ( Rep p,
const Degree  deg,
const XXX &  lcoeff 
) const [inline]

Reimplemented from TruncDom< Domain >.

Rep& assign ( Rep p,
const Degree  deg,
const Type_t lcoeff 
) const [inline]

Reimplemented from TruncDom< Domain >.

Rep& assign ( Rep p,
const Rep q 
) const [inline]

Reimplemented from TruncDom< Domain >.

Rep& assign ( Rep p,
const Polynomial_t r 
) const [inline]

Reimplemented from TruncDom< Domain >.

Rep& assign ( Rep p,
const Polynomial_t r,
const Degree  v,
const Degree  d 
) const

Reimplemented from TruncDom< Domain >.

Rep& mulin ( Rep p,
const Degree s 
) const [inline]

Reimplemented from TruncDom< Domain >.

Rep& shiftin ( Rep p,
const Degree s 
) const [inline]
Rep& truncin ( Rep p,
const Degree v,
const Degree d 
) const [inline]

Reimplemented from TruncDom< Domain >.

Rep& trunc ( Rep p,
const Rep R,
const Degree v,
const Degree d 
) const [inline]

Reimplemented from TruncDom< Domain >.

Rep& addin ( Rep R,
const Rep P 
) const [inline]

Reimplemented from TruncDom< Domain >.

Rep& add ( Rep res,
const Rep u,
const Rep v 
) const [inline]

Reimplemented from TruncDom< Domain >.

Rep& addin ( Rep R,
const Rep P,
const Degree v,
const Degree d 
) const

Reimplemented from TruncDom< Domain >.

Rep& add ( Rep res,
const Rep u,
const Rep v,
const Degree val,
const Degree deg 
) const

Reimplemented from TruncDom< Domain >.

Rep& sub ( Rep res,
const Rep u,
const Rep v 
) const [inline]

Reimplemented from TruncDom< Domain >.

Rep& subin ( Rep R,
const Rep P 
) const [inline]

Reimplemented from TruncDom< Domain >.

Rep& sub ( Rep R,
const Rep P,
const Rep Q,
const Degree v,
const Degree d 
) const

Reimplemented from TruncDom< Domain >.

Rep& subin ( Rep R,
const Rep P,
const Degree v,
const Degree d 
) const

Reimplemented from TruncDom< Domain >.

Rep& mul ( Rep res,
const Rep u,
const Rep v 
) const [inline]

Reimplemented from TruncDom< Domain >.

Rep& mulin ( Rep P,
const Rep Q 
) const [inline]

Reimplemented from TruncDom< Domain >.

Rep& mul ( Rep r,
const Rep u,
const Rep v,
const Degree val,
const Degree deg 
) const

Reimplemented from TruncDom< Domain >.

Rep& mulin ( Rep r,
const Rep v,
const Degree val,
const Degree deg 
) const

Reimplemented from TruncDom< Domain >.

Rep& axpy ( Rep r,
const Rep a,
const Rep x,
const Rep y 
) const [inline]

Reimplemented from TruncDom< Domain >.

Rep& axpyin ( Rep r,
const Rep a,
const Rep x 
) const [inline]

Reimplemented from TruncDom< Domain >.

Rep& axpy ( Rep r,
const Rep a,
const Rep x,
const Rep y,
const Degree val,
const Degree deg 
) const

Reimplemented from TruncDom< Domain >.

Rep& axpyin ( Rep r,
const Rep a,
const Rep x,
const Degree val,
const Degree deg 
) const

Reimplemented from TruncDom< Domain >.

Rep& axmy ( Rep r,
const Rep a,
const Rep x,
const Rep y 
) const [inline]

Reimplemented from TruncDom< Domain >.

Rep& axmyin ( Rep r,
const Rep a,
const Rep x 
) const [inline]

Reimplemented from TruncDom< Domain >.

Rep& axmy ( Rep r,
const Rep a,
const Rep x,
const Rep y,
const Degree val,
const Degree deg 
) const

Reimplemented from TruncDom< Domain >.

Rep& axmyin ( Rep r,
const Rep a,
const Rep x,
const Degree val,
const Degree deg 
) const

Reimplemented from TruncDom< Domain >.

Rep& maxpy ( Rep r,
const Rep a,
const Rep x,
const Rep y 
) const [inline]

Reimplemented from TruncDom< Domain >.

Rep& maxpyin ( Rep r,
const Rep a,
const Rep x 
) const [inline]

Reimplemented from TruncDom< Domain >.

Rep& maxpy ( Rep r,
const Rep a,
const Rep x,
const Rep y,
const Degree val,
const Degree deg 
) const

Reimplemented from TruncDom< Domain >.

Rep& maxpyin ( Rep r,
const Rep a,
const Rep x,
const Degree val,
const Degree deg 
) const

Reimplemented from TruncDom< Domain >.

Rep& invin ( Rep q) const [inline]
Rep& inv ( Rep r,
const Rep u 
) const [inline]
Rep& divin ( Rep q,
const Rep a 
) const [inline]

Reimplemented from Poly1Dom< Domain, Dense >.

Rep& div ( Rep q,
const Rep a,
const Rep b 
) const [inline]

Reimplemented from Poly1Dom< Domain, Dense >.

Rep& random ( RandIter &  g,
Rep r,
Degree  s 
) const [inline]

Reimplemented from TruncDom< Domain >.

Rep& random ( GivRandom g,
Rep r,
Degree  s 
) const [inline]

Reimplemented from TruncDom< Domain >.

Type_t& getEntry ( Type_t c,
const Degree i,
const Rep P 
) const [inline]

Reimplemented from Poly1Dom< Domain, Dense >.

Type_t& leadcoef ( Type_t c,
const Rep P 
) const [inline]

Reimplemented from Poly1Dom< Domain, Dense >.

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

Reimplemented from TruncDom< Domain >.

std::istream& read ( std::istream &  i,
Rep n 
) const [inline]

Reimplemented from TruncDom< Domain >.

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

Reimplemented from TruncDom< Domain >.

const Father_t& getpoldomain ( ) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & init ( Rep r,
const Degree  deg 
) const [inline, inherited]
Polynomial_t& convert ( Polynomial_t r,
const Rep P 
) const [inline, inherited]
XXX& convert ( XXX &  r,
const Rep P 
) const [inline, inherited]

Reimplemented from Poly1Dom< Domain, Dense >.

Type_t& convert ( Type_t ,
const Rep  
) const [inherited]
Vect<UU>& convert ( Vect< UU > &  ,
const Rep P 
) const [inherited]
Poly1Dom<Domain,Dense>::Type_t& convert ( typename Poly1Dom< Domain, Dense >::Type_t Val,
const typename Poly1Dom< Domain, Dense >::Rep P 
) const [inline, inherited]
XXX& convert ( XXX &  Val,
const typename Poly1Dom< Domain, Dense >::Rep P 
) const [inline, inherited]
Vect<UU>& convert ( Vect< UU > &  Val,
const typename Poly1Dom< Domain, Dense >::Rep P 
) const [inline, inherited]
Rep& assign ( Rep p,
const Type_t cste 
) const [inline, inherited]

Reimplemented from Poly1Dom< Domain, Dense >.

Poly1Dom< Domain, Dense >::Rep & mulin ( Rep q,
const Type_t a 
) const [inline, inherited]
Rep& divin ( Rep p,
const Degree s 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & divin ( Rep q,
const Type_t a 
) const [inline, inherited]
Rep& setdegree ( Rep P) const [inline, inherited]

Compute the degree of P.

Warning:
this is an infamous function that may not leave P constant !!
Parameters:
Ppolynomial

Reimplemented from Poly1Dom< Domain, Dense >.

Rep& setval ( Rep P) const [inline, inherited]
Degree& degree ( Degree d,
const Rep P 
) const [inline, inherited]

Reimplemented from Poly1Dom< Domain, Dense >.

Degree& val ( Degree d,
const Rep P 
) const [inline, inherited]

Reimplemented from Poly1Dom< Domain, Dense >.

int isZero ( const Rep P) const [inline, inherited]

Reimplemented from Poly1Dom< Domain, Dense >.

int isOne ( const Rep P) const [inline, inherited]

Reimplemented from Poly1Dom< Domain, Dense >.

int areEqual ( const Rep P,
const Rep Q 
) const [inline, inherited]

Reimplemented from Poly1Dom< Domain, Dense >.

int areNEqual ( const Rep P,
const Rep Q 
) const [inline, inherited]

Reimplemented from Poly1Dom< Domain, Dense >.

Rep& shift ( Rep p,
const Degree s 
) const [inherited]
Poly1Dom< Domain, Dense >::Rep & shift ( Rep R,
const Rep a,
int  s 
) const [inline, inherited]
std::istream& read ( std::istream &  i) [inline, inherited]

Reimplemented from Poly1Dom< Domain, Dense >.

Rep& expand ( Rep P,
const Degree d 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & add ( Rep res,
const Rep u,
const Type_t val 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & add ( Rep res,
const Type_t val,
const Rep v 
) const [inline, inherited]
Rep& neg ( Rep R,
const Rep P 
) const [inline, inherited]

Reimplemented from Poly1Dom< Domain, Dense >.

Rep& negin ( Rep R) const [inline, inherited]

Reimplemented from Poly1Dom< Domain, Dense >.

Poly1Dom< Domain, Dense >::Rep & sub ( Rep res,
const Rep u,
const Type_t val 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & sub ( Rep res,
const Type_t val,
const Rep v 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & mul ( Rep q,
const Type_t a,
const Rep b 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & mul ( Rep q,
const Rep a,
const Type_t b 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & axpy ( Rep r,
const Type_t a,
const Rep x,
const Rep y 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & axpyin ( Rep r,
const Type_t a,
const Rep x 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & axmy ( Rep r,
const Type_t a,
const Rep x,
const Rep y 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & axmyin ( Rep r,
const Type_t a,
const Rep x 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & maxpy ( Rep r,
const Type_t a,
const Rep b,
const Rep c 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & maxpyin ( Rep r,
const Type_t a,
const Rep b 
) const [inline, inherited]
Rep& random ( RandIter &  g,
Rep r 
) const [inline, inherited]

Reimplemented from Poly1Dom< Domain, Dense >.

Rep& random ( RandIter &  g,
Rep r,
long  s 
) const [inline, inherited]

Reimplemented from Poly1Dom< Domain, Dense >.

Rep& random ( RandIter &  g,
Rep r,
const Rep b 
) const [inline, inherited]

Reimplemented from Poly1Dom< Domain, Dense >.

Poly1Dom<Domain,Dense>::Rep& random ( RandIter &  g,
typename Poly1Dom< Domain, Dense >::Rep r,
Degree  d 
) const [inline, inherited]
Rep& nonzerorandom ( RandIter &  g,
Rep r 
) const [inline, inherited]

Reimplemented from Poly1Dom< Domain, Dense >.

Rep& nonzerorandom ( RandIter &  g,
Rep r,
long  s 
) const [inline, inherited]

Reimplemented from Poly1Dom< Domain, Dense >.

Rep& nonzerorandom ( RandIter &  g,
Rep r,
Degree  s 
) const [inline, inherited]

Reimplemented from Poly1Dom< Domain, Dense >.

Rep& nonzerorandom ( RandIter &  g,
Rep r,
const Rep b 
) const [inline, inherited]

Reimplemented from Poly1Dom< Domain, Dense >.

Type_t characteristic ( ) const [inline, inherited]
Integer& characteristic ( Integer p) const [inline, inherited]
int operator== ( const Poly1Dom< Domain, Dense > &  BC) const [inline, inherited]
int operator!= ( const Poly1Dom< Domain, Dense > &  BC) const [inline, inherited]
const Indeter& getIndeter ( ) const [inline, inherited]
Indeter& setIndeter ( const Indeter X) [inline, inherited]
const Domain& subdomain ( ) const [inline, inherited]
const Domain& getdomain ( ) const [inline, inherited]
Domain& setdomain ( const Domain D) [inline, inherited]
Poly1Dom< Domain, Dense >::Type_t & eval ( Type_t pval,
const Rep P,
const Type_t val 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & diff ( Rep P,
const Rep Q 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & reverse ( Rep P,
const Rep Q 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & reversein ( Rep P) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & shiftin ( Rep R,
int  s 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & div ( Rep q,
const Type_t a,
const Rep b 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & div ( Rep q,
const Rep a,
const Type_t b 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & modin ( Rep q,
const Rep a 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & modin ( Rep q,
const Type_t a 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & mod ( Rep q,
const Rep a,
const Rep b 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & mod ( Rep q,
const Type_t a,
const Rep b 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & mod ( Rep q,
const Rep a,
const Type_t b 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & divmod ( Rep q,
Rep r,
const Rep a,
const Rep b 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & divmodin ( Rep q,
Rep r,
const Rep b 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & pdivmod ( Rep q,
Rep r,
Type_t m,
const Rep a,
const Rep b 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & pmod ( Rep r,
Type_t m,
const Rep a,
const Rep b 
) const [inline, inherited]
Rep& pmod ( Rep r,
const Rep a,
const Rep b 
) const [inherited]
Rep& pdiv ( Rep q,
Type_t m,
const Rep a,
const Rep b 
) const [inherited]
Rep& pdiv ( Rep q,
const Rep a,
const Rep b 
) const [inherited]
Poly1Dom< Domain, Dense >::Rep & gcd ( Rep D,
const Rep P,
const Rep Q 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & gcd ( Rep D,
Rep U,
Rep V,
const Rep P,
const Rep Q 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & lcm ( Rep D,
const Rep P,
const Rep Q 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & invmod ( Rep U,
const Rep P,
const Rep Q 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & invmodunit ( Rep U,
const Rep P,
const Rep Q 
) const [inline, inherited]
void ratrecon ( Rep N,
Rep D,
const Rep P,
const Rep M,
const Degree dk 
) const [inherited]
bool ratreconcheck ( Rep N,
Rep D,
const Rep P,
const Rep M,
const Degree dk 
) const [inherited]
Poly1Dom< Domain, Dense >::Rep & pow ( Rep W,
const Rep P,
long  n 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & powmod ( Rep W,
const Rep P,
IntegerDom::Element  pwr,
const Rep U 
) const [inline, inherited]
Rep& powmod ( Rep W,
const Rep P,
MyInt  pwr,
const Rep U 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & power_compose ( Rep W,
const Rep P,
long  b 
) const [inline, inherited]
Poly1Dom< Domain, Dense >::Rep & cyclotomic ( Rep P,
long  n 
) const [inline, inherited]
size_t & sqrfree ( size_t &  Nfact,
Rep Fact,
const Rep P 
) const [inherited]

Sqrfree decomposition.

Decompose P such that: P = Fact[0]^0 * Fact[1]^1 * ... * Fact[P.degree()]^(P.degree()), with Fact[0] the leading coefficient. The array Fact must be allocated before calling the function. The size of Fact must be degP+1 is all factors should be computed. For more readeable version of the algorithm, see Geddes, p342.

Parameters:
Nfact[in] the size of Fact
Fact[in] an array of dimension Nfact
Nfact[out] is the number of factor in the sqrfree decomposition
Fact[out] contains at most Nfact factors of the decomposition.

Field Documentation

Storage_t zero [inherited]

Reimplemented from Poly1Dom< Domain, Dense >.

Storage_t one [inherited]

Reimplemented from Poly1Dom< Domain, Dense >.

Domain _domain [protected, inherited]
Indeter _x [protected, inherited]

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