#include <ntl-lzz_pX.h>
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 |
|
Standard LinBox field constructor. The paramters here (prime, exponent) are only used to initialize the coefficient field. |
|
Constructor from a coefficient field |
|
Initialize p to the constant y (p = y*x^0) |
|
Initialize p to the constant y (p = y*x^0) |
|
Initialize p from a vector of coefficients. The vector should be ordered the same way NTL does it: the front of the vector corresponds to the trailing coefficients, and the back of the vector corresponds to the leading coefficients. That is, v[i] = coefficient of x^i. |
|
Initialize p from a vector of coefficients. The vector should be ordered the same way NTL does it: the front of the vector corresponds to the trailing coefficients, and the back of the vector corresponds to the leading coefficients. That is, v[i] = coefficient of x^i. |
|
Convert p to a vector of coefficients. The vector will be ordered the same way NTL does it: the front of the vector corresponds to the trailing coefficients, and the back of the vector corresponds to the leading coefficients. That is, v[i] = coefficient of x^i. |
|
Convert p to a vector of coefficients. The vector will be ordered the same way NTL does it: the front of the vector corresponds to the trailing coefficients, and the back of the vector corresponds to the leading coefficients. That is, v[i] = coefficient of x^i. |
|
Test if an element equals zero |
|
Test if an element equals one |
|
The LinBox field for coefficients |
|
Get the degree of a polynomial Unlike NTL, deg(0)=0. |
|
r will be set to the reverse of p. |
|
r is itself reversed. |
|
Get the leading coefficient of this polynomial. |
|
Get the coefficient of x^i in a given polynomial |
|
Set the coefficient of x^i in a given polynomial |
|
Get the quotient of two polynomials |
|
a = quotient of a, b |
|
Get the remainder under polynomial division |
|
a = remainder of a,b |
|
Get the quotient and remainder under polynomial division |
|
Get characteristic of the field - same as characteristic of coefficient field. |
|
Get the cardinality of the field. Since the cardinality is infinite, by convention we return -1. |