|
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 |
int | 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 272 of file kutil.h.