11498{
11523#ifdef HAVE_MORE_POS_IN_T
11527#endif
11557 printf(
"initEcartPair: ");
11561 printf(
"homog=%d, LazyDegree=%d, LazyPass=%d, ak=%d,\n",
11563 printf(
"honey=%d, sugarCrit=%d, Gebauer=%d, noTailReduction=%d, use_buckets=%d\n",
11569 printf(
"posInLDependsOnLength=%d\n",
11601 printf(
"currRing->pFDeg: ");
11613
11615 {
11616 printf(
"ecartWeights: ");
11621 }
11622
11623#ifndef SING_NDEBUG
11625#endif
11626}
void(* chainCrit)(poly p, int ecart, kStrategy strat)
void(* initEcartPair)(LObject *h, poly f, poly g, int ecartF, int ecartG)
char posInLDependsOnLength
int redLiftstd(LObject *h, kStrategy strat)
long kHomModDeg(poly p, const ring r)
int posInL10(const LSet set, const int length, LObject *p, const kStrategy strat)
int redHoney(LObject *h, kStrategy strat)
int redHomog(LObject *h, kStrategy strat)
int redLazy(LObject *h, kStrategy strat)
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 posInT2(const TSet set, const int length, LObject &p)
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)
void initEcartPairMora(LObject *Lp, poly, poly, int ecartF, int ecartG)
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)
void initEcartNormal(TObject *h)
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)
void initEcartBBA(TObject *h)
int posInL11(const LSet set, const int length, LObject *p, const kStrategy)
void initEcartPairBba(LObject *Lp, poly, poly, int, int)
void enterSBba(LObject &p, int atS, kStrategy strat, int atR)
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)
static short rVar(const ring r)
#define rVar(r) (r->N)
long totaldegreeWecart(poly p, ring r)
long maxdegreeWecart(poly p, int *l, ring r)
EXTERN_VAR short * ecartWeights