Go to the source code of this file.
|
poly | p_LPshiftT (poly p, int sh, int uptodeg, int lV, kStrategy strat, const ring r) |
|
int | p_LastVblockT (poly p, int lV, kStrategy strat, 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) |
|
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_mLastVblock (poly p, int lV, const ring r) |
|
int | p_LastVblock (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) |
|
◆ pLastVblock
◆ pmLastVblock
◆ ideal_isInV()
int ideal_isInV |
( |
ideal |
I, |
|
|
int |
lV |
|
) |
| |
Definition at line 305 of file shiftgb.cc.
310 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 238 of file shiftgb.cc.
242 if (lV <= 0)
return(0);
249 int *
B = (
int *)
omAlloc0((b+1)*
sizeof(int));
256 for (i=(j-1)*lV + 1; i<= j*lV; i++)
258 if (e[i]) B[
j] = B[
j]+1;
270 if (j==0)
goto ret_true;
static void p_GetExpV(poly p, int *ev, const ring r)
static long pTotaldegree(poly p)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
◆ itoInsert()
int itoInsert |
( |
poly |
p, |
|
|
int |
uptodeg, |
|
|
int |
lV, |
|
|
const ring |
r |
|
) |
| |
Definition at line 321 of file shiftgb.cc.
int p_mLastVblock(poly p, int lV, const ring r)
static int si_max(const int a, const int b)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
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 156 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 133 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 74 of file shiftgb.cc.
82 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()
poly p_LPshiftT |
( |
poly |
p, |
|
|
int |
sh, |
|
|
int |
uptodeg, |
|
|
int |
lV, |
|
|
kStrategy |
strat, |
|
|
const ring |
r |
|
) |
| |
Definition at line 42 of file shiftgb.cc.
55 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 173 of file shiftgb.cc.
181 int *e=(
int *)
omAlloc0((r->N+1)*
sizeof(int));
185 while ( (!e[j]) && (j>=1) ) j--;
188 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 97 of file shiftgb.cc.
101 if (sh == 0)
return(
p);
107 int *e=(
int *)
omAlloc0((r->N+1)*
sizeof(int));
108 int *
s=(
int *)
omAlloc0((r->N+1)*
sizeof(int));
114 for (j=1; j<= L*lV ; j++)
119 assume(j + (sh*lV)<=r->N);
120 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()
poly p_mShrink |
( |
poly |
p, |
|
|
int |
lV, |
|
|
const ring |
r |
|
) |
| |
Definition at line 390 of file shiftgb.cc.
398 int *e = (
int *)
omAlloc0((r->N+1)*
sizeof(int));
399 int b = (int)((r->N +lV-1)/lV);
401 int *S = (
int *)
omAlloc0((r->N+1)*
sizeof(int));
403 int i,
j;
int cnt = 1;
408 for (i=(j-1)*lV + 1; i<= j*lV; i++)
413 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)
static FORCE_INLINE number n_Copy(number n, const coeffs r)
return a copy of 'n'
◆ p_Shrink()
poly p_Shrink |
( |
poly |
p, |
|
|
int |
lV, |
|
|
const ring |
r |
|
) |
| |
Definition at line 370 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 342 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 192 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 210 of file shiftgb.cc.
222 while ( (!e[j]) && (j<=currRing->
N-1) ) j++;
226 PrintS(
"pmFirstVblock: unexpected zero exponent vector\n");
static void p_GetExpV(poly p, int *ev, const ring r)
const CanonicalForm CFMap CFMap & N
void PrintS(const char *s)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
#define pIsConstantPoly(p)
return TRUE if all monomials of p are constant
◆ poly_isInV()
int poly_isInV |
( |
poly |
p, |
|
|
int |
lV |
|
) |
| |
Definition at line 290 of file shiftgb.cc.
int isInV(poly p, int lV)