|
| void | deleteHC (poly *p, int *e, int *l, kStrategy strat) |
| |
| void | deleteHC (LObject *L, kStrategy strat, BOOLEAN fromNext=FALSE) |
| |
| void | deleteInS (int i, kStrategy strat) |
| |
| void | deleteInSSba (int i, kStrategy strat) |
| |
| void | cleanT (kStrategy strat) |
| |
| static LSet | initL (int nr=setmaxL) |
| |
| void | deleteInL (LSet set, int *length, int j, kStrategy strat) |
| |
| void | enterL (LSet *set, int *length, int *LSetmax, LObject p, int at) |
| |
| void | enterSBba (LObject &p, int atS, kStrategy strat, int atR=-1) |
| |
| void | enterSBbaShift (LObject &p, int atS, kStrategy strat, int atR=-1) |
| |
| void | enterSSba (LObject &p, int atS, kStrategy strat, int atR=-1) |
| |
| void | initEcartPairBba (LObject *Lp, poly f, poly g, int ecartF, int ecartG) |
| |
| void | initEcartPairMora (LObject *Lp, poly f, poly g, int ecartF, int ecartG) |
| |
| 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=0, int end=-1) |
| |
| int | posInT0 (const TSet set, const int length, LObject &p) |
| |
| 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 | posInTSig (const TSet set, const int length, LObject &p) |
| |
| int | posInT110 (const TSet set, const int length, LObject &p) |
| |
| int | posInT13 (const TSet set, const int length, LObject &p) |
| |
| int | posInT15 (const TSet set, const int length, LObject &p) |
| |
| int | posInT17 (const TSet set, const int length, LObject &p) |
| |
| int | posInT17_c (const TSet set, const int length, LObject &p) |
| |
| int | posInT19 (const TSet set, const int length, LObject &p) |
| |
| int | posInT_EcartpLength (const TSet set, const int length, LObject &p) |
| |
| 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) |
| |
| void | reorderS (int *suc, kStrategy strat) |
| |
| int | posInLF5C (const LSet set, const int length, LObject *L, const kStrategy strat) |
| |
| int | posInLSig (const LSet set, const int length, LObject *L, const kStrategy strat) |
| |
| int | posInLSigRing (const LSet set, const int length, LObject *L, const kStrategy strat) |
| |
| int | posInLRing (const LSet set, const int length, LObject *L, const kStrategy strat) |
| |
| int | posInSyz (const kStrategy strat, const poly sig) |
| |
| int | posInL0 (const LSet set, const int length, LObject *L, const kStrategy strat) |
| |
| int | posInL11 (const LSet set, const int length, LObject *L, const kStrategy strat) |
| |
| int | posInL11Ring (const LSet set, const int length, LObject *L, const kStrategy strat) |
| |
| int | posInLF5CRing (const LSet set, int start, const int length, LObject *L, const kStrategy strat) |
| |
| int | posInL11Ringls (const LSet set, const int length, LObject *L, const kStrategy strat) |
| |
| int | posInL13 (const LSet set, const int length, LObject *L, const kStrategy strat) |
| |
| int | posInL15 (const LSet set, const int length, LObject *L, const kStrategy strat) |
| |
| int | posInL15Ring (const LSet set, const int length, LObject *L, const kStrategy strat) |
| |
| int | posInL17 (const LSet set, const int length, LObject *L, const kStrategy strat) |
| |
| int | posInL10 (const LSet set, const int length, LObject *L, const kStrategy strat) |
| |
| int | posInL10Ring (const LSet set, const int length, LObject *L, const kStrategy strat) |
| |
| int | posInL110 (const LSet set, const int length, LObject *L, const kStrategy strat) |
| |
| KINLINE poly | redtailBba (poly p, int end_pos, kStrategy strat, BOOLEAN normalize=FALSE) |
| |
| KINLINE poly | redtailBbaBound (poly p, int end_pos, kStrategy strat, int bound, BOOLEAN normalize=FALSE) |
| |
| KINLINE poly | redtailBba_Z (poly p, int end_pos, kStrategy strat) |
| |
| poly | redtailBba_Z (LObject *L, int end_pos, kStrategy strat) |
| |
| void | redtailBbaAlsoLC_Z (LObject *L, int end_pos, kStrategy strat) |
| |
| poly | redtailBba (LObject *L, int end_pos, kStrategy strat, BOOLEAN withT=FALSE, BOOLEAN normalize=FALSE) |
| |
| poly | redtailBbaBound (LObject *L, int end_pos, kStrategy strat, int bound, BOOLEAN withT=FALSE, BOOLEAN normalize=FALSE) |
| |
| poly | redtailSba (LObject *L, int end_pos, kStrategy strat, BOOLEAN withT=FALSE, BOOLEAN normalize=FALSE) |
| |
| poly | redtailBba (TObject *T, int end_pos, kStrategy strat) |
| |
| poly | redtail (poly p, int end_pos, kStrategy strat) |
| |
| poly | redtail (LObject *L, int end_pos, kStrategy strat) |
| |
| poly | redNF (poly h, int &max_ind, int nonorm, kStrategy strat) |
| |
| int | redNF0 (LObject *P, kStrategy strat) |
| |
| poly | redNFTail (poly h, const int sl, kStrategy strat) |
| |
| int | redHoney (LObject *h, kStrategy strat) |
| |
| int | redLiftstd (LObject *h, kStrategy strat) |
| |
| int | redRing (LObject *h, kStrategy strat) |
| |
| int | redRing_Z (LObject *h, kStrategy strat) |
| |
| int | redRiloc (LObject *h, kStrategy strat) |
| |
| void | enterExtendedSpoly (poly h, kStrategy strat) |
| |
| void | enterExtendedSpolySig (poly h, poly hSig, kStrategy strat) |
| |
| void | superenterpairs (poly h, int k, int ecart, int pos, kStrategy strat, int atR=-1) |
| |
| void | superenterpairsSig (poly h, poly hSig, int hFrom, int k, int ecart, int pos, kStrategy strat, int atR=-1) |
| |
| poly | kCreateZeroPoly (long exp[], long cabsind, poly *t_p, ring leadRing, ring tailRing) |
| |
| long | ind2 (long arg) |
| |
| long | ind_fact_2 (long arg) |
| |
| long | twoPow (long arg) |
| |
| ideal | createG0 () |
| |
| int | redLazy (LObject *h, kStrategy strat) |
| |
| int | redHomog (LObject *h, kStrategy strat) |
| |
| int | redSig (LObject *h, kStrategy strat) |
| |
| int | redSigRing (LObject *h, kStrategy strat) |
| |
| void | enterpairsSig (poly h, poly hSig, int from, int k, int ec, int pos, kStrategy strat, int atR=-1) |
| |
| void | enterpairs (poly h, int k, int ec, int pos, kStrategy strat, int atR=-1) |
| |
| void | entersets (LObject h) |
| |
| void | pairs () |
| |
| BOOLEAN | sbaCheckGcdPair (LObject *h, 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 | initEcartNormal (TObject *h) |
| |
| void | initEcartBBA (TObject *h) |
| |
| 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 | updateS (BOOLEAN toT, kStrategy strat) |
| |
| void | enterSyz (LObject &p, kStrategy strat, int atT) |
| |
| void | enterT (LObject &p, kStrategy strat, int atT=-1) |
| |
| void | replaceInLAndSAndT (LObject &p, int tj, kStrategy strat) |
| |
| void | enterT_strong (LObject &p, kStrategy strat, int atT=-1) |
| |
| void | cancelunit (LObject *p, BOOLEAN inNF=FALSE) |
| |
| void | HEckeTest (poly pp, kStrategy strat) |
| |
| void | initBuchMoraCrit (kStrategy strat) |
| |
| void | initSbaCrit (kStrategy strat) |
| |
| void | initHilbCrit (ideal F, ideal Q, intvec **hilb, kStrategy strat) |
| |
| void | initBuchMoraPos (kStrategy strat) |
| |
| void | initBuchMoraPosRing (kStrategy strat) |
| |
| void | initSbaPos (kStrategy strat) |
| |
| void | initBuchMora (ideal F, ideal Q, kStrategy strat) |
| |
| void | initSbaBuchMora (ideal F, ideal Q, kStrategy strat) |
| |
| void | exitBuchMora (kStrategy strat) |
| |
| void | exitSba (kStrategy strat) |
| |
| void | updateResult (ideal r, ideal Q, kStrategy strat) |
| |
| void | completeReduce (kStrategy strat, BOOLEAN withT=FALSE) |
| |
| void | kFreeStrat (kStrategy strat) |
| |
| void | enterOnePairNormal (int i, poly p, int ecart, int isFromQ, kStrategy strat, int atR) |
| |
| void | chainCritNormal (poly p, int ecart, kStrategy strat) |
| |
| void | chainCritOpt_1 (poly, int, kStrategy strat) |
| |
| void | chainCritSig (poly p, int ecart, kStrategy strat) |
| |
| BOOLEAN | homogTest (polyset F, int Fmax) |
| |
| BOOLEAN | newHEdge (kStrategy strat) |
| |
| BOOLEAN | syzCriterion (poly sig, unsigned long not_sevSig, kStrategy strat) |
| |
| BOOLEAN | syzCriterionInc (poly sig, unsigned long not_sevSig, kStrategy strat) |
| |
| KINLINE BOOLEAN | arriRewDummy (poly sig, unsigned long not_sevSig, poly lm, kStrategy strat, int start) |
| |
| BOOLEAN | arriRewCriterion (poly sig, unsigned long not_sevSig, poly lm, kStrategy strat, int start) |
| |
| BOOLEAN | arriRewCriterionPre (poly sig, unsigned long not_sevSig, poly lm, kStrategy strat, int start) |
| |
| BOOLEAN | faugereRewCriterion (poly sig, unsigned long not_sevSig, poly lm, kStrategy strat, int start) |
| |
| BOOLEAN | findMinLMPair (poly sig, unsigned long not_sevSig, kStrategy strat, int start) |
| |
| int | kFindInT (poly p, TSet T, int tlength) |
| | returns index of p in TSet, or -1 if not found More...
|
| |
| int | kFindInTShift (poly p, TSet T, int tlength) |
| |
| int | kFindDivisibleByInT (const kStrategy strat, const LObject *L, const int start=0) |
| | return -1 if no divisor is found number of first divisor in T, otherwise More...
|
| |
| int | kFindDivisibleByInT_Z (const kStrategy strat, const LObject *L, const int start=0) |
| |
| int | kFindSameLMInT_Z (const kStrategy strat, const LObject *L, const int start=0) |
| |
| int | kTestDivisibleByT0_Z (const kStrategy strat, const LObject *L) |
| | tests if T[0] divides the leading monomial of L, returns -1 if not More...
|
| |
| int | kFindDivisibleByInS (const kStrategy strat, int *max_ind, LObject *L) |
| | return -1 if no divisor is found number of first divisor in S, otherwise More...
|
| |
| int | kFindNextDivisibleByInS (const kStrategy strat, int start, int max_ind, LObject *L) |
| |
| TObject * | kFindDivisibleByInS_T (kStrategy strat, int end_pos, LObject *L, TObject *T, long ecart=LONG_MAX) |
| |
| KINLINE TSet | initT () |
| |
| KINLINE TObject ** | initR () |
| |
| KINLINE unsigned long * | initsevT () |
| |
| KINLINE poly | k_LmInit_currRing_2_tailRing (poly p, ring tailRing, omBin bin) |
| |
| KINLINE poly | k_LmInit_tailRing_2_currRing (poly p, ring tailRing, omBin bin) |
| |
| KINLINE poly | k_LmShallowCopyDelete_currRing_2_tailRing (poly p, ring tailRing, omBin bin) |
| |
| KINLINE poly | k_LmShallowCopyDelete_tailRing_2_currRing (poly p, ring tailRing, omBin bin) |
| |
| KINLINE poly | k_LmInit_currRing_2_tailRing (poly p, ring tailRing) |
| |
| KINLINE poly | k_LmInit_tailRing_2_currRing (poly p, ring tailRing) |
| |
| KINLINE poly | k_LmShallowCopyDelete_currRing_2_tailRing (poly p, ring tailRing) |
| |
| KINLINE poly | k_LmShallowCopyDelete_tailRing_2_currRing (poly p, ring tailRing) |
| |
| KINLINE BOOLEAN | k_GetLeadTerms (const poly p1, const poly p2, const ring p_r, poly &m1, poly &m2, const ring m_r) |
| |
| KINLINE void | k_GetStrongLeadTerms (const poly p1, const poly p2, const ring leadRing, poly &m1, poly &m2, poly &lcm, const ring taiRing) |
| |
| BOOLEAN | kTest (kStrategy strat) |
| |
| BOOLEAN | kTest_TS (kStrategy strat) |
| |
| BOOLEAN | kTest_L (LObject *L, ring tailRing, BOOLEAN testp=FALSE, int lpos=-1, TSet T=NULL, int tlength=-1) |
| |
| BOOLEAN | kTest_T (TObject *T, ring tailRing=NULL, int tpos=-1, char TN='?') |
| |
| BOOLEAN | kTest_S (kStrategy strat) |
| |
| poly | kFindZeroPoly (poly input_p, ring leadRing, ring tailRing) |
| |
| ideal | bba (ideal F, ideal Q, intvec *w, intvec *hilb, kStrategy strat) |
| |
| ideal | sba (ideal F, ideal Q, intvec *w, intvec *hilb, kStrategy strat) |
| |
| poly | kNF2 (ideal F, ideal Q, poly q, kStrategy strat, int lazyReduce) |
| |
| ideal | kNF2 (ideal F, ideal Q, ideal q, kStrategy strat, int lazyReduce) |
| |
| poly | kNF2Bound (ideal F, ideal Q, poly q, int bound, kStrategy strat, int lazyReduce) |
| |
| ideal | kNF2Bound (ideal F, ideal Q, ideal q, int bound, kStrategy strat, int lazyReduce) |
| |
| void | initBba (kStrategy strat) |
| |
| void | initSba (ideal F, kStrategy strat) |
| |
| void | f5c (kStrategy strat, int &olddeg, int &minimcnt, int &hilbeledeg, int &hilbcount, int &srmax, int &lrmax, int &reduc, ideal Q, intvec *w, intvec *hilb) |
| |
| int | ksReducePoly (LObject *PR, TObject *PW, poly spNoether=NULL, number *coef=NULL, poly *mon=NULL, kStrategy strat=NULL) |
| |
| int | ksReducePolyZ (LObject *PR, TObject *PW, poly spNoether=NULL, number *coef=NULL, kStrategy strat=NULL) |
| |
| int | ksReducePolyLC (LObject *PR, TObject *PW, poly spNoether=NULL, number *coef=NULL, kStrategy strat=NULL) |
| |
| int | ksReducePolyGCD (LObject *PR, TObject *PW, poly spNoether=NULL, number *coef=NULL, kStrategy strat=NULL) |
| |
| int | ksReducePolyBound (LObject *PR, TObject *PW, int bound, poly spNoether=NULL, number *coef=NULL, kStrategy strat=NULL) |
| |
| int | ksReducePolySig (LObject *PR, TObject *PW, long idx, poly spNoether=NULL, number *coef=NULL, kStrategy strat=NULL) |
| |
| int | ksReducePolySigRing (LObject *PR, TObject *PW, long idx, poly spNoether=NULL, number *coef=NULL, kStrategy strat=NULL) |
| |
| int | ksReducePolyTail (LObject *PR, TObject *PW, poly Current, poly spNoether=NULL) |
| |
| KINLINE int | ksReducePolyTail (LObject *PR, TObject *PW, LObject *Red) |
| |
| void | ksCreateSpoly (LObject *Pair, poly spNoether=NULL, int use_buckets=0, ring tailRing=currRing, poly m1=NULL, poly m2=NULL, TObject **R=NULL) |
| |
| poly | ksCreateShortSpoly (poly p1, poly p2, ring tailRing) |
| |
| KINLINE poly | ksOldSpolyRed (poly p1, poly p2, poly spNoether=NULL) |
| |
| KINLINE poly | ksOldSpolyRedNew (poly p1, poly p2, poly spNoether=NULL) |
| |
| KINLINE poly | ksOldCreateSpoly (poly p1, poly p2, poly spNoether=NULL, ring r=currRing) |
| |
| KINLINE void | ksOldSpolyTail (poly p1, poly q, poly q2, poly spNoether, ring r=currRing) |
| |
| BOOLEAN | kCheckSpolyCreation (LObject *L, kStrategy strat, poly &m1, poly &m2) |
| |
| BOOLEAN | kCheckStrongCreation (int atR, poly m1, int atS, poly m2, kStrategy strat) |
| |
| poly | preIntegerCheck (ideal F, 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=NULL, TObject *T=NULL, unsigned long new_expbound=0) |
| |
| void | kStratInitChangeTailRing (kStrategy strat) |
| |
| void | kDebugPrint (kStrategy strat) |
| | Output some debug info about a given strategy. More...
|
| |
| ring | sbaRing (kStrategy strat, const ring r=currRing, BOOLEAN complete=TRUE, int sgn=1) |
| |
| KINLINE void | clearS (poly p, unsigned long p_sev, int *at, int *k, kStrategy strat) |
| |
| poly | pMove2CurrTail (poly p, kStrategy strat) |
| |
| poly | pMoveCurrTail2poly (poly p, kStrategy strat) |
| |
| poly | pCopyL2p (LObject h, kStrategy strat) |
| |
| void | enterTShift (LObject p, kStrategy strat, int atT=-1) |
| |
| void | enterOnePairShift (poly q, poly p, int ecart, int isFromQ, kStrategy strat, int atR, int ecartq, int qisFromQ, int shiftcount, int ifromS) |
| |
| void | enterpairsShift (poly h, int k, int ecart, int pos, kStrategy strat, int atR) |
| |
| void | superenterpairsShift (poly h, int k, int ecart, int pos, kStrategy strat, int atR) |
| |
| poly | redtailBbaShift (LObject *L, int pos, kStrategy strat, BOOLEAN withT, BOOLEAN normalize) |
| |
| int | redFirstShift (LObject *h, kStrategy strat) |
| |
| ideal | bbaShift (ideal F, ideal Q, intvec *w, intvec *hilb, kStrategy strat) |
| |
| static void | kDeleteLcm (LObject *P) |
| |
| void | initenterpairs (poly h, int k, int ecart, int isFromQ, kStrategy strat, int atR=-1) |
| |