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))
152 if(newhilb->
compare(hilb) == 0)
int compare(const intvec *o) const
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 kModDeg(poly p, ring r)
long kHomModDeg(poly p, ring r)
void deleteInL(LSet set, int *length, int j, kStrategy strat)
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