59 for(
i=strat->
sl;
i>0;
i--)
63 for(
i=strat->
ak;
i>0;
i--)
88 eledeg = (*newhilb)[deg]-(*hilb)[deg];
169 for(
i=strat->
sl;
i>0;
i--)
173 for(
i=strat->
ak;
i>0;
i--)
199 eledeg = (*newhilb)[deg]-(*hilb)[deg];
static FORCE_INLINE void n_MPZ(mpz_t result, number &n, const coeffs r)
conversion of n to a GMP integer; 0 if not possible
poly hFirstSeries0m(ideal A, ideal Q, intvec *wdegree, intvec *shifts, const ring src, const ring Qt)
intvec * hFirstSeries(ideal A, intvec *module_w, ideal Q, intvec *wdegree)
void khCheckLocInhom(ideal Q, intvec *w, intvec *hilb, int &count, kStrategy strat)
void khCheck(ideal Q, intvec *w, intvec *hilb, int &eledeg, int &count, kStrategy strat)
long kHomModDeg(poly p, const ring r)
long kModDeg(poly p, const ring r)
void deleteInL(LSet set, int *length, int j, kStrategy strat)
static long p_FDeg(const poly p, const ring r)
static long p_Totaldegree(poly p, const ring r)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Compatibility layer for legacy polynomial operations (over currRing)
#define pGetComp(p)
Component.
void PrintS(const char *s)
long(* pFDegProc)(poly p, ring r)
int status int void size_t count
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
ideal id_Head(ideal h, const ring r)
returns the ideals of initial terms