 |
My Project
debian-1:4.1.1-p2+ds-4
|
Go to the documentation of this file.
8 static poly
p_SubstMon(poly
p,
int var, poly image,
const ring preimage_r,
const ring image_r,
const nMapFunc nMap,
matrix cache)
14 for(
i=1;
i<=preimage_r->N;
i++)
45 if((image_r!=preimage_r)
59 poly q=
p_SubstMon(
p,var,image,preimage_r,image_r,nMap,cache);
68 ideal
id_SubstPoly (ideal
id,
int var, poly image,
const ring preimage_r,
const ring image_r,
const nMapFunc nMap)
static long p_GetExp(const poly p, const unsigned long iBitmask, const int VarOffset)
get a single variable exponent @Note: the integer VarOffset encodes:
int maMaxDeg_Ma(ideal a, ring preimage_r)
void sBucketDestroyAdd(sBucket_pt bucket, poly *p, int *length)
static poly p_Mult_mm(poly p, poly m, const ring r)
static unsigned long p_SetExp(poly p, const unsigned long e, const unsigned long iBitmask, const int VarOffset)
set a single variable exponent @Note: VarOffset encodes the position in p->exp
static BOOLEAN rIsPluralRing(const ring r)
we must always have this test!
static unsigned pLength(poly a)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
number(* nMapFunc)(number a, const coeffs src, const coeffs dst)
maps "a", which lives in src, into dst
void sBucket_Add_p(sBucket_pt bucket, poly p, int length)
adds poly p to bucket destroys p!
poly maEvalVariable(poly p, int v, int pExp, ideal s, const ring dst_r)
sBucket_pt sBucketCreate(const ring r)
static void p_LmDelete(poly p, const ring r)
ideal id_SubstPoly(ideal id, int var, poly image, const ring preimage_r, const ring image_r, const nMapFunc nMap)
int maMaxDeg_P(poly p, ring preimage_r)
matrix mpNew(int r, int c)
create a r x c zero-matrix
poly p_SubstPoly(poly p, int var, poly image, const ring preimage_r, const ring image_r, const nMapFunc nMap, matrix cache)
poly p_NSet(number n, const ring r)
returns the poly representing the number n, destroys n
void WerrorS(const char *s)
static poly p_SubstMon(poly p, int var, poly image, const ring preimage_r, const ring image_r, const nMapFunc nMap, matrix cache)
static void p_Setm(poly p, const ring r)
#define pCopy(p)
return a copy of the poly
static number & pGetCoeff(poly p)
return an alias to the leading coefficient of p assumes that p != NULL NOTE: not copy