![]() |
My Project
|
#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 | RED_CANONICALIZE 200 |
#define | REDNF_CANONICALIZE 60 |
#define | REDTAIL_CANONICALIZE 100 |
#define | KINLINE |
#define | NO_KINLINE 1 |
#define | ALLOW_PROD_CRIT(A) (!(A)->no_prod_crit) |
Variables | |
EXTERN_VAR denominator_list | DENOMINATOR_LIST |
EXTERN_VAR int | strat_nr |
EXTERN_VAR int | HCord |
EXTERN_VAR int(* | test_PosInT )(const TSet T, const int tl, LObject &h) |
EXTERN_VAR 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 |
BOOLEAN arriRewCriterion | ( | poly | sig, |
unsigned long | not_sevSig, | ||
poly | lm, | ||
kStrategy | strat, | ||
int | start | ||
) |
Definition at line 6663 of file kutil.cc.
BOOLEAN arriRewCriterionPre | ( | poly | sig, |
unsigned long | not_sevSig, | ||
poly | lm, | ||
kStrategy | strat, | ||
int | start | ||
) |
Definition at line 6688 of file kutil.cc.
Definition at line 2626 of file kstd2.cc.
Definition at line 4591 of file kstd2.cc.
Definition at line 372 of file kutil.cc.
Definition at line 3216 of file kutil.cc.
Definition at line 3473 of file kutil.cc.
Definition at line 564 of file kutil.cc.
Definition at line 10339 of file kutil.cc.
Definition at line 293 of file kutil.cc.
Definition at line 1214 of file kutil.cc.
Definition at line 1138 of file kutil.cc.
Definition at line 4248 of file kutil.cc.
Definition at line 4332 of file kutil.cc.
Definition at line 1951 of file kutil.cc.
BOOLEAN enterOnePairShift | ( | poly | q, |
poly | p, | ||
int | ecart, | ||
int | isFromQ, | ||
kStrategy | strat, | ||
int | atR, | ||
int | ecartq, | ||
int | qisFromQ, | ||
int | shiftcount, | ||
int | ifromS | ||
) |
Definition at line 12233 of file kutil.cc.
Definition at line 13027 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 8828 of file kutil.cc.
Definition at line 8928 of file kutil.cc.
Definition at line 8951 of file kutil.cc.
Definition at line 9379 of file kutil.cc.
Definition at line 9177 of file kutil.cc.
Definition at line 9277 of file kutil.cc.
Definition at line 13057 of file kutil.cc.
Definition at line 10087 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 4279 of file kstd2.cc.
BOOLEAN faugereRewCriterion | ( | poly | sig, |
unsigned long | not_sevSig, | ||
poly | lm, | ||
kStrategy | strat, | ||
int | start | ||
) |
Definition at line 6604 of file kutil.cc.
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 10927 of file kutil.cc.
Definition at line 1689 of file kstd1.cc.
Definition at line 9799 of file kutil.cc.
Definition at line 9475 of file kutil.cc.
Definition at line 9626 of file kutil.cc.
Definition at line 9712 of file kutil.cc.
Definition at line 3821 of file kutil.cc.
Definition at line 7634 of file kutil.cc.
Definition at line 1749 of file kstd1.cc.
Definition at line 10012 of file kutil.cc.
Definition at line 9540 of file kutil.cc.
Definition at line 9910 of file kutil.cc.
Definition at line 7728 of file kutil.cc.
Definition at line 7825 of file kutil.cc.
Definition at line 7975 of file kutil.cc.
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 1017 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 1060 of file kInline.h.
Definition at line 995 of file kInline.h.
Definition at line 1000 of file kInline.h.
Definition at line 1005 of file kInline.h.
Definition at line 10533 of file kutil.cc.
Output some debug info about a given strategy.
Definition at line 11559 of file kutil.cc.
return -1 if no divisor is found number of first divisor in S, otherwise
Definition at line 421 of file kstd2.cc.
TObject * kFindDivisibleByInS_T | ( | kStrategy | strat, |
int | end_pos, | ||
LObject * | L, | ||
TObject * | T, | ||
long | ecart = LONG_MAX |
||
) |
Definition at line 6739 of file kutil.cc.
return -1 if no divisor is found number of first divisor in T, otherwise
Definition at line 321 of file kstd2.cc.
Definition at line 213 of file kstd2.cc.
Definition at line 569 of file kstd2.cc.
Definition at line 4106 of file kstd2.cc.
Definition at line 3950 of file kstd2.cc.
Definition at line 4191 of file kstd2.cc.
Definition at line 4032 of file kstd2.cc.
poly ksCreateShortSpoly | ( | poly | p1, |
poly | p2, | ||
ring | tailRing | ||
) |
Definition at line 1453 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 1208 of file kspoly.cc.
Definition at line 1175 of file kInline.h.
Definition at line 1205 of file kInline.h.
int ksReducePoly | ( | LObject * | PR, |
TObject * | PW, | ||
poly | spNoether = NULL , |
||
number * | coef = NULL , |
||
poly * | mon = NULL , |
||
kStrategy | strat = NULL , |
||
BOOLEAN | redtail = FALSE |
||
) |
Definition at line 189 of file kspoly.cc.
int ksReducePolyBound | ( | LObject * | PR, |
TObject * | PW, | ||
int | bound, | ||
poly | spNoether = NULL , |
||
number * | coef = NULL , |
||
kStrategy | strat = NULL |
||
) |
Definition at line 595 of file kspoly.cc.
int ksReducePolyGCD | ( | 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 |
||
) |
Definition at line 481 of file kspoly.cc.
int ksReducePolySig | ( | LObject * | PR, |
TObject * | PW, | ||
long | idx, | ||
poly | spNoether = NULL , |
||
number * | coef = NULL , |
||
kStrategy | strat = NULL |
||
) |
Definition at line 742 of file kspoly.cc.
int ksReducePolySigRing | ( | LObject * | PR, |
TObject * | PW, | ||
long | idx, | ||
poly | spNoether = NULL , |
||
number * | coef = NULL , |
||
kStrategy | strat = NULL |
||
) |
Definition at line 948 of file kspoly.cc.
int ksReducePolyZ | ( | LObject * | PR, |
TObject * | PW, | ||
poly | spNoether = NULL , |
||
number * | coef = NULL , |
||
kStrategy | strat = NULL |
||
) |
BOOLEAN kStratChangeTailRing | ( | kStrategy | strat, |
LObject * | L = NULL , |
||
TObject * | T = NULL , |
||
unsigned long | new_expbound = 0 |
||
) |
Definition at line 11020 of file kutil.cc.
Definition at line 11113 of file kutil.cc.
Definition at line 1011 of file kutil.cc.
BOOLEAN kTest_L | ( | LObject * | L, |
kStrategy | strat, | ||
BOOLEAN | testp = FALSE , |
||
int | lpos = -1 , |
||
TSet | T = NULL , |
||
int | tlength = -1 |
||
) |
Definition at line 925 of file kutil.cc.
Definition at line 800 of file kutil.cc.
Definition at line 1072 of file kutil.cc.
tests if T[0] divides the leading monomial of L, returns -1 if not
Definition at line 146 of file kstd2.cc.
Definition at line 7552 of file kutil.cc.
Definition at line 7565 of file kutil.cc.
Definition at line 10461 of file kutil.cc.
void pairs | ( | ) |
Definition at line 1365 of file kstd1.cc.
int posInLF5CRing | ( | const LSet | set, |
int | start, | ||
const int | length, | ||
LObject * | L, | ||
const kStrategy | strat | ||
) |
Definition at line 4684 of file kutil.cc.
Definition at line 4785 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 10762 of file kutil.cc.
Definition at line 10838 of file kutil.cc.
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 10595 of file kutil.cc.
Definition at line 4971 of file kstd2.cc.
Definition at line 1114 of file kstd2.cc.
Definition at line 2074 of file kstd2.cc.
TEST_OPT_REDTHROUGH &&
Definition at line 1869 of file kstd2.cc.
Definition at line 167 of file kLiftstd.cc.
Definition at line 2309 of file kstd2.cc.
Definition at line 387 of file kstd1.cc.
Definition at line 951 of file kstd2.cc.
Definition at line 683 of file kstd2.cc.
Definition at line 1333 of file kstd2.cc.
Definition at line 1500 of file kstd2.cc.
Definition at line 6882 of file kutil.cc.
poly redtailBba | ( | LObject * | L, |
int | end_pos, | ||
kStrategy | strat, | ||
BOOLEAN | withT = FALSE , |
||
BOOLEAN | normalize = FALSE |
||
) |
Definition at line 6958 of file kutil.cc.
poly redtailBba_NF | ( | poly | p, |
kStrategy | strat | ||
) |
Definition at line 7422 of file kutil.cc.
Definition at line 7316 of file kutil.cc.
Definition at line 7187 of file kutil.cc.
poly redtailBbaBound | ( | LObject * | L, |
int | end_pos, | ||
kStrategy | strat, | ||
int | bound, | ||
BOOLEAN | withT = FALSE , |
||
BOOLEAN | normalize = FALSE |
||
) |
Definition at line 7071 of file kutil.cc.
Definition at line 13080 of file kutil.cc.
poly redtailSba | ( | LObject * | L, |
int | end_pos, | ||
kStrategy | strat, | ||
BOOLEAN | withT = FALSE , |
||
BOOLEAN | normalize = FALSE |
||
) |
Definition at line 1749 of file kstd2.cc.
Definition at line 9086 of file kutil.cc.
Definition at line 2984 of file kstd2.cc.
Definition at line 1699 of file kutil.cc.
Definition at line 11141 of file kutil.cc.
Definition at line 4477 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 4490 of file kutil.cc.
Definition at line 6520 of file kutil.cc.
Definition at line 6555 of file kutil.cc.
Definition at line 10127 of file kutil.cc.
Definition at line 8593 of file kutil.cc.
EXTERN_VAR denominator_list DENOMINATOR_LIST |
EXTERN_VAR int HCord |
EXTERN_VAR int strat_nr |