![]() |
#include <kernel/mod2.h>#include <misc/mylimits.h>#include <misc/options.h>#include <polys/nc/nc.h>#include <polys/nc/sca.h>#include <polys/weight.h>#include <stdlib.h>#include <string.h>#include <kernel/ideals.h>#include <kernel/GBEngine/kutil.h>#include <polys/kbuckets.h>#include <omalloc/omalloc.h>#include <coeffs/numbers.h>#include <kernel/polys.h>#include <polys/monomials/ring.h>#include <kernel/combinatorics/stairc.h>#include <kernel/GBEngine/kstd1.h>#include <polys/operations/pShallowCopyDelete.h>#include <kernel/GBEngine/shiftgb.h>#include <polys/prCopy.h>#include <kernel/GBEngine/ratgring.h>Go to the source code of this file.
Macros | |
| #define | KUTIL_CC |
| #define | MYTEST 0 |
| #define | KDEBUG 2 |
| #define | ENTER_USE_MEMMOVE |
| #define | ADIDEBUG 0 |
| #define | pDivComp_EQUAL 2 |
| #define | pDivComp_LESS 1 |
| #define | pDivComp_GREATER -1 |
| #define | pDivComp_INCOMP 0 |
| #define | REDTAIL_CANONICALIZE 100 |
Variables | |
| denominator_list | DENOMINATOR_LIST =NULL |
| int | HCord |
| int | Kstd1_deg |
| int | Kstd1_mu =32000 |
| #define REDTAIL_CANONICALIZE 100 |
Definition at line 5201 of file kutil.cc.
Definition: polys.h:105
Definition at line 5224 of file kutil.cc.
Definition: polys.h:105
Definition at line 324 of file kutil.cc.
Definition at line 6543 of file kutil.cc.
Definition at line 2186 of file kutil.cc.
Definition at line 2460 of file kutil.cc.
Definition at line 2885 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 3573 of file kutil.cc.
Definition at line 7991 of file kutil.cc.
| ideal createG0 | ( | ) |
Definition at line 3385 of file kutil.cc.
Definition at line 235 of file kutil.cc.
Definition at line 310 of file kutil.cc.
Definition at line 1039 of file kutil.cc.
|
inlinestatic |
Definition at line 3481 of file kutil.cc.
| void enterOnePairManyShifts | ( | int | i, |
| poly | p, | ||
| int | ecart, | ||
| int | isFromQ, | ||
| kStrategy | strat, | ||
| int | , | ||
| int | uptodeg, | ||
| int | lV | ||
| ) |
Definition at line 9134 of file kutil.cc.
Definition at line 1490 of file kutil.cc.
Definition at line 1167 of file kutil.cc.
| void enterOnePairSelfShifts | ( | poly | qq, |
| poly | p, | ||
| int | ecart, | ||
| int | isFromQ, | ||
| kStrategy | strat, | ||
| int | , | ||
| 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 | , | ||
| int | lV | ||
| ) |
Definition at line 9275 of file kutil.cc.
| void enterOnePairSig | ( | int | i, |
| poly | p, | ||
| poly | pSig, | ||
| int | , | ||
| int | ecart, | ||
| int | isFromQ, | ||
| kStrategy | strat, | ||
| int | atR = -1 |
||
| ) |
Definition at line 1784 of file kutil.cc.
Definition: polys.h:105
Definition at line 2055 of file kutil.cc.
Definition at line 1398 of file kutil.cc.
Definition at line 3071 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 | hFrom, | ||
| int | k, | ||
| int | ecart, | ||
| int | pos, | ||
| kStrategy | strat, | ||
| int | atR | ||
| ) |
Definition at line 3703 of file kutil.cc.
Definition at line 3733 of file kutil.cc.
Definition at line 6927 of file kutil.cc.
Definition at line 1215 of file kstd1.cc.
Definition at line 7030 of file kutil.cc.
Definition at line 7240 of file kutil.cc.
Definition at line 7161 of file kutil.cc.
| BOOLEAN faugereRewCriterion | ( | poly | sig, |
| unsigned long | not_sevSig, | ||
| poly | , | ||
| kStrategy | strat, | ||
| int | start = 0 |
||
| ) |
Definition at line 5145 of file kutil.cc.
|
inline |
Definition at line 422 of file kutil.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.
Definition at line 2751 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.
| void initenterpairsSig | ( | poly | h, |
| poly | hSig, | ||
| int | hFrom, | ||
| int | k, | ||
| int | ecart, | ||
| int | isFromQ, | ||
| kStrategy | strat, | ||
| int | atR = -1 |
||
| ) |
Definition at line 2820 of file kutil.cc.
Definition at line 3451 of file kutil.cc.
Definition at line 3319 of file kutil.cc.
Definition at line 7305 of file kutil.cc.
Definition at line 5733 of file kutil.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.
Definition at line 6236 of file kutil.cc.
Definition at line 6381 of file kutil.cc.
| void initSyzRules | ( | kStrategy | strat | ) |
Definition at line 6087 of file kutil.cc.
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.
Definition at line 5267 of file kutil.cc.
Definition at line 614 of file kutil.cc.
| void kMergeBintoL | ( | kStrategy | strat | ) |
Definition at line 2140 of file kutil.cc.
| void kMergeBintoLSba | ( | kStrategy | strat | ) |
Definition at line 2163 of file kutil.cc.
| BOOLEAN kPosInLDependsOnLength | ( | int(*)(const LSet set, const int length, LObject *L, const kStrategy strat) | pos_in_l | ) |
Definition at line 7455 of file kutil.cc.
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.
| int nextZeroSimplexExponent | ( | long | exp[], |
| long | ind[], | ||
| long | cexp[], | ||
| long | cind[], | ||
| long * | cabsind, | ||
| long | step[], | ||
| long | bound, | ||
| long | N | ||
| ) |
Definition at line 8928 of file kutil.cc.
Definition at line 179 of file kutil.cc.
Definition: polys.h:105
Definition at line 141 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 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 5005 of file kutil.cc.
Definition: polys.h:105
Definition at line 4734 of file kutil.cc.
Definition: polys.h:105
Definition at line 4599 of file kutil.cc.
Definition: polys.h:105
Definition at line 4525 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 4403 of file kutil.cc.
Definition: polys.h:105
Definition at line 4091 of file kutil.cc.
Definition: polys.h:105
Definition at line 6631 of file kutil.cc.
Definition at line 6526 of file kutil.cc.
Definition at line 176 of file kstd1.cc.
Definition at line 574 of file kstd1.cc.
Definition at line 6654 of file kutil.cc.
Definition at line 5337 of file kutil.cc.
Definition at line 5406 of file kutil.cc.
Definition at line 5412 of file kutil.cc.
Definition at line 5510 of file kutil.cc.
Definition at line 9721 of file kutil.cc.
Definition at line 3807 of file kutil.cc.
Definition at line 8361 of file kutil.cc.
| char* showOption | ( | ) |
Definition at line 726 of file misc_ip.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 =NULL |