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
int status int void size_t count
Compatiblity layer for legacy polynomial operations (over currRing)
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
static long p_Totaldegree(poly p, const ring r)
#define pGetComp(p)
Component.
intvec * hHstdSeries(ideal S, intvec *modulweight, intvec *wdegree, ideal Q, ring tailRing)
void deleteInL(LSet set, int *length, int j, kStrategy strat)
long kHomModDeg(poly p, ring r)
void PrintS(const char *s)
void khCheck(ideal Q, intvec *w, intvec *hilb, int &eledeg, int &count, kStrategy strat)
long(* pFDegProc)(poly p, ring r)
void khCheckLocInhom(ideal Q, intvec *w, intvec *hilb, int &count, kStrategy strat)
ideal id_Head(ideal h, const ring r)
returns the ideals of initial terms
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
long kModDeg(poly p, ring r)