![]() |
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 "coeffs/bigintmat.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 ((int)((4096-12)/sizeof(LObject))) |
#define | setmaxLinc ((int)((4096)/sizeof(LObject))) |
#define | setmaxT ((int)((4096-12)/sizeof(TObject))) |
#define | setmaxTinc ((int)((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 6625 of file kutil.cc.
BOOLEAN arriRewCriterionPre | ( | poly | sig, |
unsigned long | not_sevSig, | ||
poly | lm, | ||
kStrategy | strat, | ||
int | start | ||
) |
Definition at line 6650 of file kutil.cc.
Definition at line 2622 of file kstd2.cc.
Definition at line 4594 of file kstd2.cc.
Definition at line 365 of file kutil.cc.
Definition at line 3211 of file kutil.cc.
Definition at line 3468 of file kutil.cc.
Definition at line 557 of file kutil.cc.
Definition at line 10287 of file kutil.cc.
Definition at line 286 of file kutil.cc.
Definition at line 1215 of file kutil.cc.
Definition at line 1139 of file kutil.cc.
Definition at line 4239 of file kutil.cc.
Definition at line 4323 of file kutil.cc.
Definition at line 1946 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 12169 of file kutil.cc.
Definition at line 12953 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 8794 of file kutil.cc.
Definition at line 8894 of file kutil.cc.
Definition at line 8917 of file kutil.cc.
Definition at line 9343 of file kutil.cc.
Definition at line 9143 of file kutil.cc.
Definition at line 9242 of file kutil.cc.
Definition at line 12983 of file kutil.cc.
Definition at line 10041 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, | ||
bigintmat * | hilb | ||
) |
Definition at line 4282 of file kstd2.cc.
BOOLEAN faugereRewCriterion | ( | poly | sig, |
unsigned long | not_sevSig, | ||
poly | lm, | ||
kStrategy | strat, | ||
int | start | ||
) |
Definition at line 6566 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 10869 of file kutil.cc.
Definition at line 1681 of file kstd1.cc.
Definition at line 9751 of file kutil.cc.
Definition at line 9435 of file kutil.cc.
Definition at line 9580 of file kutil.cc.
Definition at line 9665 of file kutil.cc.
Definition at line 3816 of file kutil.cc.
Definition at line 7590 of file kutil.cc.
Definition at line 1741 of file kstd1.cc.
Definition at line 9966 of file kutil.cc.
Definition at line 9498 of file kutil.cc.
Definition at line 9864 of file kutil.cc.
Definition at line 7683 of file kutil.cc.
Definition at line 7783 of file kutil.cc.
Definition at line 7935 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 10481 of file kutil.cc.
Output some debug info about a given strategy.
Definition at line 11505 of file kutil.cc.
return -1 if no divisor is found number of first divisor in S, otherwise
Definition at line 468 of file kstd2.cc.
TObject * kFindDivisibleByInS_T | ( | kStrategy | strat, |
int | end_pos, | ||
LObject * | L, | ||
TObject * | T, | ||
long | ecart = LONG_MAX |
||
) |
Definition at line 6701 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 420 of file kstd2.cc.
Definition at line 213 of file kstd2.cc.
Definition at line 613 of file kstd2.cc.
Definition at line 4107 of file kstd2.cc.
Definition at line 3944 of file kstd2.cc.
Definition at line 4193 of file kstd2.cc.
Definition at line 4032 of file kstd2.cc.
poly ksCreateShortSpoly | ( | poly | p1, |
poly | p2, | ||
ring | tailRing | ||
) |
Definition at line 1446 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 1203 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 590 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 737 of file kspoly.cc.
int ksReducePolySigRing | ( | LObject * | PR, |
TObject * | PW, | ||
long | idx, | ||
poly | spNoether = NULL , |
||
number * | coef = NULL , |
||
kStrategy | strat = NULL |
||
) |
Definition at line 943 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 10961 of file kutil.cc.
Definition at line 11058 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 923 of file kutil.cc.
Definition at line 796 of file kutil.cc.
Definition at line 1074 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 7508 of file kutil.cc.
Definition at line 7521 of file kutil.cc.
Definition at line 10409 of file kutil.cc.
void pairs | ( | ) |
Definition at line 1360 of file kstd1.cc.
int posInLF5CRing | ( | const LSet | set, |
int | start, | ||
const int | length, | ||
LObject * | L, | ||
const kStrategy | strat | ||
) |
Definition at line 4670 of file kutil.cc.
Definition at line 4771 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 10704 of file kutil.cc.
Definition at line 10780 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 10540 of file kutil.cc.
Definition at line 4974 of file kstd2.cc.
Definition at line 1154 of file kstd2.cc.
Definition at line 2114 of file kstd2.cc.
TEST_OPT_REDTHROUGH &&
Definition at line 1909 of file kstd2.cc.
Definition at line 167 of file kLiftstd.cc.
Definition at line 2315 of file kstd2.cc.
Definition at line 385 of file kstd1.cc.
Definition at line 992 of file kstd2.cc.
Definition at line 724 of file kstd2.cc.
Definition at line 1373 of file kstd2.cc.
Definition at line 1540 of file kstd2.cc.
Definition at line 6840 of file kutil.cc.
poly redtailBba | ( | LObject * | L, |
int | end_pos, | ||
kStrategy | strat, | ||
BOOLEAN | withT = FALSE , |
||
BOOLEAN | normalize = FALSE |
||
) |
Definition at line 6916 of file kutil.cc.
poly redtailBba_NF | ( | poly | p, |
kStrategy | strat | ||
) |
Definition at line 7379 of file kutil.cc.
Definition at line 7273 of file kutil.cc.
Definition at line 7144 of file kutil.cc.
poly redtailBbaBound | ( | LObject * | L, |
int | end_pos, | ||
kStrategy | strat, | ||
int | bound, | ||
BOOLEAN | withT = FALSE , |
||
BOOLEAN | normalize = FALSE |
||
) |
Definition at line 7029 of file kutil.cc.
Definition at line 13006 of file kutil.cc.
poly redtailSba | ( | LObject * | L, |
int | end_pos, | ||
kStrategy | strat, | ||
BOOLEAN | withT = FALSE , |
||
BOOLEAN | normalize = FALSE |
||
) |
Definition at line 1789 of file kstd2.cc.
Definition at line 9052 of file kutil.cc.
Definition at line 2982 of file kstd2.cc.
Definition at line 1695 of file kutil.cc.
Definition at line 11086 of file kutil.cc.
Definition at line 4464 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 4477 of file kutil.cc.
Definition at line 6482 of file kutil.cc.
Definition at line 6517 of file kutil.cc.
Definition at line 10081 of file kutil.cc.
Definition at line 8559 of file kutil.cc.
EXTERN_VAR denominator_list DENOMINATOR_LIST |
EXTERN_VAR int HCord |
EXTERN_VAR int strat_nr |