11501{
11502 printf("red: ");
11504 else if (strat->
red==
redHoney) printf(
"redHoney\n");
11505 else if (strat->
red==
redEcart) printf(
"redEcart\n");
11506 else if (strat->
red==
redHomog) printf(
"redHomog\n");
11507 else if (strat->
red==
redLazy) printf(
"redLazy\n");
11509 else printf(
"%p\n",(
void*)strat->
red);
11510 printf("posInT: ");
11526#ifdef HAVE_MORE_POS_IN_T
11530#endif
11532 else printf(
"%p\n",(
void*)strat->
posInT);
11533 printf("posInL: ");
11550 else printf(
"%p\n",(
void*)strat->
posInL);
11551 printf("enterS: ");
11555 else printf(
"%p\n",(
void*)strat->
enterS);
11556 printf("initEcart: ");
11559 else printf(
"%p\n",(
void*)strat->
initEcart);
11560 printf("initEcartPair: ");
11564 printf("homog=%d, LazyDegree=%d, LazyPass=%d, ak=%d,\n",
11566 printf("honey=%d, sugarCrit=%d, Gebauer=%d, noTailReduction=%d, use_buckets=%d\n",
11568 printf("chainCrit: ");
11571 else printf(
"%p\n",(
void*)strat->
chainCrit);
11572 printf("posInLDependsOnLength=%d\n",
11575 printf("LDeg: ");
11588 else printf(
"? (%lx)", (
long)
currRing->pLDeg);
11589 printf(" / ");
11602 else printf(
"? (%lx)", (
long)strat->
tailRing->pLDeg);
11603 printf("\n");
11604 printf("currRing->pFDeg: ");
11611 else printf(
"? (%lx)", (
long)
currRing->pFDeg);
11612 printf("\n");
11616
11618 {
11619 printf("ecartWeights: ");
11622 printf("\n");
11624 }
11625
11626#ifndef SING_NDEBUG
11628#endif
11629}
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)