Go to the source code of this file.
|
poly | p_LPshiftT (poly p, int sh, int uptodeg, int lV, kStrategy strat, const ring r) |
|
poly | p_LPshift (poly p, int sh, int uptodeg, int lV, const ring r) |
|
poly | p_mLPshift (poly p, int sh, int uptodeg, int lV, const ring r) |
|
int | p_LastVblockT (poly p, int lV, kStrategy strat, const ring r) |
|
int | p_LastVblock (poly p, int lV, const ring r) |
|
int | p_mLastVblock (poly p, int lV, const ring r) |
|
int | pFirstVblock (poly p, int lV) |
|
int | pmFirstVblock (poly p, int lV) |
|
int | isInV (poly p, int lV) |
|
int | poly_isInV (poly p, int lV) |
|
int | ideal_isInV (ideal I, int lV) |
|
int | itoInsert (poly p, int uptodeg, int lV, const ring r) |
|
poly | p_ShrinkT (poly p, int lV, kStrategy strat, const ring r) |
|
poly | p_Shrink (poly p, int lV, const ring r) |
|
poly | p_mShrink (poly p, int lV, const ring r) |
|
§ freeT
§ ideal_isInV()
int ideal_isInV |
( |
ideal |
I, |
|
|
int |
lV |
|
) |
| |
Definition at line 308 of file shiftgb.cc.
313 for(i = 0; i <=
s; i++)
const CanonicalForm int s
int poly_isInV(poly p, int lV)
§ isInV()
int isInV |
( |
poly |
p, |
|
|
int |
lV |
|
) |
| |
Definition at line 241 of file shiftgb.cc.
245 if (lV <= 0)
return(0);
252 int *
B = (
int *)
omAlloc0((b+1)*
sizeof(int));
259 for (i=(j-1)*lV + 1; i<= j*lV; i++)
261 if (e[i]) B[
j] = B[
j]+1;
273 if (j==0)
goto ret_true;
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
#define pIsConstant(p)
like above, except that Comp might be != 0
#define pGetExpV(p, e)
Gets a copy of (resp. set) the exponent vector, where e is assumed to point to (r->N +1)*sizeof(long)...
§ itoInsert()
int itoInsert |
( |
poly |
p, |
|
|
int |
uptodeg, |
|
|
int |
lV, |
|
|
const ring |
r |
|
) |
| |
Definition at line 324 of file shiftgb.cc.
int p_mLastVblock(poly p, int lV, const ring r)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
static int si_max(const int a, const int b)
int p_LastVblock(poly p, int lV, const ring r)
§ p_LastVblock()
int p_LastVblock |
( |
poly |
p, |
|
|
int |
lV, |
|
|
const ring |
r |
|
) |
| |
Definition at line 159 of file shiftgb.cc.
int p_mLastVblock(poly p, int lV, const ring r)
static int si_max(const int a, const int b)
§ p_LastVblockT()
Definition at line 136 of file shiftgb.cc.
int p_mLastVblock(poly p, int lV, const ring r)
BOOLEAN p_LmCheckIsFromRing(poly p, ring r)
static int si_max(const int a, const int b)
BOOLEAN p_CheckIsFromRing(poly p, ring r)
§ p_LPshift()
poly p_LPshift |
( |
poly |
p, |
|
|
int |
sh, |
|
|
int |
uptodeg, |
|
|
int |
lV, |
|
|
const ring |
r |
|
) |
| |
Definition at line 77 of file shiftgb.cc.
85 if (sh == 0)
return(
p);
poly p_mLPshift(poly p, int sh, int uptodeg, int lV, const ring r)
static poly p_Add_q(poly p, poly q, const ring r)
§ p_LPshiftT()
Definition at line 45 of file shiftgb.cc.
58 if (sh == 0)
return(
p);
const CanonicalForm int s
BOOLEAN p_LmCheckIsFromRing(poly p, ring r)
static poly p_Head(poly p, const ring r)
BOOLEAN p_CheckIsFromRing(poly p, ring r)
poly p_mLPshift(poly p, int sh, int uptodeg, int lV, const ring r)
static poly p_Add_q(poly p, poly q, const ring r)
§ p_mLastVblock()
int p_mLastVblock |
( |
poly |
p, |
|
|
int |
lV, |
|
|
const ring |
r |
|
) |
| |
Definition at line 176 of file shiftgb.cc.
184 int *e=(
int *)
omAlloc0((
r->N+1)*
sizeof(int));
188 while ( (!e[j]) && (j>=1) ) j--;
191 b = (int)((j+lV-1)/lV);
static void p_GetExpV(poly p, int *ev, const ring r)
static BOOLEAN p_LmIsConstant(const poly p, const ring r)
§ p_mLPshift()
poly p_mLPshift |
( |
poly |
p, |
|
|
int |
sh, |
|
|
int |
uptodeg, |
|
|
int |
lV, |
|
|
const ring |
r |
|
) |
| |
Definition at line 100 of file shiftgb.cc.
104 if (sh == 0)
return(
p);
110 int *e=(
int *)
omAlloc0((
r->N+1)*
sizeof(int));
117 for (j=1; j<= L*lV ; j++)
123 s[j + (sh*lV)] = e[j];
int p_mLastVblock(poly p, int lV, const ring r)
const CanonicalForm int s
static void p_GetExpV(poly p, int *ev, const ring r)
static void p_SetExpV(poly p, int *ev, const ring r)
§ p_mShrink()
Definition at line 393 of file shiftgb.cc.
401 int *e = (
int *)
omAlloc0((
r->N+1)*
sizeof(int));
402 int b = (int)((
r->N +lV-1)/lV);
404 int *S = (
int *)
omAlloc0((
r->N+1)*
sizeof(int));
406 int i,
j;
int cnt = 1;
411 for (i=(j-1)*lV + 1; i<= j*lV; i++)
416 S[(cnt-1)*lV + (i - (j-1)*lV)] = e[i];
const CanonicalForm int s
static unsigned long p_SetComp(poly p, unsigned long c, ring r)
static void p_GetExpV(poly p, int *ev, const ring r)
static number p_SetCoeff(poly p, number n, ring r)
static void p_SetExpV(poly p, int *ev, const ring r)
§ p_Shrink()
Definition at line 373 of file shiftgb.cc.
poly p_mShrink(poly p, int lV, const ring r)
BOOLEAN p_CheckIsFromRing(poly p, ring r)
static poly p_Add_q(poly p, poly q, const ring r)
§ p_ShrinkT()
Definition at line 345 of file shiftgb.cc.
const CanonicalForm int s
BOOLEAN p_LmCheckIsFromRing(poly p, ring r)
poly p_mShrink(poly p, int lV, const ring r)
BOOLEAN p_CheckIsFromRing(poly p, ring r)
static poly p_Add_q(poly p, poly q, const ring r)
§ pFirstVblock()
int pFirstVblock |
( |
poly |
p, |
|
|
int |
lV |
|
) |
| |
Definition at line 195 of file shiftgb.cc.
static int si_min(const int a, const int b)
int pmFirstVblock(poly p, int lV)
§ pmFirstVblock()
int pmFirstVblock |
( |
poly |
p, |
|
|
int |
lV |
|
) |
| |
Definition at line 213 of file shiftgb.cc.
225 while ( (!e[j]) && (j<=currRing->
N-1) ) j++;
229 PrintS(
"pmFirstVblock: unexpected zero exponent vector\n");
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
const CanonicalForm CFMap CFMap & N
void PrintS(const char *s)
#define pGetExpV(p, e)
Gets a copy of (resp. set) the exponent vector, where e is assumed to point to (r->N +1)*sizeof(long)...
#define pIsConstantPoly(p)
return TRUE if all monomials of p are constant
§ poly_isInV()
int poly_isInV |
( |
poly |
p, |
|
|
int |
lV |
|
) |
| |
Definition at line 293 of file shiftgb.cc.
int isInV(poly p, int lV)