59 for(
i=strat->
sl;
i>0;
i--)
63 for(
i=strat->
ak;
i>0;
i--)
65 if(used_comp[
i]==
'\0')
88 eledeg = (*newhilb)[deg]-(*hilb)[deg];
90 eledeg = (*newhilb)[deg];
95 eledeg = -(*hilb)[deg];
119 while ((strat->
Ll>=0) && (degp(strat->
L[strat->
Ll].p,
currRing)-mw < deg))
169 for(
i=strat->
sl;
i>0;
i--)
173 for(
i=strat->
ak;
i>0;
i--)
175 if(used_comp[
i]==
'\0')
189 number lt=pGetcoeff(hilb);
190 n_MPZ(mw,<,Qt->cf);
199 eledeg = (*newhilb)[deg]-(*hilb)[deg];
201 eledeg = (*newhilb)[deg];
206 eledeg = -(*hilb)[deg];
230 while ((strat->
Ll>=0) && (degp(strat->
L[strat->
Ll].p,
currRing)-mw < deg))
263 if(newhilb->
compare(hilb) == 0)
int compare(const intvec *o) const
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