11564 else if (strat->
red==
redHoney) printf(
"redHoney\n");
11565 else if (strat->
red==
redEcart) printf(
"redEcart\n");
11566 else if (strat->
red==
redHomog) printf(
"redHomog\n");
11567 else if (strat->
red==
redLazy) printf(
"redLazy\n");
11569 else printf(
"%p\n",(
void*)strat->
red);
11570 printf(
"posInT: ");
11588 #ifdef HAVE_MORE_POS_IN_T
11594 else printf(
"%p\n",(
void*)strat->
posInT);
11595 printf(
"posInL: ");
11614 else printf(
"%p\n",(
void*)strat->
posInL);
11615 printf(
"enterS: ");
11619 else printf(
"%p\n",(
void*)strat->
enterS);
11620 printf(
"initEcart: ");
11623 else printf(
"%p\n",(
void*)strat->
initEcart);
11624 printf(
"initEcartPair: ");
11628 printf(
"homog=%d, LazyDegree=%d, LazyPass=%d, ak=%d,\n",
11630 printf(
"honey=%d, sugarCrit=%d, Gebauer=%d, noTailReduction=%d, use_buckets=%d\n",
11632 printf(
"chainCrit: ");
11635 else printf(
"%p\n",(
void*)strat->
chainCrit);
11636 printf(
"posInLDependsOnLength=%d\n",
11652 else printf(
"? (%lx)", (
long)
currRing->pLDeg);
11666 else printf(
"? (%lx)", (
long)strat->
tailRing->pLDeg);
11668 printf(
"currRing->pFDeg: ");
11675 else printf(
"? (%lx)", (
long)
currRing->pFDeg);
11683 printf(
"ecartWeights: ");
11690 #ifndef SING_NDEBUG
void(* chainCrit)(poly p, int ecart, kStrategy strat)
long kHomModDeg(poly p, ring r)
int posInL17Ring(const LSet set, const int length, LObject *p, const kStrategy)
int posInL17_cRing(const LSet set, const int length, LObject *p, const kStrategy)
int posInL110(const LSet set, const int length, LObject *p, const kStrategy)
int posInT17(const TSet set, const int length, LObject &p)
int redFirst(LObject *h, kStrategy strat)
int posInL11Ring(const LSet set, const int length, LObject *p, const kStrategy)
int redEcart(LObject *h, kStrategy strat)
int posInT11(const TSet set, const int length, LObject &p)
int posInT1(const TSet set, const int length, LObject &p)
int posInT110Ring(const TSet set, const int length, LObject &p)
void enterSMoraNF(LObject &p, int atS, kStrategy strat, int atR=-1)
int posInT_EcartpLength(const TSet set, const int length, LObject &p)
int posInT0(const TSet, const int length, LObject &)
int posInL13(const LSet set, const int length, LObject *p, const kStrategy)
int posInL110Ring(const LSet set, const int length, LObject *p, const kStrategy)
int posInT_pLength(const TSet set, const int length, LObject &p)
int posInT13(const TSet set, const int length, LObject &p)
int posInL0(const LSet set, const int length, LObject *p, const kStrategy)
void chainCritOpt_1(poly, int, kStrategy strat)
int posInT11Ring(const TSet set, const int length, LObject &p)
int posInL15(const LSet set, const int length, LObject *p, const kStrategy)
int posInT17_c(const TSet set, const int length, LObject &p)
int posInT_EcartFDegpLength(const TSet set, const int length, LObject &p)
int posInT15(const TSet set, const int length, LObject &p)
int posInLSpecial(const LSet set, const int length, LObject *p, const kStrategy)
int posInL11Ringls(const LSet set, const int length, LObject *p, const kStrategy)
int posInL17(const LSet set, const int length, LObject *p, const kStrategy)
int posInT110(const TSet set, const int length, LObject &p)
int posInL15Ring(const LSet set, const int length, LObject *p, const kStrategy)
int posInT19(const TSet set, const int length, LObject &p)
int posInT15Ring(const TSet set, const int length, LObject &p)
int posInT17Ring(const TSet set, const int length, LObject &p)
void enterSMora(LObject &p, int atS, kStrategy strat, int atR=-1)
int posInT17_cRing(const TSet set, const int length, LObject &p)
int posInL17_c(const LSet set, const int length, LObject *p, const kStrategy)
int posInT_FDegpLength(const TSet set, const int length, LObject &p)
void chainCritNormal(poly p, int ecart, kStrategy strat)
int posInL11(const LSet set, const int length, LObject *p, const kStrategy)
#define TEST_OPT_DEGBOUND
long pLDegb(poly p, int *l, const ring r)
long pLDeg1_Totaldegree(poly p, int *l, const ring r)
long p_WFirstTotalDegree(poly p, const ring r)
long pLDeg1_WFirstTotalDegree(poly p, int *l, const ring r)
long pLDeg1c_WFirstTotalDegree(poly p, int *l, const ring r)
long pLDeg1c_Deg(poly p, int *l, const ring r)
long pLDeg1(poly p, int *l, const ring r)
long pLDeg1_Deg(poly p, int *l, const ring r)
long p_WTotaldegree(poly p, const ring r)
long pLDeg1c(poly p, int *l, const ring r)
long pLDeg1c_Totaldegree(poly p, int *l, const ring r)
long pLDeg0c(poly p, int *l, const ring r)
long pLDeg0(poly p, int *l, const ring r)
long p_Deg(poly a, const ring r)
static long p_Totaldegree(poly p, const ring r)
void rDebugPrint(const ring r)
static int rGetCurrSyzLimit(const ring r)
static BOOLEAN rIsSyzIndexRing(const ring r)