![]() |
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 | KDEBUG 2 |
#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 6623 of file kutil.cc.
BOOLEAN arriRewCriterionPre | ( | poly | sig, |
unsigned long | not_sevSig, | ||
poly | lm, | ||
kStrategy | strat, | ||
int | start | ||
) |
Definition at line 6648 of file kutil.cc.
Definition at line 370 of file kutil.cc.
Definition at line 8401 of file kutil.cc.
Definition at line 3209 of file kutil.cc.
Definition at line 3525 of file kutil.cc.
Definition at line 4001 of file kutil.cc.
Definition at line 3466 of file kutil.cc.
Definition at line 563 of file kutil.cc.
Definition at line 622 of file kutil.cc.
Definition at line 4438 of file kutil.cc.
Definition at line 10282 of file kutil.cc.
Definition at line 291 of file kutil.cc.
Definition at line 1213 of file kutil.cc.
Definition at line 1137 of file kutil.cc.
|
inlinestatic |
Definition at line 4237 of file kutil.cc.
Definition at line 4321 of file kutil.cc.
|
static |
Definition at line 2226 of file kutil.cc.
Definition at line 1944 of file kutil.cc.
Definition at line 1339 of file kutil.cc.
|
static |
Definition at line 11808 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 12161 of file kutil.cc.
|
static |
Definition at line 2438 of file kutil.cc.
|
static |
Definition at line 2695 of file kutil.cc.
Definition at line 3097 of file kutil.cc.
|
static |
Definition at line 12123 of file kutil.cc.
|
static |
Definition at line 12062 of file kutil.cc.
|
static |
Definition at line 1543 of file kutil.cc.
|
static |
Definition at line 12052 of file kutil.cc.
|
static |
Definition at line 11639 of file kutil.cc.
|
static |
Definition at line 1751 of file kutil.cc.
Definition at line 12945 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 4541 of file kutil.cc.
Definition at line 8791 of file kutil.cc.
Definition at line 8891 of file kutil.cc.
Definition at line 1624 of file kstd1.cc.
Definition at line 8914 of file kutil.cc.
Definition at line 9340 of file kutil.cc.
Definition at line 9140 of file kutil.cc.
Definition at line 9239 of file kutil.cc.
Definition at line 12975 of file kutil.cc.
Definition at line 10036 of file kutil.cc.
BOOLEAN faugereRewCriterion | ( | poly | sig, |
unsigned long | not_sevSig, | ||
poly | lm, | ||
kStrategy | strat, | ||
int | start = 0 |
||
) |
Definition at line 6564 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 10865 of file kutil.cc.
Definition at line 9748 of file kutil.cc.
Definition at line 9432 of file kutil.cc.
Definition at line 9577 of file kutil.cc.
Definition at line 9662 of file kutil.cc.
Definition at line 3814 of file kutil.cc.
Definition at line 12503 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 3879 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 3939 of file kutil.cc.
Definition at line 4157 of file kutil.cc.
Definition at line 12761 of file kutil.cc.
|
static |
Definition at line 4212 of file kutil.cc.
Definition at line 7588 of file kutil.cc.
Definition at line 9961 of file kutil.cc.
Definition at line 9495 of file kutil.cc.
Definition at line 9859 of file kutil.cc.
Definition at line 7681 of file kutil.cc.
Definition at line 7780 of file kutil.cc.
Definition at line 8087 of file kutil.cc.
Definition at line 8235 of file kutil.cc.
Definition at line 7932 of file kutil.cc.
Definition at line 10476 of file kutil.cc.
Output some debug info about a given strategy.
Definition at line 11497 of file kutil.cc.
TObject * kFindDivisibleByInS_T | ( | kStrategy | strat, |
int | end_pos, | ||
LObject * | L, | ||
TObject * | T, | ||
long | ecart | ||
) |
Definition at line 6699 of file kutil.cc.
Definition at line 10957 of file kutil.cc.
Definition at line 11050 of file kutil.cc.
Definition at line 1010 of file kutil.cc.
Definition at line 924 of file kutil.cc.
Definition at line 799 of file kutil.cc.
Definition at line 1071 of file kutil.cc.
Definition at line 7506 of file kutil.cc.
Definition at line 7519 of file kutil.cc.
Definition at line 10404 of file kutil.cc.
Definition at line 181 of file kutil.cc.
Definition at line 230 of file kutil.cc.
int posInLF5CRing | ( | const LSet | set, |
int | start, | ||
const int | length, | ||
LObject * | p, | ||
const kStrategy | strat | ||
) |
Definition at line 4668 of file kutil.cc.
Definition at line 4769 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 10700 of file kutil.cc.
Definition at line 10776 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 10535 of file kutil.cc.
Definition at line 8487 of file kutil.cc.
Definition at line 8384 of file kutil.cc.
Definition at line 169 of file kstd1.cc.
Definition at line 795 of file kstd1.cc.
Definition at line 6838 of file kutil.cc.
Definition at line 6914 of file kutil.cc.
poly redtailBba_NF | ( | poly | p, |
kStrategy | strat | ||
) |
Definition at line 7377 of file kutil.cc.
Definition at line 7271 of file kutil.cc.
Definition at line 7142 of file kutil.cc.
poly redtailBbaBound | ( | LObject * | L, |
int | end_pos, | ||
kStrategy | strat, | ||
int | bound, | ||
BOOLEAN | withT, | ||
BOOLEAN | normalize | ||
) |
Definition at line 7027 of file kutil.cc.
Definition at line 12998 of file kutil.cc.
Definition at line 9049 of file kutil.cc.
Definition at line 1693 of file kutil.cc.
Definition at line 11078 of file kutil.cc.
|
extern |
Definition at line 709 of file misc_ip.cc.
Definition at line 4462 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 4475 of file kutil.cc.
Definition at line 6480 of file kutil.cc.
Definition at line 6515 of file kutil.cc.
Definition at line 10076 of file kutil.cc.
Definition at line 8556 of file kutil.cc.
VAR denominator_list DENOMINATOR_LIST =NULL |
STATIC_VAR BOOLEAN sloppy_max = FALSE |