![]() |
My Project
|
#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/GBEngine/kutil.h"
#include "polys/kbuckets.h"
#include "coeffs/numbers.h"
#include "kernel/polys.h"
#include "polys/monomials/ring.h"
#include "kernel/ideals.h"
#include "kernel/combinatorics/stairc.h"
#include "kernel/GBEngine/kstd1.h"
#include "polys/operations/pShallowCopyDelete.h"
#include "polys/shiftop.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 | ALL_VS_JUST 0 |
#define | EXT_POLY_NEW 0 |
#define | KDEBUG 2 |
#define | ENTER_USE_MEMMOVE |
#define | pDivComp_EQUAL 2 |
#define | pDivComp_LESS 1 |
#define | pDivComp_GREATER -1 |
#define | pDivComp_INCOMP 0 |
#define | kFalseReturn(x) do { if (!x) return FALSE;} while (0) |
Variables | |
VAR denominator_list | DENOMINATOR_LIST =NULL |
VAR int | HCord |
VAR int | Kstd1_deg |
VAR int | Kstd1_mu =INT_MAX |
STATIC_VAR BOOLEAN | sloppy_max = FALSE |
BOOLEAN arriRewCriterion | ( | poly | sig, |
unsigned long | not_sevSig, | ||
poly | lm, | ||
kStrategy | strat, | ||
int | start = 0 |
||
) |
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 365 of file kutil.cc.
Definition at line 8404 of file kutil.cc.
Definition at line 3211 of file kutil.cc.
Definition at line 3527 of file kutil.cc.
Definition at line 4003 of file kutil.cc.
Definition at line 3468 of file kutil.cc.
Definition at line 557 of file kutil.cc.
Definition at line 616 of file kutil.cc.
Definition at line 4440 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.
|
inlinestatic |
Definition at line 4239 of file kutil.cc.
Definition at line 4323 of file kutil.cc.
|
static |
Definition at line 2228 of file kutil.cc.
Definition at line 1946 of file kutil.cc.
Definition at line 1341 of file kutil.cc.
|
static |
Definition at line 11816 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.
|
static |
Definition at line 2440 of file kutil.cc.
|
static |
Definition at line 2697 of file kutil.cc.
Definition at line 3099 of file kutil.cc.
|
static |
Definition at line 12131 of file kutil.cc.
|
static |
Definition at line 12070 of file kutil.cc.
|
static |
Definition at line 1545 of file kutil.cc.
|
static |
Definition at line 12060 of file kutil.cc.
|
static |
Definition at line 11647 of file kutil.cc.
|
static |
Definition at line 1753 of file kutil.cc.
Definition at line 12953 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 4543 of file kutil.cc.
Definition at line 8794 of file kutil.cc.
Definition at line 8894 of file kutil.cc.
Definition at line 1620 of file kstd1.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.
BOOLEAN faugereRewCriterion | ( | poly | sig, |
unsigned long | not_sevSig, | ||
poly | lm, | ||
kStrategy | strat, | ||
int | start = 0 |
||
) |
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 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 12511 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 3881 of file kutil.cc.
void initenterpairsSigRing | ( | poly | h, |
poly | hSig, | ||
int | hFrom, | ||
int | k, | ||
int | ecart, | ||
int | isFromQ, | ||
kStrategy | strat, | ||
int | atR = -1 |
||
) |
Definition at line 3941 of file kutil.cc.
Definition at line 4159 of file kutil.cc.
Definition at line 12769 of file kutil.cc.
|
static |
Definition at line 4214 of file kutil.cc.
Definition at line 7590 of file kutil.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 8090 of file kutil.cc.
Definition at line 8238 of file kutil.cc.
Definition at line 7935 of file kutil.cc.
Definition at line 10481 of file kutil.cc.
Output some debug info about a given strategy.
Definition at line 11505 of file kutil.cc.
TObject * kFindDivisibleByInS_T | ( | kStrategy | strat, |
int | end_pos, | ||
LObject * | L, | ||
TObject * | T, | ||
long | ecart | ||
) |
Definition at line 6701 of file kutil.cc.
Definition at line 10961 of file kutil.cc.
Definition at line 11058 of file kutil.cc.
Definition at line 1011 of file kutil.cc.
Definition at line 923 of file kutil.cc.
Definition at line 796 of file kutil.cc.
Definition at line 1074 of file kutil.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.
Definition at line 176 of file kutil.cc.
Definition at line 225 of file kutil.cc.
int posInLF5CRing | ( | const LSet | set, |
int | start, | ||
const int | length, | ||
LObject * | p, | ||
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 8490 of file kutil.cc.
Definition at line 8387 of file kutil.cc.
Definition at line 168 of file kstd1.cc.
Definition at line 794 of file kstd1.cc.
Definition at line 6840 of file kutil.cc.
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, | ||
BOOLEAN | normalize | ||
) |
Definition at line 7029 of file kutil.cc.
Definition at line 13006 of file kutil.cc.
Definition at line 9052 of file kutil.cc.
Definition at line 1695 of file kutil.cc.
Definition at line 11086 of file kutil.cc.
|
extern |
Definition at line 711 of file misc_ip.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 | ||
) |
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.
VAR denominator_list DENOMINATOR_LIST =NULL |
STATIC_VAR BOOLEAN sloppy_max = FALSE |