|
kStrategy | next |
|
int(* | red )(LObject *L, kStrategy strat) |
|
int(* | red2 )(LObject *L, kStrategy strat) |
|
void(* | initEcart )(TObject *L) |
|
int(* | posInT )(const TSet T, const int tl, LObject &h) |
|
int(* | posInLSba )(const LSet set, const int length, LObject *L, const kStrategy strat) |
|
int(* | posInL )(const LSet set, const int length, LObject *L, const kStrategy strat) |
|
void(* | enterS )(LObject &h, int pos, kStrategy strat, int atR) |
|
void(* | initEcartPair )(LObject *h, poly f, poly g, int ecartF, int ecartG) |
|
int(* | posInLOld )(const LSet Ls, const int Ll, LObject *Lo, const kStrategy strat) |
|
void(* | enterOnePair )(int i, poly p, int ecart, int isFromQ, kStrategy strat, int atR) |
|
void(* | chainCrit )(poly p, int ecart, kStrategy strat) |
|
BOOLEAN(* | syzCrit )(poly sig, unsigned long not_sevSig, kStrategy strat) |
|
BOOLEAN(* | rewCrit1 )(poly sig, unsigned long not_sevSig, poly lm, kStrategy strat, int start) |
|
BOOLEAN(* | rewCrit2 )(poly sig, unsigned long not_sevSig, poly lm, kStrategy strat, int start) |
|
BOOLEAN(* | rewCrit3 )(poly sig, unsigned long not_sevSig, poly lm, kStrategy strat, int start) |
|
pFDegProc | pOrigFDeg |
|
pLDegProc | pOrigLDeg |
|
pFDegProc | pOrigFDeg_TailRing |
|
pLDegProc | pOrigLDeg_TailRing |
|
s_poly_proc_t | s_poly |
|
LObject | P |
|
ideal | Shdl |
|
ideal | D |
|
ideal | M |
|
polyset | S |
|
polyset | syz |
|
polyset | sig |
|
intset | ecartS |
|
intset | fromS |
|
intset | syzIdx |
|
unsigned | sbaOrder |
|
int | currIdx |
|
int | max_lower_index |
|
intset | lenS |
|
wlen_set | lenSw |
|
intset | fromQ |
|
unsigned long * | sevS |
|
unsigned long * | sevSyz |
|
unsigned long * | sevSig |
|
unsigned long * | sevT |
|
TSet | T |
|
LSet | L |
|
LSet | B |
|
poly | kNoether |
|
poly | t_kNoether |
|
BOOLEAN * | NotUsedAxis |
|
BOOLEAN * | pairtest |
|
poly | tail |
|
intvec * | kModW |
|
intvec * | kHomW |
|
pShallowCopyDeleteProc | p_shallow_copy_delete |
|
TObject ** | R |
|
int * | S_2_R |
|
ring | tailRing |
|
omBin | lmBin |
|
omBin | tailBin |
|
int | nr |
|
int | cp |
|
int | c3 |
|
int | sl |
|
int | mu |
|
int | syzl |
|
int | syzmax |
|
int | syzidxmax |
|
int | tl |
|
int | tmax |
|
int | Ll |
|
int | Lmax |
|
int | Bl |
|
int | Bmax |
|
int | ak |
|
int | LazyDegree |
|
int | LazyPass |
|
unsigned | syzComp |
|
int | lastAxis |
|
int | newIdeal |
|
int | minim |
|
bool | sigdrop |
|
int | nrsyzcrit |
|
int | nrrewcrit |
|
int | sbaEnterS |
|
int | blockred |
|
int | blockredmax |
|
int | cv |
|
char | rightGB |
|
char | interpt |
|
char | homog |
|
char | z2homog |
|
char | kAllAxis |
|
char | honey |
|
char | sugarCrit |
|
char | Gebauer |
|
char | noTailReduction |
|
char | fromT |
|
char | noetherSet |
|
char | update |
|
char | posInLOldFlag |
|
char | use_buckets |
|
char | LDegLast |
|
char | length_pLength |
|
char | posInLDependsOnLength |
|
char | no_prod_crit |
|
char | redTailChange |
|
char | news |
|
char | newt |
|
char | noClearS |
|
char | completeReduce_retry |
|
char | overflow |
|
Definition at line 271 of file kutil.h.