|
static poly | redMora (poly h, int maxIndex, kStrategy strat) |
|
static poly | redBba (poly h, int maxIndex, kStrategy strat) |
|
static int | pDivCompRing (poly p, poly q) |
|
static int | pDivComp (poly p, poly q) |
|
static int | pLPDivComp (poly p, poly q) |
|
void | deleteHC (LObject *L, kStrategy strat, BOOLEAN fromNext) |
|
void | deleteHC (poly *p, int *e, int *l, kStrategy strat) |
|
void | cancelunit (LObject *L, BOOLEAN inNF) |
|
void | HEckeTest (poly pp, kStrategy strat) |
|
static intset | initec (const int maxnr) |
|
static unsigned long * | initsevS (const int maxnr) |
|
static int * | initS_2_R (const int maxnr) |
|
static void | enlargeT (TSet &T, TObject **&R, unsigned long *&sevT, int &length, const int incr) |
|
void | cleanT (kStrategy strat) |
|
void | cleanTSbaRing (kStrategy strat) |
|
static void | enlargeL (LSet *L, int *length, const int incr) |
|
void | initPairtest (kStrategy strat) |
|
BOOLEAN | isInPairsetL (int length, poly p1, poly p2, int *k, kStrategy strat) |
|
BOOLEAN | isInPairsetB (poly q, int *k, kStrategy strat) |
|
int | kFindInT (poly p, TSet T, int tlength) |
| returns index of p in TSet, or -1 if not found More...
|
|
int | kFindInT (poly p, kStrategy strat) |
|
int | kFindInTShift (poly p, TSet T, int tlength) |
|
int | kFindInTShift (poly p, kStrategy strat) |
|
static const char * | kTest_LmEqual (poly p, poly t_p, ring tailRing) |
|
BOOLEAN | kTest_T (TObject *T, ring strat_tailRing, int i, char TN) |
|
BOOLEAN | kTest_L (LObject *L, ring strat_tailRing, BOOLEAN testp, int lpos, TSet T, int tlength) |
|
BOOLEAN | kTest (kStrategy strat) |
|
BOOLEAN | kTest_S (kStrategy strat) |
|
BOOLEAN | kTest_TS (kStrategy strat) |
|
void | deleteInS (int i, kStrategy strat) |
|
void | deleteInSSba (int i, kStrategy strat) |
|
void | deleteInL (LSet set, int *length, int j, kStrategy strat) |
|
void | enterL (LSet *set, int *length, int *LSetmax, LObject p, int at) |
|
void | initEcartNormal (TObject *h) |
|
void | initEcartBBA (TObject *h) |
|
void | initEcartPairBba (LObject *Lp, poly, poly, int, int) |
|
void | initEcartPairMora (LObject *Lp, poly, poly, int ecartF, int ecartG) |
|
static BOOLEAN | sugarDivisibleBy (int ecart1, int ecart2) |
|
static void | enterOnePairRing (int i, poly p, int, int isFromQ, kStrategy strat, int atR) |
|
static BOOLEAN | enterOneStrongPoly (int i, poly p, int, int, kStrategy strat, int atR, bool enterTstrong) |
|
BOOLEAN | sbaCheckGcdPair (LObject *h, kStrategy strat) |
|
static BOOLEAN | enterOneStrongPolySig (int i, poly p, poly sig, int, int, kStrategy strat, int atR) |
|
void | enterOnePairNormal (int i, poly p, int ecart, int isFromQ, kStrategy strat, int atR=-1) |
|
static BOOLEAN | p_HasNotCF_Lift (poly p1, poly p2, const ring r) |
| p_HasNotCF for the IDLIFT case and syzComp==1: ignore component More...
|
|
static void | enterOnePairLift (int i, poly p, int ecart, int isFromQ, kStrategy strat, int atR=-1) |
|
static void | enterOnePairSig (int i, poly p, poly pSig, int, int ecart, int isFromQ, kStrategy strat, int atR=-1) |
|
static void | enterOnePairSigRing (int i, poly p, poly pSig, int, int ecart, int isFromQ, kStrategy strat, int atR=-1) |
|
void | enterOnePairSpecial (int i, poly p, int ecart, kStrategy strat, int atR=-1) |
|
void | kMergeBintoL (kStrategy strat) |
|
void | kMergeBintoLSba (kStrategy strat) |
|
void | chainCritNormal (poly p, int ecart, kStrategy strat) |
|
void | chainCritOpt_1 (poly, int, kStrategy strat) |
|
void | chainCritSig (poly p, int, kStrategy strat) |
|
void | chainCritPart (poly p, int ecart, kStrategy strat) |
|
void | initenterpairs (poly h, int k, int ecart, int isFromQ, kStrategy strat, int atR) |
|
void | initenterpairsSig (poly h, poly hSig, int hFrom, int k, int ecart, int isFromQ, kStrategy strat, int atR=-1) |
|
void | initenterpairsSigRing (poly h, poly hSig, int hFrom, int k, int ecart, int isFromQ, kStrategy strat, int atR=-1) |
|
void | chainCritRing (poly p, int, kStrategy strat) |
|
long | ind2 (long arg) |
|
long | ind_fact_2 (long arg) |
|
long | twoPow (long arg) |
|
void | enterOneZeroPairRing (poly f, poly t_p, poly p, int ecart, kStrategy strat, int atR=-1) |
|
int | nextZeroSimplexExponent (long exp[], long ind[], long cexp[], long cind[], long *cabsind, long step[], long bound, long N) |
|
poly | kCreateZeroPoly (long exp[], long cabsind, poly *t_p, ring leadRing, ring tailRing) |
|
void | initenterzeropairsRing (poly p, int ecart, kStrategy strat, int atR) |
|
ideal | createG0 () |
|
void | initenterstrongPairs (poly h, int k, int ecart, int isFromQ, kStrategy strat, int atR=-1) |
|
static void | initenterstrongPairsSig (poly h, poly hSig, int k, int ecart, int isFromQ, kStrategy strat, int atR=-1) |
|
void | enterExtendedSpoly (poly h, kStrategy strat) |
|
void | enterExtendedSpolySig (poly h, poly hSig, kStrategy strat) |
|
void | clearSbatch (poly h, int k, int pos, kStrategy strat) |
|
void | superenterpairs (poly h, int k, int ecart, int pos, kStrategy strat, int atR) |
|
void | superenterpairsSig (poly h, poly hSig, int hFrom, int k, int ecart, int pos, kStrategy strat, int atR) |
|
void | enterpairs (poly h, int k, int ecart, int pos, kStrategy strat, int atR) |
|
void | enterpairsSig (poly h, poly hSig, int hFrom, int k, int ecart, int pos, kStrategy strat, int atR) |
|
void | enterpairsSpecial (poly h, int k, int ecart, int pos, kStrategy strat, int atR=-1) |
|
void | reorderS (int *suc, kStrategy strat) |
|
int | posInS (const kStrategy strat, const int length, const poly p, const int ecart_p) |
|
int | posInSMonFirst (const kStrategy strat, const int length, const poly p) |
|
int | posInIdealMonFirst (const ideal F, const poly p, int start, int end) |
|
int | posInT0 (const TSet, const int length, LObject &) |
|
int | posInT1 (const TSet set, const int length, LObject &p) |
|
int | posInT2 (const TSet set, const int length, LObject &p) |
|
int | posInT11 (const TSet set, const int length, LObject &p) |
|
int | posInT11Ring (const TSet set, const int length, LObject &p) |
|
int | posInTrg0 (const TSet set, const int length, LObject &p) |
|
int | posInT110 (const TSet set, const int length, LObject &p) |
|
int | posInT110Ring (const TSet set, const int length, LObject &p) |
|
int | posInT13 (const TSet set, const int length, LObject &p) |
|
int | posInT_EcartpLength (const TSet set, const int length, LObject &p) |
|
int | posInT15 (const TSet set, const int length, LObject &p) |
|
int | posInT15Ring (const TSet set, const int length, LObject &p) |
|
int | posInT17 (const TSet set, const int length, LObject &p) |
|
int | posInT17Ring (const TSet set, const int length, LObject &p) |
|
int | posInT17_c (const TSet set, const int length, LObject &p) |
|
int | posInT17_cRing (const TSet set, const int length, LObject &p) |
|
int | posInT19 (const TSet set, const int length, LObject &p) |
|
int | posInLSpecial (const LSet set, const int length, LObject *p, const kStrategy) |
|
int | posInL0 (const LSet set, const int length, LObject *p, const kStrategy) |
|
int | posInL0Ring (const LSet set, const int length, LObject *p, const kStrategy) |
|
int | posInLSig (const LSet set, const int length, LObject *p, const kStrategy) |
|
int | posInLSigRing (const LSet set, const int length, LObject *p, const kStrategy) |
|
int | posInLRing (const LSet set, const int length, LObject *p, const kStrategy) |
|
int | posInSyz (const kStrategy strat, poly sig) |
|
int | posInLF5C (const LSet, const int, LObject *, const kStrategy strat) |
|
int | posInL11 (const LSet set, const int length, LObject *p, const kStrategy) |
|
int | posInL11Ring (const LSet set, const int length, LObject *p, const kStrategy) |
|
int | posInLF5CRing (const LSet set, int start, const int length, LObject *p, const kStrategy) |
|
int | posInL11Ringls (const LSet set, const int length, LObject *p, const kStrategy) |
|
int | getIndexRng (long coeff) |
|
int | posInLrg0 (const LSet set, const int length, LObject *p, const kStrategy) |
|
int | posInL110 (const LSet set, const int length, LObject *p, const kStrategy) |
|
int | posInL110Ring (const LSet set, const int length, LObject *p, const kStrategy) |
|
int | posInL13 (const LSet set, const int length, LObject *p, const kStrategy) |
|
int | posInL15 (const LSet set, const int length, LObject *p, const kStrategy) |
|
int | posInL15Ring (const LSet set, const int length, LObject *p, const kStrategy) |
|
int | posInL17 (const LSet set, const int length, LObject *p, const kStrategy) |
|
int | posInL17Ring (const LSet set, const int length, LObject *p, const kStrategy) |
|
int | posInL17_c (const LSet set, const int length, LObject *p, const kStrategy) |
|
int | posInL17_cRing (const LSet set, const int length, LObject *p, const kStrategy) |
|
BOOLEAN | syzCriterion (poly sig, unsigned long not_sevSig, kStrategy strat) |
|
BOOLEAN | syzCriterionInc (poly sig, unsigned long not_sevSig, kStrategy strat) |
|
BOOLEAN | faugereRewCriterion (poly sig, unsigned long not_sevSig, poly, kStrategy strat, int start=0) |
|
BOOLEAN | arriRewCriterion (poly, unsigned long, poly, kStrategy strat, int start=0) |
|
BOOLEAN | arriRewCriterionPre (poly sig, unsigned long not_sevSig, poly lm, kStrategy strat, int) |
|
TObject * | kFindDivisibleByInS_T (kStrategy strat, int end_pos, LObject *L, TObject *T, long ecart) |
|
poly | redtail (LObject *L, int end_pos, kStrategy strat) |
|
poly | redtail (poly p, int end_pos, kStrategy strat) |
|
poly | redtailBba (LObject *L, int end_pos, kStrategy strat, BOOLEAN withT, BOOLEAN normalize) |
|
poly | redtailBbaBound (LObject *L, int end_pos, kStrategy strat, int bound, BOOLEAN withT, BOOLEAN normalize) |
|
void | redtailBbaAlsoLC_Z (LObject *L, int end_pos, kStrategy strat) |
|
poly | redtailBba_Z (LObject *L, int end_pos, kStrategy strat) |
|
void | message (int i, int *reduc, int *olddeg, kStrategy strat, int red_result) |
|
void | messageStat (int hilbcount, kStrategy strat) |
|
void | messageStatSBA (int hilbcount, kStrategy strat) |
|
void | messageSets (kStrategy strat) |
|
void | initS (ideal F, ideal Q, kStrategy strat) |
|
void | initSL (ideal F, ideal Q, kStrategy strat) |
|
void | initSLSba (ideal F, ideal Q, kStrategy strat) |
|
void | initSyzRules (kStrategy strat) |
|
void | initSSpecial (ideal F, ideal Q, ideal P, kStrategy strat) |
|
void | initSSpecialSba (ideal F, ideal Q, ideal P, kStrategy strat) |
|
static poly | redBba1 (poly h, int maxIndex, kStrategy strat) |
|
void | cancelunit1 (LObject *p, int *suc, int index, kStrategy strat) |
|
void | updateS (BOOLEAN toT, kStrategy strat) |
|
void | enterSBba (LObject &p, int atS, kStrategy strat, int atR) |
|
void | enterSBbaShift (LObject &p, int atS, kStrategy strat, int atR) |
|
void | enterSSba (LObject &p, int atS, kStrategy strat, int atR) |
|
void | replaceInLAndSAndT (LObject &p, int tj, kStrategy strat) |
|
void | enterT (LObject &p, kStrategy strat, int atT) |
|
void | enterT_strong (LObject &p, kStrategy strat, int atT) |
|
void | enterSyz (LObject &p, kStrategy strat, int atT) |
|
void | initHilbCrit (ideal, ideal, intvec **hilb, kStrategy strat) |
|
void | initBuchMoraCrit (kStrategy strat) |
|
void | initSbaCrit (kStrategy strat) |
|
BOOLEAN | kPosInLDependsOnLength (int(*pos_in_l)(const LSet set, const int length, LObject *L, const kStrategy strat)) |
|
void | initBuchMoraPos (kStrategy strat) |
|
void | initBuchMoraPosRing (kStrategy strat) |
|
void | initBuchMora (ideal F, ideal Q, kStrategy strat) |
|
void | exitBuchMora (kStrategy strat) |
|
void | initSbaPos (kStrategy strat) |
|
void | initSbaBuchMora (ideal F, ideal Q, kStrategy strat) |
|
void | exitSba (kStrategy strat) |
|
void | updateResult (ideal r, ideal Q, kStrategy strat) |
|
void | completeReduce (kStrategy strat, BOOLEAN withT) |
|
BOOLEAN | newHEdge (kStrategy strat) |
|
BOOLEAN | kCheckSpolyCreation (LObject *L, kStrategy strat, poly &m1, poly &m2) |
|
BOOLEAN | kCheckStrongCreation (int atR, poly m1, int atS, poly m2, kStrategy strat) |
|
poly | preIntegerCheck (const ideal Forig, const ideal Q) |
| used for GB over ZZ: look for constant and monomial elements in the ideal background: any known constant element of ideal suppresses intermediate coefficient swell More...
|
|
void | postReduceByMon (LObject *h, kStrategy strat) |
| used for GB over ZZ: intermediate reduction by monomial elements background: any known constant element of ideal suppresses intermediate coefficient swell More...
|
|
void | postReduceByMonSig (LObject *h, kStrategy strat) |
|
void | finalReduceByMon (kStrategy strat) |
| used for GB over ZZ: final reduction by constant elements background: any known constant element of ideal suppresses intermediate coefficient swell and beautifies output More...
|
|
BOOLEAN | kStratChangeTailRing (kStrategy strat, LObject *L, TObject *T, unsigned long expbound) |
|
void | kStratInitChangeTailRing (kStrategy strat) |
|
ring | sbaRing (kStrategy strat, const ring r, BOOLEAN, int) |
|
int | posInT_EcartFDegpLength (const TSet set, const int length, LObject &p) |
|
int | posInT_FDegpLength (const TSet set, const int length, LObject &p) |
|
int | posInT_pLength (const TSet set, const int length, LObject &p) |
|
int | redFirst (LObject *h, kStrategy strat) |
|
int | redEcart (LObject *h, kStrategy strat) |
|
void | enterSMora (LObject &p, int atS, kStrategy strat, int atR=-1) |
|
void | enterSMoraNF (LObject &p, int atS, kStrategy strat, int atR=-1) |
|
char * | showOption () |
|
void | kDebugPrint (kStrategy strat) |
| Output some debug info about a given strategy. More...
|
|
poly | pMove2CurrTail (poly p, kStrategy strat) |
|
poly | pMoveCurrTail2poly (poly p, kStrategy strat) |
|
poly | pCopyL2p (LObject H, kStrategy strat) |
|
static BOOLEAN | enterOneStrongPolyShift (poly q, poly p, int, int, kStrategy strat, int atR, int, int qisFromQ, int shiftcount, int ifromS) |
|
static void | enterOnePairRingShift (poly q, poly p, int, int isFromQ, kStrategy strat, int atR, int, int qisFromQ, int shiftcount, int ifromS) |
|
static void | enterOneStrongPolyAndEnterOnePairRingShift (poly q, poly p, int ecart, int isFromQ, kStrategy strat, int atR, int ecartq, int qisFromQ, int shiftcount, int ifromS) |
|
static void | enterOnePairWithShifts (int q_inS, poly q, poly p, int ecartp, int p_isFromQ, kStrategy strat, int atR, int p_lastVblock, int q_lastVblock) |
|
static void | enterOnePairWithoutShifts (int p_inS, poly q, poly p, int ecartq, int q_isFromQ, kStrategy strat, int atR, int p_lastVblock, int q_shift) |
|
void | enterOnePairShift (poly q, poly p, int ecart, int isFromQ, kStrategy strat, int atR, int ecartq, int qisFromQ, int shiftcount, int ifromS) |
|
void | initenterpairsShift (poly h, int k, int ecart, int isFromQ, kStrategy strat, int atR) |
|
void | initenterstrongPairsShift (poly h, int k, int ecart, int isFromQ, kStrategy strat, int atR) |
|
void | enterpairsShift (poly h, int k, int ecart, int pos, kStrategy strat, int atR) |
|
void | enterTShift (LObject p, kStrategy strat, int atT) |
|
poly | redtailBbaShift (LObject *L, int pos, kStrategy strat, BOOLEAN withT, BOOLEAN normalize) |
|