![]() |
#include <string.h>
#include "omalloc/omalloc.h"
#include "omalloc/omallocClass.h"
#include "misc/mylimits.h"
#include "kernel/polys.h"
#include "polys/operations/pShallowCopyDelete.h"
#include "kernel/structs.h"
#include "kernel/GBEngine/kstd1.h"
#include "kernel/GBEngine/kInline.h"
#include "kernel/GBEngine/shiftgb.h"
Go to the source code of this file.
Data Structures | |
struct | denominator_list_s |
class | sTObject |
class | sLObject |
class | skStrategy |
Macros | |
#define | HAVE_TAIL_RING |
#define | setmax 128 |
#define | setmaxL ((4096-12)/sizeof(LObject)) |
#define | setmaxLinc ((4096)/sizeof(LObject)) |
#define | setmaxT ((4096-12)/sizeof(TObject)) |
#define | setmaxTinc ((4096)/sizeof(TObject)) |
#define | KINLINE |
#define | NO_KINLINE 1 |
#define | ALLOW_PROD_CRIT(A) (!(A)->no_prod_crit) |
#define | messageSets(s) do {} while (0) |
#define | kTest(A) (TRUE) |
#define | kTest_TS(A) (TRUE) |
#define | kTest_T(T) (TRUE) |
#define | kTest_S(T) (TRUE) |
#define | kTest_L(T, R) (TRUE) |
Typedefs | |
typedef int * | intset |
typedef int64 | wlen_type |
typedef wlen_type * | wlen_set |
typedef class sTObject | TObject |
typedef class sLObject | LObject |
typedef TObject * | TSet |
typedef LObject * | LSet |
typedef denominator_list_s * | denominator_list |
Functions | |
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 | 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 | 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 | 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 | 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) |
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, 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 | initBuchMoraShift (ideal F, ideal Q, kStrategy strat) |
void | enterOnePairSelfShifts (poly qq, poly p, int ecart, int isFromQ, kStrategy strat, int atR) |
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 | updateSShift (kStrategy strat) |
void | initBbaShift (kStrategy strat) |
poly | redtailBbaShift (LObject *L, int pos, kStrategy strat, BOOLEAN withT, BOOLEAN normalize) |
int | redFirstShift (LObject *h, kStrategy strat) |
ideal | freegb (ideal I) |
ideal | bbaShift (ideal F, ideal Q, intvec *w, intvec *hilb, kStrategy strat) |
static void | kDeleteLcm (LObject *P) |
Variables | |
denominator_list | DENOMINATOR_LIST |
int | strat_nr |
int | HCord |
int(* | test_PosInT )(const TSet T, const int tl, LObject &h) |
int(* | test_PosInL )(const LSet set, const int length, LObject *L, const kStrategy strat) |
struct denominator_list_s |
Data Fields | ||
---|---|---|
number | n | |
denominator_list | next |
typedef denominator_list_s* denominator_list |
BOOLEAN arriRewCriterion | ( | poly | sig, |
unsigned long | not_sevSig, | ||
poly | lm, | ||
kStrategy | strat, | ||
int | start | ||
) |
Definition at line 7188 of file kutil.cc.
BOOLEAN arriRewCriterionPre | ( | poly | sig, |
unsigned long | not_sevSig, | ||
poly | lm, | ||
kStrategy | strat, | ||
int | start | ||
) |
Definition at line 7213 of file kutil.cc.
KINLINE BOOLEAN arriRewDummy | ( | poly | sig, |
unsigned long | not_sevSig, | ||
poly | lm, | ||
kStrategy | strat, | ||
int | start | ||
) |
Definition at line 2178 of file kstd2.cc.
Definition at line 4163 of file kstd2.cc.
Definition at line 333 of file kutil.cc.
void chainCritNormal | ( | poly | p, |
int | ecart, | ||
kStrategy | strat | ||
) |
Definition at line 3192 of file kutil.cc.
void chainCritSig | ( | poly | p, |
int | ecart, | ||
kStrategy | strat | ||
) |
Definition at line 3421 of file kutil.cc.
void cleanT | ( | kStrategy | strat | ) |
Definition at line 538 of file kutil.cc.
Definition at line 1178 of file kInline.h.
Definition at line 10719 of file kutil.cc.
ideal createG0 | ( | ) |
Definition at line 4456 of file kutil.cc.
void deleteHC | ( | poly * | p, |
int * | e, | ||
int * | l, | ||
kStrategy | strat | ||
) |
Definition at line 319 of file kutil.cc.
Definition at line 244 of file kutil.cc.
Definition at line 1203 of file kutil.cc.
void enterExtendedSpoly | ( | poly | h, |
kStrategy | strat | ||
) |
Definition at line 4604 of file kutil.cc.
void enterExtendedSpolySig | ( | poly | h, |
poly | hSig, | ||
kStrategy | strat | ||
) |
Definition at line 4687 of file kutil.cc.
void enterOnePairNormal | ( | int | i, |
poly | p, | ||
int | ecart, | ||
int | isFromQ, | ||
kStrategy | strat, | ||
int | atR | ||
) |
Definition at line 1929 of file kutil.cc.
void enterOnePairSelfShifts | ( | poly | qq, |
poly | p, | ||
int | ecart, | ||
int | isFromQ, | ||
kStrategy | strat, | ||
int | atR | ||
) |
Definition at line 12337 of file kutil.cc.
void enterOnePairShift | ( | poly | q, |
poly | p, | ||
int | ecart, | ||
int | isFromQ, | ||
kStrategy | strat, | ||
int | atR, | ||
int | ecartq, | ||
int | qisFromQ, | ||
int | shiftcount, | ||
int | ifromS | ||
) |
Definition at line 12361 of file kutil.cc.
void enterpairs | ( | poly | h, |
int | k, | ||
int | ec, | ||
int | pos, | ||
kStrategy | strat, | ||
int | atR = -1 |
||
) |
Definition at line 4859 of file kutil.cc.
void enterpairsShift | ( | poly | h, |
int | k, | ||
int | ecart, | ||
int | pos, | ||
kStrategy | strat, | ||
int | atR | ||
) |
Definition at line 12728 of file kutil.cc.
void enterpairsSig | ( | poly | h, |
poly | hSig, | ||
int | from, | ||
int | k, | ||
int | ec, | ||
int | pos, | ||
kStrategy | strat, | ||
int | atR = -1 |
||
) |
Definition at line 4885 of file kutil.cc.
Definition at line 9261 of file kutil.cc.
void entersets | ( | LObject | h | ) |
Definition at line 9380 of file kutil.cc.
Definition at line 9778 of file kutil.cc.
Definition at line 9576 of file kutil.cc.
Definition at line 9676 of file kutil.cc.
void exitBuchMora | ( | kStrategy | strat | ) |
Definition at line 10274 of file kutil.cc.
void exitSba | ( | kStrategy | strat | ) |
Definition at line 10467 of file kutil.cc.
void f5c | ( | kStrategy | strat, |
int & | olddeg, | ||
int & | minimcnt, | ||
int & | hilbeledeg, | ||
int & | hilbcount, | ||
int & | srmax, | ||
int & | lrmax, | ||
int & | reduc, | ||
ideal | Q, | ||
intvec * | w, | ||
intvec * | hilb | ||
) |
Definition at line 3848 of file kstd2.cc.
BOOLEAN faugereRewCriterion | ( | poly | sig, |
unsigned long | not_sevSig, | ||
poly | lm, | ||
kStrategy | strat, | ||
int | start | ||
) |
Definition at line 7129 of file kutil.cc.
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
Definition at line 11292 of file kutil.cc.
ideal freegb | ( | ideal | I | ) |
Definition at line 4459 of file kstd2.cc.
void HEckeTest | ( | poly | pp, |
kStrategy | strat | ||
) |
Definition at line 468 of file kutil.cc.
void initBba | ( | kStrategy | strat | ) |
Definition at line 1334 of file kstd1.cc.
void initBbaShift | ( | kStrategy | strat | ) |
Definition at line 4593 of file kstd2.cc.
void initBuchMora | ( | ideal | F, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 10198 of file kutil.cc.
void initBuchMoraCrit | ( | kStrategy | strat | ) |
Definition at line 9874 of file kutil.cc.
void initBuchMoraPos | ( | kStrategy | strat | ) |
Definition at line 10025 of file kutil.cc.
void initBuchMoraPosRing | ( | kStrategy | strat | ) |
Definition at line 10111 of file kutil.cc.
void initBuchMoraShift | ( | ideal | F, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 12211 of file kutil.cc.
void initEcartBBA | ( | TObject * | h | ) |
void initEcartNormal | ( | TObject * | h | ) |
void initEcartPairBba | ( | LObject * | Lp, |
poly | f, | ||
poly | g, | ||
int | ecartF, | ||
int | ecartG | ||
) |
void initEcartPairMora | ( | LObject * | Lp, |
poly | f, | ||
poly | g, | ||
int | ecartF, | ||
int | ecartG | ||
) |
Definition at line 1306 of file kutil.cc.
Definition at line 9856 of file kutil.cc.
void initS | ( | ideal | F, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 8075 of file kutil.cc.
void initSba | ( | ideal | F, |
kStrategy | strat | ||
) |
Definition at line 1390 of file kstd1.cc.
void initSbaBuchMora | ( | ideal | F, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 10394 of file kutil.cc.
void initSbaCrit | ( | kStrategy | strat | ) |
Definition at line 9938 of file kutil.cc.
void initSbaPos | ( | kStrategy | strat | ) |
Definition at line 10292 of file kutil.cc.
void initSL | ( | ideal | F, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 8169 of file kutil.cc.
void initSLSba | ( | ideal | F, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 8266 of file kutil.cc.
void initSyzRules | ( | kStrategy | strat | ) |
Definition at line 8416 of file kutil.cc.
Definition at line 84 of file kInline.h.
KINLINE BOOLEAN k_GetLeadTerms | ( | const poly | p1, |
const poly | p2, | ||
const ring | p_r, | ||
poly & | m1, | ||
poly & | m2, | ||
const ring | m_r | ||
) |
Definition at line 964 of file kInline.h.
KINLINE void k_GetStrongLeadTerms | ( | const poly | p1, |
const poly | p2, | ||
const ring | leadRing, | ||
poly & | m1, | ||
poly & | m2, | ||
poly & | lcm, | ||
const ring | taiRing | ||
) |
Definition at line 1007 of file kInline.h.
Definition at line 905 of file kInline.h.
KINLINE poly k_LmInit_currRing_2_tailRing | ( | poly | p, |
ring | tailRing | ||
) |
Definition at line 937 of file kInline.h.
Definition at line 914 of file kInline.h.
KINLINE poly k_LmInit_tailRing_2_currRing | ( | poly | p, |
ring | tailRing | ||
) |
Definition at line 942 of file kInline.h.
Definition at line 923 of file kInline.h.
KINLINE poly k_LmShallowCopyDelete_currRing_2_tailRing | ( | poly | p, |
ring | tailRing | ||
) |
Definition at line 947 of file kInline.h.
Definition at line 930 of file kInline.h.
KINLINE poly k_LmShallowCopyDelete_tailRing_2_currRing | ( | poly | p, |
ring | tailRing | ||
) |
Definition at line 952 of file kInline.h.
Definition at line 10905 of file kutil.cc.
Definition at line 10945 of file kutil.cc.
poly kCreateZeroPoly | ( | long | exp[], |
long | cabsind, | ||
poly * | t_p, | ||
ring | leadRing, | ||
ring | tailRing | ||
) |
Definition at line 4327 of file kutil.cc.
void kDebugPrint | ( | kStrategy | strat | ) |
Output some debug info about a given strategy.
Definition at line 11923 of file kutil.cc.
|
inlinestatic |
Definition at line 876 of file kutil.h.
return -1 if no divisor is found number of first divisor in S, otherwise
Definition at line 326 of file kstd2.cc.
TObject* kFindDivisibleByInS_T | ( | kStrategy | strat, |
int | end_pos, | ||
LObject * | L, | ||
TObject * | T, | ||
long | ecart = LONG_MAX |
||
) |
Definition at line 7263 of file kutil.cc.
return -1 if no divisor is found number of first divisor in T, otherwise
Definition at line 216 of file kstd2.cc.
Definition at line 139 of file kstd2.cc.
int kFindInT | ( | poly | p, |
TSet | T, | ||
int | tlength | ||
) |
Definition at line 395 of file kstd2.cc.
Definition at line 84 of file kstd2.cc.
poly kFindZeroPoly | ( | poly | input_p, |
ring | leadRing, | ||
ring | tailRing | ||
) |
Definition at line 454 of file kstd2.cc.
void kFreeStrat | ( | kStrategy | strat | ) |
poly kNF2 | ( | ideal | F, |
ideal | Q, | ||
poly | q, | ||
kStrategy | strat, | ||
int | lazyReduce | ||
) |
Definition at line 3503 of file kstd2.cc.
ideal kNF2 | ( | ideal | F, |
ideal | Q, | ||
ideal | q, | ||
kStrategy | strat, | ||
int | lazyReduce | ||
) |
Definition at line 3666 of file kstd2.cc.
poly kNF2Bound | ( | ideal | F, |
ideal | Q, | ||
poly | q, | ||
int | bound, | ||
kStrategy | strat, | ||
int | lazyReduce | ||
) |
Definition at line 3596 of file kstd2.cc.
ideal kNF2Bound | ( | ideal | F, |
ideal | Q, | ||
ideal | q, | ||
int | bound, | ||
kStrategy | strat, | ||
int | lazyReduce | ||
) |
Definition at line 3765 of file kstd2.cc.
poly ksCreateShortSpoly | ( | poly | p1, |
poly | p2, | ||
ring | tailRing | ||
) |
Definition at line 1390 of file kspoly.cc.
void ksCreateSpoly | ( | LObject * | Pair, |
poly | spNoether = NULL , |
||
int | use_buckets = 0 , |
||
ring | tailRing = currRing , |
||
poly | m1 = NULL , |
||
poly | m2 = NULL , |
||
TObject ** | R = NULL |
||
) |
Definition at line 1145 of file kspoly.cc.
Definition at line 1140 of file kInline.h.
Definition at line 1120 of file kInline.h.
Definition at line 1130 of file kInline.h.
Definition at line 1150 of file kInline.h.
int ksReducePoly | ( | LObject * | PR, |
TObject * | PW, | ||
poly | spNoether = NULL , |
||
number * | coef = NULL , |
||
kStrategy | strat = NULL |
||
) |
Definition at line 185 of file kspoly.cc.
int ksReducePolyBound | ( | LObject * | PR, |
TObject * | PW, | ||
int | bound, | ||
poly | spNoether = NULL , |
||
number * | coef = NULL , |
||
kStrategy | strat = NULL |
||
) |
Definition at line 538 of file kspoly.cc.
int ksReducePolyGCD | ( | LObject * | PR, |
TObject * | PW, | ||
poly | spNoether = NULL , |
||
number * | coef = NULL , |
||
kStrategy | strat = NULL |
||
) |
Definition at line 315 of file kspoly.cc.
int ksReducePolyLC | ( | LObject * | PR, |
TObject * | PW, | ||
poly | spNoether = NULL , |
||
number * | coef = NULL , |
||
kStrategy | strat = NULL |
||
) |
Definition at line 431 of file kspoly.cc.
int ksReducePolySig | ( | LObject * | PR, |
TObject * | PW, | ||
long | idx, | ||
poly | spNoether = NULL , |
||
number * | coef = NULL , |
||
kStrategy | strat = NULL |
||
) |
Definition at line 682 of file kspoly.cc.
int ksReducePolySigRing | ( | LObject * | PR, |
TObject * | PW, | ||
long | idx, | ||
poly | spNoether = NULL , |
||
number * | coef = NULL , |
||
kStrategy | strat = NULL |
||
) |
Definition at line 885 of file kspoly.cc.
Definition at line 1290 of file kspoly.cc.
Definition at line 1093 of file kInline.h.
int ksReducePolyZ | ( | LObject * | PR, |
TObject * | PW, | ||
poly | spNoether = NULL , |
||
number * | coef = NULL , |
||
kStrategy | strat = NULL |
||
) |
Definition at line 44 of file kspoly.cc.
BOOLEAN kStratChangeTailRing | ( | kStrategy | strat, |
LObject * | L = NULL , |
||
TObject * | T = NULL , |
||
unsigned long | new_expbound = 0 |
||
) |
Definition at line 11377 of file kutil.cc.
void kStratInitChangeTailRing | ( | kStrategy | strat | ) |
Definition at line 11476 of file kutil.cc.
void message | ( | int | i, |
int * | reduc, | ||
int * | olddeg, | ||
kStrategy | strat, | ||
int | red_result | ||
) |
Definition at line 10841 of file kutil.cc.
void pairs | ( | ) |
Definition at line 12090 of file kutil.cc.
poly pMove2CurrTail | ( | poly | p, |
kStrategy | strat | ||
) |
Definition at line 12059 of file kutil.cc.
poly pMoveCurrTail2poly | ( | poly | p, |
kStrategy | strat | ||
) |
Definition at line 12073 of file kutil.cc.
Definition at line 5213 of file kutil.cc.
Definition at line 6065 of file kutil.cc.
Definition at line 1006 of file kstd1.cc.
Definition at line 6323 of file kutil.cc.
Definition at line 6621 of file kutil.cc.
Definition at line 6435 of file kutil.cc.
Definition at line 6744 of file kutil.cc.
Definition at line 6820 of file kutil.cc.
int posInLF5CRing | ( | const LSet | set, |
int | start, | ||
const int | length, | ||
LObject * | L, | ||
const kStrategy | strat | ||
) |
Definition at line 6123 of file kutil.cc.
Definition at line 6147 of file kutil.cc.
Definition at line 5035 of file kutil.cc.
Definition at line 5136 of file kutil.cc.
Definition at line 6283 of file kutil.cc.
Definition at line 5268 of file kutil.cc.
Definition at line 5326 of file kutil.cc.
Definition at line 5479 of file kutil.cc.
Definition at line 5636 of file kutil.cc.
Definition at line 5731 of file kutil.cc.
Definition at line 5838 of file kutil.cc.
used for GB over ZZ: intermediate reduction by monomial elements background: any known constant element of ideal suppresses intermediate coefficient swell
Definition at line 11135 of file kutil.cc.
Definition at line 11203 of file kutil.cc.
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
Definition at line 10968 of file kutil.cc.
Definition at line 4473 of file kstd2.cc.
Definition at line 822 of file kstd2.cc.
Definition at line 1664 of file kstd2.cc.
TEST_OPT_REDTHROUGH &&
Definition at line 1519 of file kstd2.cc.
poly redNF | ( | poly | h, |
int & | max_ind, | ||
int | nonorm, | ||
kStrategy | strat | ||
) |
Definition at line 1866 of file kstd2.cc.
Definition at line 342 of file kstd1.cc.
Definition at line 715 of file kstd2.cc.
Definition at line 568 of file kstd2.cc.
Definition at line 982 of file kstd2.cc.
Definition at line 1149 of file kstd2.cc.
poly redtail | ( | poly | p, |
int | end_pos, | ||
kStrategy | strat | ||
) |
Definition at line 7475 of file kutil.cc.
Definition at line 7405 of file kutil.cc.
Definition at line 1158 of file kInline.h.
poly redtailBba | ( | LObject * | L, |
int | end_pos, | ||
kStrategy | strat, | ||
BOOLEAN | withT = FALSE , |
||
BOOLEAN | normalize = FALSE |
||
) |
Definition at line 7481 of file kutil.cc.
Definition at line 1171 of file kInline.h.
Definition at line 7836 of file kutil.cc.
Definition at line 7711 of file kutil.cc.
KINLINE poly redtailBbaBound | ( | poly | p, |
int | end_pos, | ||
kStrategy | strat, | ||
int | bound, | ||
BOOLEAN | normalize = FALSE |
||
) |
Definition at line 1164 of file kInline.h.
poly redtailBbaBound | ( | LObject * | L, |
int | end_pos, | ||
kStrategy | strat, | ||
int | bound, | ||
BOOLEAN | withT = FALSE , |
||
BOOLEAN | normalize = FALSE |
||
) |
Definition at line 7595 of file kutil.cc.
Definition at line 12782 of file kutil.cc.
poly redtailSba | ( | LObject * | L, |
int | end_pos, | ||
kStrategy | strat, | ||
BOOLEAN | withT = FALSE , |
||
BOOLEAN | normalize = FALSE |
||
) |
Definition at line 1398 of file kstd2.cc.
void reorderS | ( | int * | suc, |
kStrategy | strat | ||
) |
Definition at line 4982 of file kutil.cc.
Definition at line 9515 of file kutil.cc.
Definition at line 2536 of file kstd2.cc.
Definition at line 1676 of file kutil.cc.
Definition at line 11503 of file kutil.cc.
void superenterpairs | ( | poly | h, |
int | k, | ||
int | ecart, | ||
int | pos, | ||
kStrategy | strat, | ||
int | atR = -1 |
||
) |
Definition at line 4831 of file kutil.cc.
void superenterpairsSig | ( | poly | h, |
poly | hSig, | ||
int | hFrom, | ||
int | k, | ||
int | ecart, | ||
int | pos, | ||
kStrategy | strat, | ||
int | atR = -1 |
||
) |
Definition at line 4841 of file kutil.cc.
Definition at line 7045 of file kutil.cc.
Definition at line 7080 of file kutil.cc.
long twoPow | ( | long | arg | ) |
void updateResult | ( | ideal | r, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 10507 of file kutil.cc.
Definition at line 9034 of file kutil.cc.
denominator_list DENOMINATOR_LIST |
int strat_nr |
Definition at line 21 of file kstdfac.cc.