![]() |
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 6623 of file kutil.cc.
BOOLEAN arriRewCriterionPre | ( | poly | sig, |
unsigned long | not_sevSig, | ||
poly | lm, | ||
kStrategy | strat, | ||
int | start | ||
) |
Definition at line 6648 of file kutil.cc.
Definition at line 2609 of file kstd2.cc.
Definition at line 4574 of file kstd2.cc.
Definition at line 370 of file kutil.cc.
Definition at line 3209 of file kutil.cc.
Definition at line 3466 of file kutil.cc.
Definition at line 563 of file kutil.cc.
Definition at line 10282 of file kutil.cc.
Definition at line 291 of file kutil.cc.
Definition at line 1213 of file kutil.cc.
Definition at line 1137 of file kutil.cc.
Definition at line 4237 of file kutil.cc.
Definition at line 4321 of file kutil.cc.
Definition at line 1944 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 12160 of file kutil.cc.
Definition at line 12944 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 8791 of file kutil.cc.
Definition at line 8891 of file kutil.cc.
Definition at line 8914 of file kutil.cc.
Definition at line 9340 of file kutil.cc.
Definition at line 9140 of file kutil.cc.
Definition at line 9239 of file kutil.cc.
Definition at line 12974 of file kutil.cc.
Definition at line 10036 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 4262 of file kstd2.cc.
BOOLEAN faugereRewCriterion | ( | poly | sig, |
unsigned long | not_sevSig, | ||
poly | lm, | ||
kStrategy | strat, | ||
int | start | ||
) |
Definition at line 6564 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 10865 of file kutil.cc.
Definition at line 1685 of file kstd1.cc.
Definition at line 9748 of file kutil.cc.
Definition at line 9432 of file kutil.cc.
Definition at line 9577 of file kutil.cc.
Definition at line 9662 of file kutil.cc.
Definition at line 3814 of file kutil.cc.
Definition at line 7588 of file kutil.cc.
Definition at line 1745 of file kstd1.cc.
Definition at line 9961 of file kutil.cc.
Definition at line 9495 of file kutil.cc.
Definition at line 9859 of file kutil.cc.
Definition at line 7681 of file kutil.cc.
Definition at line 7780 of file kutil.cc.
Definition at line 7932 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 1015 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 1057 of file kInline.h.
Definition at line 993 of file kInline.h.
Definition at line 998 of file kInline.h.
Definition at line 1003 of file kInline.h.
Definition at line 10476 of file kutil.cc.
Output some debug info about a given strategy.
Definition at line 11496 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 6699 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 566 of file kstd2.cc.
Definition at line 4087 of file kstd2.cc.
Definition at line 3929 of file kstd2.cc.
Definition at line 4173 of file kstd2.cc.
Definition at line 4012 of file kstd2.cc.
poly ksCreateShortSpoly | ( | poly | p1, |
poly | p2, | ||
ring | tailRing | ||
) |
Definition at line 1447 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 1204 of file kspoly.cc.
Definition at line 1171 of file kInline.h.
Definition at line 1201 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 187 of file kspoly.cc.
int ksReducePolyBound | ( | LObject * | PR, |
TObject * | PW, | ||
int | bound, | ||
poly | spNoether = NULL , |
||
number * | coef = NULL , |
||
kStrategy | strat = NULL |
||
) |
Definition at line 591 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 477 of file kspoly.cc.
int ksReducePolySig | ( | LObject * | PR, |
TObject * | PW, | ||
long | idx, | ||
poly | spNoether = NULL , |
||
number * | coef = NULL , |
||
kStrategy | strat = NULL |
||
) |
Definition at line 738 of file kspoly.cc.
int ksReducePolySigRing | ( | LObject * | PR, |
TObject * | PW, | ||
long | idx, | ||
poly | spNoether = NULL , |
||
number * | coef = NULL , |
||
kStrategy | strat = NULL |
||
) |
Definition at line 944 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 10957 of file kutil.cc.
Definition at line 11050 of file kutil.cc.
Definition at line 1010 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 924 of file kutil.cc.
Definition at line 799 of file kutil.cc.
Definition at line 1071 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 7506 of file kutil.cc.
Definition at line 7519 of file kutil.cc.
Definition at line 10404 of file kutil.cc.
void pairs | ( | ) |
Definition at line 1361 of file kstd1.cc.
int posInLF5CRing | ( | const LSet | set, |
int | start, | ||
const int | length, | ||
LObject * | L, | ||
const kStrategy | strat | ||
) |
Definition at line 4668 of file kutil.cc.
Definition at line 4769 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 10700 of file kutil.cc.
Definition at line 10776 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 10535 of file kutil.cc.
Definition at line 4954 of file kstd2.cc.
Definition at line 1107 of file kstd2.cc.
Definition at line 2067 of file kstd2.cc.
TEST_OPT_REDTHROUGH &&
Definition at line 1862 of file kstd2.cc.
Definition at line 167 of file kLiftstd.cc.
Definition at line 2302 of file kstd2.cc.
Definition at line 386 of file kstd1.cc.
Definition at line 945 of file kstd2.cc.
Definition at line 677 of file kstd2.cc.
Definition at line 1326 of file kstd2.cc.
Definition at line 1493 of file kstd2.cc.
Definition at line 6838 of file kutil.cc.
poly redtailBba | ( | LObject * | L, |
int | end_pos, | ||
kStrategy | strat, | ||
BOOLEAN | withT = FALSE , |
||
BOOLEAN | normalize = FALSE |
||
) |
Definition at line 6914 of file kutil.cc.
poly redtailBba_NF | ( | poly | p, |
kStrategy | strat | ||
) |
Definition at line 7377 of file kutil.cc.
Definition at line 7271 of file kutil.cc.
Definition at line 7142 of file kutil.cc.
poly redtailBbaBound | ( | LObject * | L, |
int | end_pos, | ||
kStrategy | strat, | ||
int | bound, | ||
BOOLEAN | withT = FALSE , |
||
BOOLEAN | normalize = FALSE |
||
) |
Definition at line 7027 of file kutil.cc.
Definition at line 12997 of file kutil.cc.
poly redtailSba | ( | LObject * | L, |
int | end_pos, | ||
kStrategy | strat, | ||
BOOLEAN | withT = FALSE , |
||
BOOLEAN | normalize = FALSE |
||
) |
Definition at line 1742 of file kstd2.cc.
Definition at line 9049 of file kutil.cc.
Definition at line 2967 of file kstd2.cc.
Definition at line 1693 of file kutil.cc.
Definition at line 11078 of file kutil.cc.
Definition at line 4462 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 4475 of file kutil.cc.
Definition at line 6480 of file kutil.cc.
Definition at line 6515 of file kutil.cc.
Definition at line 10076 of file kutil.cc.
Definition at line 8556 of file kutil.cc.
EXTERN_VAR denominator_list DENOMINATOR_LIST |
EXTERN_VAR int HCord |
EXTERN_VAR int strat_nr |