11506{
11507 printf("red: ");
11509 else if (strat->
red==
redHoney) printf(
"redHoney\n");
11510 else if (strat->
red==
redEcart) printf(
"redEcart\n");
11511 else if (strat->
red==
redHomog) printf(
"redHomog\n");
11512 else if (strat->
red==
redLazy) printf(
"redLazy\n");
11514 else printf(
"%p\n",(
void*)strat->
red);
11515 printf("posInT: ");
11531#ifdef HAVE_MORE_POS_IN_T
11535#endif
11537 else printf(
"%p\n",(
void*)strat->
posInT);
11538 printf("posInL: ");
11555 else printf(
"%p\n",(
void*)strat->
posInL);
11556 printf("enterS: ");
11560 else printf(
"%p\n",(
void*)strat->
enterS);
11561 printf("initEcart: ");
11564 else printf(
"%p\n",(
void*)strat->
initEcart);
11565 printf("initEcartPair: ");
11569 printf("homog=%d, LazyDegree=%d, LazyPass=%d, ak=%d,\n",
11571 printf("honey=%d, sugarCrit=%d, Gebauer=%d, noTailReduction=%d, use_buckets=%d\n",
11573 printf("chainCrit: ");
11576 else printf(
"%p\n",(
void*)strat->
chainCrit);
11577 printf("posInLDependsOnLength=%d\n",
11580 printf("LDeg: ");
11593 else printf(
"? (%lx)", (
long)
currRing->pLDeg);
11594 printf(" / ");
11607 else printf(
"? (%lx)", (
long)strat->
tailRing->pLDeg);
11608 printf("\n");
11609 printf("currRing->pFDeg: ");
11616 else printf(
"? (%lx)", (
long)
currRing->pFDeg);
11617 printf("\n");
11621
11623 {
11624 printf("ecartWeights: ");
11627 printf("\n");
11629 }
11630
11631#ifndef SING_NDEBUG
11633#endif
11634}
void(* chainCrit)(poly p, int ecart, kStrategy strat)
long kHomModDeg(poly p, const ring r)
void enterSMoraNF(LObject &p, int atS, kStrategy strat, int atR=-1)
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 posInL11Ring(const LSet set, const int length, LObject *p, const kStrategy)
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)
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)
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)