![]() |
My Project
UNKNOWN_GIT_VERSION
|
Go to the source code of this file.
Data Structures | |
struct | AlgExtInfo |
struct for passing initialization parameters to naInitChar More... | |
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 1683 of file algext.cc.
Definition at line 1356 of file algext.cc.
Definition at line 1333 of file algext.cc.
Initialize the coeffs object.
first check whether cf->extRing != NULL and delete old ring???
Definition at line 1399 of file algext.cc.
int naIsParam | ( | number | , |
const | coeffs | ||
) |
if m == var(i)/1 => return i,
Definition at line 1095 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 1019 of file algext.cc.
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
Definition at line 218 of file algext.cc.