![]() |
#include <coeffs/coeffs.h>
Go to the source code of this file.
Data Structures | |
struct | AlgExtInfo |
struct for passing initialization parameters to naInitChar More... | |
Typedefs | |
typedef polyrec * | poly |
Functions | |
nMapFunc | naSetMap (const coeffs src, const coeffs dst) |
Get a mapping function from src into the domain of this type (n_algExt) More... | |
BOOLEAN | naInitChar (coeffs cf, void *infoStruct) |
Initialize the coeffs object. More... | |
BOOLEAN | n2pInitChar (coeffs cf, void *infoStruct) |
int | naIsParam (number, const coeffs) |
if m == var(i)/1 => return i, More... | |
poly | p_ExtGcd (poly p, poly &pFactor, poly q, poly &qFactor, ring r) |
assumes that p and q are univariate polynomials in r, mentioning the same variable; assumes a global monomial ordering in r; assumes that not both p and q are NULL; returns the gcd of p and q; moreover, afterwards pFactor and qFactor contain appropriate factors such that gcd(p, q) = p * pFactor + q * qFactor; leaves p and q unmodified More... | |
char * | naCoeffString (const coeffs r) |
struct AlgExtInfo |
first check whether cf->extRing != NULL and delete old ring???
Definition at line 1639 of file algext.cc.
Definition at line 1340 of file algext.cc.
Initialize the coeffs object.
first check whether cf->extRing != NULL and delete old ring???
Definition at line 1383 of file algext.cc.
if m == var(i)/1 => return i,
Definition at line 1106 of file algext.cc.
Get a mapping function from src into the domain of this type (n_algExt)
Q or Z –> Q(a)
Z –> Q(a)
Z/p –> Q(a)
Q –> Z/p(a)
Z –> Z/p(a)
Z/p –> Z/p(a)
Z/u –> Z/p(a)
default
Definition at line 1030 of file algext.cc.
assumes that p and q are univariate polynomials in r, mentioning the same variable; assumes a global monomial ordering in r; assumes that not both p and q are NULL; returns the gcd of p and q; moreover, afterwards pFactor and qFactor contain appropriate factors such that gcd(p, q) = p * pFactor + q * qFactor; leaves p and q unmodified
Definition at line 223 of file algext.cc.