![]() |
#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) |
char * | naCoeffName (const coeffs r) |
struct AlgExtInfo |
first check whether cf->extRing != NULL and delete old ring???
Definition at line 1696 of file algext.cc.
Definition at line 1363 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 1406 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.