![]() |
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 6664 of file kutil.cc.
BOOLEAN arriRewCriterionPre | ( | poly | sig, |
unsigned long | not_sevSig, | ||
poly | lm, | ||
kStrategy | strat, | ||
int | start | ||
) |
Definition at line 6689 of file kutil.cc.
Definition at line 2626 of file kstd2.cc.
Definition at line 4595 of file kstd2.cc.
Definition at line 372 of file kutil.cc.
Definition at line 3217 of file kutil.cc.
Definition at line 3474 of file kutil.cc.
Definition at line 565 of file kutil.cc.
Definition at line 10357 of file kutil.cc.
Definition at line 293 of file kutil.cc.
Definition at line 1215 of file kutil.cc.
Definition at line 1139 of file kutil.cc.
Definition at line 4249 of file kutil.cc.
Definition at line 4333 of file kutil.cc.
Definition at line 1952 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 12251 of file kutil.cc.
Definition at line 13045 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 8846 of file kutil.cc.
Definition at line 8946 of file kutil.cc.
Definition at line 8969 of file kutil.cc.
Definition at line 9397 of file kutil.cc.
Definition at line 9195 of file kutil.cc.
Definition at line 9295 of file kutil.cc.
Definition at line 13075 of file kutil.cc.
Definition at line 10105 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 4283 of file kstd2.cc.
BOOLEAN faugereRewCriterion | ( | poly | sig, |
unsigned long | not_sevSig, | ||
poly | lm, | ||
kStrategy | strat, | ||
int | start | ||
) |
Definition at line 6605 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 10945 of file kutil.cc.
Definition at line 1689 of file kstd1.cc.
Definition at line 9817 of file kutil.cc.
Definition at line 9493 of file kutil.cc.
Definition at line 9644 of file kutil.cc.
Definition at line 9730 of file kutil.cc.
Definition at line 3822 of file kutil.cc.
Definition at line 7635 of file kutil.cc.
Definition at line 1749 of file kstd1.cc.
Definition at line 10030 of file kutil.cc.
Definition at line 9558 of file kutil.cc.
Definition at line 9928 of file kutil.cc.
Definition at line 7730 of file kutil.cc.
Definition at line 7831 of file kutil.cc.
Definition at line 7985 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 10551 of file kutil.cc.
Output some debug info about a given strategy.
Definition at line 11577 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 6740 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 4108 of file kstd2.cc.
Definition at line 3950 of file kstd2.cc.
Definition at line 4194 of file kstd2.cc.
Definition at line 4033 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 11038 of file kutil.cc.
Definition at line 11131 of file kutil.cc.
Definition at line 1012 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 926 of file kutil.cc.
Definition at line 801 of file kutil.cc.
Definition at line 1073 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 7553 of file kutil.cc.
Definition at line 7566 of file kutil.cc.
Definition at line 10479 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 4685 of file kutil.cc.
Definition at line 4786 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 10780 of file kutil.cc.
Definition at line 10856 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 10613 of file kutil.cc.
Definition at line 4975 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 6883 of file kutil.cc.
poly redtailBba | ( | LObject * | L, |
int | end_pos, | ||
kStrategy | strat, | ||
BOOLEAN | withT = FALSE , |
||
BOOLEAN | normalize = FALSE |
||
) |
Definition at line 6959 of file kutil.cc.
poly redtailBba_NF | ( | poly | p, |
kStrategy | strat | ||
) |
Definition at line 7423 of file kutil.cc.
Definition at line 7317 of file kutil.cc.
Definition at line 7188 of file kutil.cc.
poly redtailBbaBound | ( | LObject * | L, |
int | end_pos, | ||
kStrategy | strat, | ||
int | bound, | ||
BOOLEAN | withT = FALSE , |
||
BOOLEAN | normalize = FALSE |
||
) |
Definition at line 7072 of file kutil.cc.
Definition at line 13098 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 9104 of file kutil.cc.
Definition at line 2984 of file kstd2.cc.
Definition at line 1700 of file kutil.cc.
Definition at line 11159 of file kutil.cc.
Definition at line 4478 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 4491 of file kutil.cc.
Definition at line 6521 of file kutil.cc.
Definition at line 6556 of file kutil.cc.
Definition at line 10145 of file kutil.cc.
Definition at line 8611 of file kutil.cc.
EXTERN_VAR denominator_list DENOMINATOR_LIST |
EXTERN_VAR int HCord |
EXTERN_VAR int strat_nr |