Inherits UnparametricField< K >.
Public Member Functions |
| NTL_ZZ_pX (const integer &p, size_t e=1) |
| NTL_ZZ_pX (CoeffField cf) |
template<class ANY > |
Element & | init (Element &p, const ANY &y) const |
Element & | init (Element &p, const Coeff &y) const |
template<class ANY > |
Element & | init (Element &p, const std::vector< ANY > &v) const |
Element & | init (Element &p, const std::vector< Coeff > &v) const |
template<class ANY > |
std::vector< ANY > & | convert (std::vector< ANY > &v, const Element &p) const |
std::vector< Coeff > & | convert (std::vector< Coeff > &v, const Element &p) const |
bool | isZero (const Element &x) const |
bool | isOne (const Element &x) const |
const CoeffField & | getCoeffField () const |
size_t | deg (const Element &p) const |
Element & | rev (Element &r, const Element &p) |
Element & | revin (Element &r) |
Coeff & | leadCoeff (Coeff &c, const Element &p) const |
Coeff & | getCoeff (Coeff &c, const Element &p, size_t i) const |
Element & | setCoeff (Element &p, size_t i, const Coeff &c) const |
Element & | quo (Element &res, const Element &a, const Element &b) const |
Element & | quoin (Element &a, const Element &b) const |
Element & | rem (Element &res, const Element &a, const Element &b) const |
Element & | remin (Element &a, const Element &b) const |
void | quorem (Element &q, Element &r, const Element &a, const Element &b) const |
integer & | characteristic (integer &c) const |
integer & | cardinality (integer &c) const |
template<> |
NTL::zz_p & | init (NTL::zz_p &x, const integer &y) const |
template<> |
integer & | convert (integer &x, const NTL::zz_p &y) const |
template<> |
integer & | cardinality (integer &c) const |
template<> |
integer & | characteristic (integer &c) const |
template<> |
NTL::zz_p & | inv (NTL::zz_p &x, const NTL::zz_p &y) const |
template<> |
bool | isZero (const NTL::zz_p &x) const |
template<> |
bool | isOne (const NTL::zz_p &x) const |
template<> |
NTL::zz_p & | invin (NTL::zz_p &x) const |
template<> |
std::ostream & | write (std::ostream &os) const |
template<> |
std::ostream & | write (std::ostream &os) const |
template<> |
std::ostream & | write (std::ostream &os) const |
| UnparametricField (integer q=0, size_t e=1) |
| UnparametricField (const UnparametricField &F) |
| construct this field as copy of F.
|
| ~UnparametricField () |
const UnparametricField & | operator= (const UnparametricField &F) const |
Element & | init (Element &x, const integer &y=0) const |
| x := y. Caution: it is via cast to long. Good candidate for specialization.
|
integer & | convert (integer &x, const Element &y) const |
| x := y. Caution: it is via cast to long. Good candidate for specialization.
|
double & | convert (double &x, const Element &y) const |
| x := y. Caution: it is via cast to long. Good candidate for specialization. –dpritcha
|
Element & | assign (Element &x, const Element &y) const |
integer & | cardinality (integer &c) const |
| c := cardinality of this field (-1 if infinite).
|
integer & | characteristic (integer &c) const |
| c := characteristic of this field (zero or prime).
|
bool | areEqual (const Element &x, const Element &y) const |
| x == y
|
bool | isZero (const Element &x) const |
| x == 0
|
bool | isOne (const Element &x) const |
| x == 1
|
Element & | add (Element &x, const Element &y, const Element &z) const |
| x := y + z
|
Element & | sub (Element &x, const Element &y, const Element &z) const |
| x := y - z
|
Element & | mul (Element &x, const Element &y, const Element &z) const |
| x := y*z
|
Element & | div (Element &x, const Element &y, const Element &z) const |
| x := y/z
|
Element & | neg (Element &x, const Element &y) const |
| x := -y
|
Element & | inv (Element &x, const Element &y) const |
| x := 1/y
|
Element & | axpy (Element &z, const Element &a, const Element &x, const Element &y) const |
| z := a*x + y
|
Element & | addin (Element &x, const Element &y) const |
| x := x + y
|
Element & | subin (Element &x, const Element &y) const |
| x := x - y
|
Element & | mulin (Element &x, const Element &y) const |
| x := x*y
|
Element & | divin (Element &x, const Element &y) const |
| x := x/y
|
Element & | negin (Element &x) const |
| x := -x
|
Element & | invin (Element &x) const |
| x := 1/x
|
Element & | axpyin (Element &y, const Element &a, const Element &x) const |
| y := a*x + y
|
std::ostream & | write (std::ostream &os) const |
std::istream & | read (std::istream &is) const |
std::ostream & | write (std::ostream &os, const Element &x) const |
std::istream & | read (std::istream &is, Element &x) const |
| UnparametricField (const K &A) |
| Default constructor.
|
const K & | operator() (void) const |
K & | operator() (void) |
template<> |
NTL::RR & | init (NTL::RR &x, const integer &y) const |
template<> |
integer & | convert (integer &x, const NTL::RR &y) const |
template<> |
NTL::RR & | inv (NTL::RR &x, const NTL::RR &y) const |
template<> |
bool | isZero (const NTL::RR &x) const |
template<> |
bool | isOne (const NTL::RR &x) const |
template<> |
NTL::RR & | invin (NTL::RR &x) const |
template<> |
std::ostream & | write (std::ostream &os) const |
template<> |
| UnparametricField (integer q, size_t e) |
template<> |
NTL::ZZ_p & | init (NTL::ZZ_p &x, const integer &y) const |
template<> |
integer & | convert (integer &x, const NTL::ZZ_p &y) const |
template<> |
integer & | cardinality (integer &c) const |
template<> |
integer & | characteristic (integer &c) const |
template<> |
NTL::ZZ_p & | inv (NTL::ZZ_p &x, const NTL::ZZ_p &y) const |
template<> |
bool | isZero (const NTL::ZZ_p &x) const |
template<> |
bool | isOne (const NTL::ZZ_p &x) const |
template<> |
NTL::ZZ_p & | invin (NTL::ZZ_p &x) const |
template<> |
std::ostream & | write (std::ostream &os) const |
Ring (in fact, a unique factorization domain) of polynomial with coefficients in class NTL_ZZ_p (integers mod a wordsize prime). All the same functions as any other ring, with the addition of: Coeff (type), CoeffField (type), getCoeffField, setCoeff, getCoeff, leadCoeff, deg