Go to the source code of this file.
◆ khCheck()
Definition at line 28 of file khstd.cc.
47{
51
54 {
56 {
59 for(
i=strat->
sl;
i>0;
i--)
60 {
62 }
63 for(
i=strat->
ak;
i>0;
i--)
64 {
66 {
68 return;
69 }
70 }
72 }
74
75
77
84 {
86 {
88 eledeg = (*newhilb)[deg]-(*hilb)[deg];
89 else
91 }
92 else
93 {
96 else
97 {
99 {
102 {
105 }
107 }
109 return;
110 }
111 }
113 break;
115 return;
116 deg++;
117 }
120 {
123 {
126 }
128 }
129 }
130}
intvec * hFirstSeries(ideal A, intvec *module_w, ideal Q, intvec *wdegree)
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_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 244 of file khstd.cc.
255{
258
260
262
264 {
266 {
269 {
272 }
274 }
276 return;
277 }
279}
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