![]() |
#include <string.h>#include <omalloc/omalloc.h>#include <misc/mylimits.h>#include <kernel/polys.h>#include <polys/operations/pShallowCopyDelete.h>#include <kernel/structs.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 |
| typedef skStrategy * | kStrategy |
Variables | |
| denominator_list | DENOMINATOR_LIST |
| int | strat_nr |
| int | strat_fac_debug |
| 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 5201 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 5224 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 1338 of file kstd2.cc.
| ideal bbaShift | ( | ideal | F, |
| ideal | Q, | ||
| intvec * | w, | ||
| intvec * | hilb, | ||
| kStrategy | strat, | ||
| int | uptodeg, | ||
| int | lV | ||
| ) |
Definition at line 2868 of file kstd2.cc.
Definition: polys.h:105
Definition at line 324 of file kutil.cc.
Definition at line 2186 of file kutil.cc.
Definition at line 2401 of file kutil.cc.
| void cleanT | ( | kStrategy | strat | ) |
Definition at line 491 of file kutil.cc.
Definition at line 1145 of file kInline.h.
Definition at line 7991 of file kutil.cc.
| ideal createG0 | ( | ) |
Definition at line 3385 of file kutil.cc.
Definition at line 310 of file kutil.cc.
Definition at line 235 of file kutil.cc.
Definition at line 1039 of file kutil.cc.
Definition at line 3481 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 9134 of file kutil.cc.
Definition at line 1490 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 9210 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 9275 of file kutil.cc.
Definition at line 3671 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 9571 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 3703 of file kutil.cc.
Definition at line 6927 of file kutil.cc.
| void entersets | ( | LObject | h | ) |
Definition at line 7030 of file kutil.cc.
Definition at line 7240 of file kutil.cc.
Definition at line 7161 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 2551 of file kstd2.cc.
| BOOLEAN faugereRewCriterion | ( | poly | sig, |
| unsigned long | not_sevSig, | ||
| poly | lm, | ||
| kStrategy | strat, | ||
| int | start | ||
| ) |
Definition at line 5145 of file kutil.cc.
Definition at line 3214 of file kstd2.cc.
Definition at line 422 of file kutil.cc.
Definition at line 1279 of file kstd1.cc.
Definition at line 3374 of file kstd2.cc.
Definition at line 7558 of file kutil.cc.
| void initBuchMoraCrit | ( | kStrategy | strat | ) |
Definition at line 7325 of file kutil.cc.
| void initBuchMoraPos | ( | kStrategy | strat | ) |
Definition at line 7466 of file kutil.cc.
Definition at line 9049 of file kutil.cc.
| void initEcartBBA | ( | TObject * | h | ) |
| void initEcartNormal | ( | TObject * | h | ) |
Definition at line 1147 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 9605 of file kutil.cc.
Definition at line 7305 of file kutil.cc.
Definition at line 5733 of file kutil.cc.
Definition at line 1334 of file kstd1.cc.
Definition at line 7751 of file kutil.cc.
| void initSbaCrit | ( | kStrategy | strat | ) |
Definition at line 7382 of file kutil.cc.
| void initSbaPos | ( | kStrategy | strat | ) |
Definition at line 7655 of file kutil.cc.
Definition at line 5836 of file kutil.cc.
Definition at line 5935 of file kutil.cc.
| void initSyzRules | ( | kStrategy | strat | ) |
Definition at line 6087 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 8176 of file kutil.cc.
Definition at line 8214 of file kutil.cc.
Definition at line 3256 of file kutil.cc.
| void kDebugPrint | ( | kStrategy | strat | ) |
Output some debug info about a given strategy.
Definition at line 8780 of file kutil.cc.
return -1 if no divisor is found number of first divisor in S, otherwise
Definition at line 149 of file kstd2.cc.
| TObject* kFindDivisibleByInS | ( | kStrategy | strat, |
| int | pos, | ||
| LObject * | L, | ||
| TObject * | T, | ||
| long | ecart = LONG_MAX |
||
| ) |
Definition at line 5267 of file kutil.cc.
| int kFindDivisibleByInT | ( | const TSet & | T, |
| const unsigned long * | sevT, | ||
| const int | tl, | ||
| const LObject * | L, | ||
| const int | start = 0 |
||
| ) |
return -1 if no divisor is found number of first divisor in T, otherwise
Definition at line 101 of file kstd2.cc.
Definition at line 181 of file kstd2.cc.
Definition at line 210 of file kstd2.cc.
| void kFreeStrat | ( | kStrategy | strat | ) |
Definition at line 2395 of file kstd2.cc.
Definition at line 2466 of file kstd2.cc.
Definition at line 563 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 376 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 172 of file kspoly.cc.
Definition at line 491 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 8231 of file kutil.cc.
| void kStratInitChangeTailRing | ( | kStrategy | strat | ) |
Definition at line 8334 of file kutil.cc.
Definition at line 8113 of file kutil.cc.
| void pairs | ( | ) |
Definition at line 8928 of file kutil.cc.
Definition at line 8897 of file kutil.cc.
Definition at line 8911 of file kutil.cc.
Definition at line 4568 of file kutil.cc.
Definition: polys.h:105
Definition at line 947 of file kstd1.cc.
Definition at line 4664 of file kutil.cc.
Definition: polys.h:105
Definition at line 4818 of file kutil.cc.
Definition: polys.h:105
Definition at line 4899 of file kutil.cc.
Definition: polys.h:105
Definition at line 4957 of file kutil.cc.
Definition: polys.h:105
Definition at line 4599 of file kutil.cc.
Definition: polys.h:105
Definition at line 3860 of file kutil.cc.
Definition: polys.h:105
Definition at line 4624 of file kutil.cc.
Definition: polys.h:105
Definition at line 3976 of file kutil.cc.
Definition: polys.h:105
Definition at line 4034 of file kutil.cc.
Definition: polys.h:105
Definition at line 4167 of file kutil.cc.
Definition: polys.h:105
Definition at line 4281 of file kutil.cc.
Definition: polys.h:105
Definition at line 4339 of file kutil.cc.
Definition: polys.h:105
Definition at line 3248 of file kstd2.cc.
Definition at line 406 of file kstd2.cc.
Definition at line 1004 of file kstd2.cc.
TEST_OPT_REDTHROUGH &&
Definition at line 844 of file kstd2.cc.
Definition at line 1189 of file kstd2.cc.
Definition at line 351 of file kstd1.cc.
Definition at line 324 of file kstd2.cc.
Definition at line 565 of file kstd2.cc.
Definition at line 5406 of file kutil.cc.
Definition at line 5337 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 5412 of file kutil.cc.
Definition at line 1134 of file kInline.h.
Definition at line 1127 of file kInline.h.
Definition at line 5510 of file kutil.cc.
Definition at line 9721 of file kutil.cc.
| poly redtailSba | ( | LObject * | L, |
| int | pos, | ||
| kStrategy | strat, | ||
| BOOLEAN | withT = FALSE, |
||
| BOOLEAN | normalize = FALSE |
||
| ) |
Definition at line 733 of file kstd2.cc.
Definition at line 3807 of file kutil.cc.
Definition at line 1670 of file kstd2.cc.
Definition at line 8361 of file kutil.cc.
Definition at line 3597 of file kutil.cc.
Definition at line 5071 of file kutil.cc.
Definition at line 5103 of file kutil.cc.
| long twoPow | ( | long | arg | ) |
Definition at line 7864 of file kutil.cc.
Definition at line 6695 of file kutil.cc.
Definition at line 9021 of file kutil.cc.
| denominator_list DENOMINATOR_LIST |
| int strat_fac_debug |
Definition at line 29 of file kstdfac.cc.
| int strat_nr |
Definition at line 28 of file kstdfac.cc.