Go to the source code of this file.
◆ khCheck()
Definition at line 28 of file khstd.cc.
47{
51
52 eledeg--;
53 if (eledeg == 0)
54 {
56 {
59 for(
i=strat->
sl;
i>0;
i--)
60 {
62 }
63 for(
i=strat->
ak;
i>0;
i--)
64 {
65 if(used_comp[
i]==
'\0')
66 {
68 return;
69 }
70 }
72 }
74
75
77
84 {
85 if (deg < ln)
86 {
88 eledeg = (*newhilb)[deg]-(*hilb)[deg];
89 else
90 eledeg = (*newhilb)[deg];
91 }
92 else
93 {
95 eledeg = -(*hilb)[deg];
96 else
97 {
99 {
102 {
105 }
107 }
108 delete newhilb;
109 return;
110 }
111 }
112 if (eledeg > 0)
113 break;
114 else if (eledeg <0)
115 return;
116 deg++;
117 }
118 delete newhilb;
119 while ((strat->
Ll>=0) && (degp(strat->
L[strat->
Ll].p,
currRing)-mw < deg))
120 {
123 {
126 }
128 }
129 }
130}
intvec * hFirstSeries(ideal A, intvec *module_w, ideal Q, intvec *wdegree)
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 ...
#define pGetComp(p)
Component.
void PrintS(const char *s)
long(* pFDegProc)(poly p, ring r)
int status int void size_t count
◆ khCheckLocInhom()
Definition at line 133 of file khstd.cc.
144{
145 ideal Lm;
147
149
151
152 if(newhilb->
compare(hilb) == 0)
153 {
155 {
158 {
161 }
163 }
164 delete newhilb;
165 return;
166 }
168}
int compare(const intvec *o) const
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