11561{
11562 printf("red: ");
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: ");
11581 #ifdef HAVE_RINGS
11587 #endif
11588#ifdef HAVE_MORE_POS_IN_T
11592#endif
11594 else printf(
"%p\n",(
void*)strat->
posInT);
11595 printf("posInL: ");
11604 #ifdef HAVE_RINGS
11612 #endif
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",
11639 printf("LDeg: ");
11652 else printf(
"? (%lx)", (
long)
currRing->pLDeg);
11653 printf(" / ");
11666 else printf(
"? (%lx)", (
long)strat->
tailRing->pLDeg);
11667 printf("\n");
11668 printf("currRing->pFDeg: ");
11675 else printf(
"? (%lx)", (
long)
currRing->pFDeg);
11676 printf("\n");
11680
11682 {
11683 printf("ecartWeights: ");
11686 printf("\n");
11688 }
11689
11690#ifndef SING_NDEBUG
11692#endif
11693}
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)