![]() |
#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 16 |
| #define | setmaxL ((4096-12)/sizeof(LObject)) |
| #define | setmaxLinc ((4096)/sizeof(LObject)) |
| #define | setmaxT 64 |
| #define | setmaxTinc 32 |
| #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) (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 |
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 5806 of file kutil.cc.
Definition: polys.h:105
| BOOLEAN arriRewCriterionPre | ( | poly | sig, |
| unsigned long | not_sevSig, | ||
| poly | lm, | ||
| kStrategy | strat, | ||
| int | start | ||
| ) |
Definition at line 5829 of file kutil.cc.
Definition: polys.h:105
| KINLINE BOOLEAN arriRewDummy | ( | poly | sig, |
| unsigned long | not_sevSig, | ||
| poly | lm, | ||
| kStrategy | strat, | ||
| int | start | ||
| ) |
Definition at line 1466 of file kstd2.cc.
| ideal bbaShift | ( | ideal | F, |
| ideal | Q, | ||
| intvec * | w, | ||
| intvec * | hilb, | ||
| kStrategy | strat, | ||
| int | uptodeg, | ||
| int | lV | ||
| ) |
Definition at line 3065 of file kstd2.cc.
Definition: polys.h:105
Definition at line 324 of file kutil.cc.
Definition at line 2451 of file kutil.cc.
Definition at line 2682 of file kutil.cc.
| void cleanT | ( | kStrategy | strat | ) |
Definition at line 505 of file kutil.cc.
Definition at line 1145 of file kInline.h.
Definition at line 8801 of file kutil.cc.
| ideal createG0 | ( | ) |
Definition at line 3687 of file kutil.cc.
Definition at line 310 of file kutil.cc.
Definition at line 235 of file kutil.cc.
Definition at line 1053 of file kutil.cc.
Definition at line 3784 of file kutil.cc.
Definition at line 1841 of file kutil.cc.
| void enterOnePairManyShifts | ( | int | i, |
| poly | p, | ||
| int | ecart, | ||
| int | isFromQ, | ||
| kStrategy | strat, | ||
| int | atR, | ||
| int | uptodeg, | ||
| int | lV | ||
| ) |
Definition at line 10264 of file kutil.cc.
Definition at line 1536 of file kutil.cc.
| void enterOnePairSelfShifts | ( | poly | qq, |
| poly | p, | ||
| int | ecart, | ||
| int | isFromQ, | ||
| kStrategy | strat, | ||
| int | atR, | ||
| int | uptodeg, | ||
| int | lV | ||
| ) |
Definition at line 10339 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, | ||
| int | uptodeg, | ||
| int | lV | ||
| ) |
Definition at line 10402 of file kutil.cc.
| BOOLEAN enterOneStrongPoly | ( | int | i, |
| poly | p, | ||
| int | , | ||
| int | , | ||
| kStrategy | strat, | ||
| int | atR = -1, |
||
| bool | enterTstrong = FALSE |
||
| ) |
Definition at line 1399 of file kutil.cc.
Definition at line 3988 of file kutil.cc.
| void enterpairsShift | ( | poly | h, |
| int | k, | ||
| int | ecart, | ||
| int | pos, | ||
| kStrategy | strat, | ||
| int | atR, | ||
| int | uptodeg, | ||
| int | lV | ||
| ) |
Definition at line 10696 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 4044 of file kutil.cc.
Definition at line 7577 of file kutil.cc.
| void entersets | ( | LObject | h | ) |
Definition at line 7680 of file kutil.cc.
Definition at line 8007 of file kutil.cc.
Definition at line 7811 of file kutil.cc.
Definition at line 7895 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 2748 of file kstd2.cc.
| BOOLEAN faugereRewCriterion | ( | poly | sig, |
| unsigned long | not_sevSig, | ||
| poly | lm, | ||
| kStrategy | strat, | ||
| int | start | ||
| ) |
Definition at line 5750 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 9294 of file kutil.cc.
| ideal freegb | ( | ideal | I, |
| int | uptodeg, | ||
| int | lVblock | ||
| ) |
Definition at line 3406 of file kstd2.cc.
Definition at line 436 of file kutil.cc.
| void initBba | ( | ideal | F, |
| kStrategy | strat | ||
| ) |
Definition at line 1388 of file kstd1.cc.
| void initBbaShift | ( | ideal | F, |
| kStrategy | strat | ||
| ) |
Definition at line 3567 of file kstd2.cc.
| void initBuchMora | ( | ideal | F, |
| ideal | Q, | ||
| kStrategy | strat | ||
| ) |
Definition at line 8338 of file kutil.cc.
| void initBuchMoraCrit | ( | kStrategy | strat | ) |
Definition at line 8092 of file kutil.cc.
| void initBuchMoraPos | ( | kStrategy | strat | ) |
Definition at line 8244 of file kutil.cc.
| void initBuchMoraShift | ( | ideal | F, |
| ideal | Q, | ||
| kStrategy | strat | ||
| ) |
Definition at line 10180 of file kutil.cc.
| void initEcartBBA | ( | TObject * | h | ) |
| void initEcartNormal | ( | TObject * | h | ) |
Definition at line 1161 of file kutil.cc.
| void initenterpairsShift | ( | poly | h, |
| int | k, | ||
| int | ecart, | ||
| int | isFromQ, | ||
| kStrategy | strat, | ||
| int | atR, | ||
| int | uptodeg, | ||
| int | lV | ||
| ) |
Definition at line 10730 of file kutil.cc.
Definition at line 8072 of file kutil.cc.
| void initS | ( | ideal | F, |
| ideal | Q, | ||
| kStrategy | strat | ||
| ) |
Definition at line 6383 of file kutil.cc.
| void initSba | ( | ideal | F, |
| kStrategy | strat | ||
| ) |
Definition at line 1443 of file kstd1.cc.
| void initSbaBuchMora | ( | ideal | F, |
| ideal | Q, | ||
| kStrategy | strat | ||
| ) |
Definition at line 8535 of file kutil.cc.
| void initSbaCrit | ( | kStrategy | strat | ) |
Definition at line 8159 of file kutil.cc.
| void initSbaPos | ( | kStrategy | strat | ) |
Definition at line 8437 of file kutil.cc.
| void initSL | ( | ideal | F, |
| ideal | Q, | ||
| kStrategy | strat | ||
| ) |
Definition at line 6486 of file kutil.cc.
| void initSLSba | ( | ideal | F, |
| ideal | Q, | ||
| kStrategy | strat | ||
| ) |
Definition at line 6585 of file kutil.cc.
| void initSyzRules | ( | kStrategy | strat | ) |
Definition at line 6737 of file kutil.cc.
Definition at line 81 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.
Definition at line 937 of file kInline.h.
Definition at line 914 of file kInline.h.
Definition at line 942 of file kInline.h.
Definition at line 923 of file kInline.h.
Definition at line 947 of file kInline.h.
Definition at line 930 of file kInline.h.
Definition at line 952 of file kInline.h.
Definition at line 8994 of file kutil.cc.
Definition at line 9032 of file kutil.cc.
Definition at line 3558 of file kutil.cc.
| void kDebugPrint | ( | kStrategy | strat | ) |
Output some debug info about a given strategy.
Definition at line 9907 of file kutil.cc.
return -1 if no divisor is found number of first divisor in S, otherwise
Definition at line 202 of file kstd2.cc.
| TObject* kFindDivisibleByInS | ( | kStrategy | strat, |
| int | pos, | ||
| LObject * | L, | ||
| TObject * | T, | ||
| long | ecart = LONG_MAX |
||
| ) |
Definition at line 5872 of file kutil.cc.
return -1 if no divisor is found number of first divisor in T, otherwise
Definition at line 104 of file kstd2.cc.
Definition at line 250 of file kstd2.cc.
Definition at line 295 of file kstd2.cc.
| void kFreeStrat | ( | kStrategy | strat | ) |
Definition at line 2592 of file kstd2.cc.
| ideal kNF2 | ( | ideal | F, |
| ideal | Q, | ||
| ideal | q, | ||
| kStrategy | strat, | ||
| int | lazyReduce | ||
| ) |
Definition at line 2663 of file kstd2.cc.
Definition at line 566 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 379 of file kspoly.cc.
Definition at line 1102 of file kInline.h.
Definition at line 1082 of file kInline.h.
Definition at line 1092 of file kInline.h.
Definition at line 1112 of file kInline.h.
| int ksReducePoly | ( | LObject * | PR, |
| TObject * | PW, | ||
| poly | spNoether = NULL, |
||
| number * | coef = NULL, |
||
| kStrategy | strat = NULL |
||
| ) |
Definition at line 38 of file kspoly.cc.
| int ksReducePolySig | ( | LObject * | PR, |
| TObject * | PW, | ||
| long | idx, | ||
| poly | spNoether = NULL, |
||
| number * | coef = NULL, |
||
| kStrategy | strat = NULL |
||
| ) |
Definition at line 175 of file kspoly.cc.
Definition at line 494 of file kspoly.cc.
Definition at line 1055 of file kInline.h.
| BOOLEAN kStratChangeTailRing | ( | kStrategy | strat, |
| LObject * | L = NULL, |
||
| TObject * | T = NULL, |
||
| unsigned long | new_expbound = 0 |
||
| ) |
Definition at line 9361 of file kutil.cc.
| void kStratInitChangeTailRing | ( | kStrategy | strat | ) |
Definition at line 9464 of file kutil.cc.
| void message | ( | int | i, |
| int * | reduc, | ||
| int * | olddeg, | ||
| kStrategy | strat, | ||
| int | red_result | ||
| ) |
Definition at line 8924 of file kutil.cc.
| void pairs | ( | ) |
Definition at line 10059 of file kutil.cc.
Definition at line 10028 of file kutil.cc.
Definition at line 10042 of file kutil.cc.
Definition at line 4909 of file kutil.cc.
Definition: polys.h:105
Definition at line 1046 of file kstd1.cc.
Definition at line 5085 of file kutil.cc.
Definition: polys.h:105
Definition at line 5423 of file kutil.cc.
Definition: polys.h:105
Definition at line 5143 of file kutil.cc.
Definition: polys.h:105
Definition at line 5231 of file kutil.cc.
Definition at line 5504 of file kutil.cc.
Definition: polys.h:105
Definition at line 5562 of file kutil.cc.
Definition: polys.h:105
Definition at line 4940 of file kutil.cc.
Definition: polys.h:105
Definition at line 4201 of file kutil.cc.
Definition: polys.h:105
Definition at line 5045 of file kutil.cc.
Definition: polys.h:105
Definition at line 4317 of file kutil.cc.
Definition: polys.h:105
Definition at line 4375 of file kutil.cc.
Definition: polys.h:105
Definition at line 4508 of file kutil.cc.
Definition: polys.h:105
Definition at line 4622 of file kutil.cc.
Definition: polys.h:105
Definition at line 4680 of file kutil.cc.
Definition: polys.h:105
used for GB over ZZ: intermediate reduction by monomial elements background: any known constant element of ideal suppresses intermediate coefficient swell
Definition at line 9225 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 9052 of file kutil.cc.
Definition at line 3440 of file kstd2.cc.
Definition at line 518 of file kstd2.cc.
Definition at line 1116 of file kstd2.cc.
TEST_OPT_REDTHROUGH &&
Definition at line 956 of file kstd2.cc.
Definition at line 1320 of file kstd2.cc.
Definition at line 355 of file kstd1.cc.
Definition: polys.h:105
Definition at line 409 of file kstd2.cc.
Definition at line 677 of file kstd2.cc.
Definition at line 6045 of file kutil.cc.
Definition at line 5975 of file kutil.cc.
Definition at line 1120 of file kInline.h.
| poly redtailBba | ( | LObject * | L, |
| int | pos, | ||
| kStrategy | strat, | ||
| BOOLEAN | withT = FALSE, |
||
| BOOLEAN | normalize = FALSE |
||
| ) |
Definition at line 6051 of file kutil.cc.
Definition at line 1134 of file kInline.h.
Definition at line 1127 of file kInline.h.
Definition at line 6160 of file kutil.cc.
Definition at line 10846 of file kutil.cc.
| poly redtailSba | ( | LObject * | L, |
| int | pos, | ||
| kStrategy | strat, | ||
| BOOLEAN | withT = FALSE, |
||
| BOOLEAN | normalize = FALSE |
||
| ) |
Definition at line 845 of file kstd2.cc.
| void reorderS | ( | int * | suc, |
| kStrategy | strat | ||
| ) |
Definition at line 4148 of file kutil.cc.
Definition at line 1872 of file kstd2.cc.
Definition at line 9491 of file kutil.cc.
Definition at line 3904 of file kutil.cc.
Definition at line 5676 of file kutil.cc.
Definition at line 5708 of file kutil.cc.
| long twoPow | ( | long | arg | ) |
| void updateResult | ( | ideal | r, |
| ideal | Q, | ||
| kStrategy | strat | ||
| ) |
Definition at line 8648 of file kutil.cc.
Definition at line 7345 of file kutil.cc.
| void updateSShift | ( | kStrategy | strat, |
| int | uptodeg, | ||
| int | lV | ||
| ) |
Definition at line 10152 of file kutil.cc.
| denominator_list DENOMINATOR_LIST |
| int strat_nr |
Definition at line 27 of file kstdfac.cc.