![]() |
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 6622 of file kutil.cc.
BOOLEAN arriRewCriterionPre | ( | poly | sig, |
unsigned long | not_sevSig, | ||
poly | lm, | ||
kStrategy | strat, | ||
int | start | ||
) |
Definition at line 6647 of file kutil.cc.
Definition at line 370 of file kutil.cc.
Definition at line 8401 of file kutil.cc.
Definition at line 3208 of file kutil.cc.
Definition at line 3524 of file kutil.cc.
Definition at line 4000 of file kutil.cc.
Definition at line 3465 of file kutil.cc.
Definition at line 562 of file kutil.cc.
Definition at line 621 of file kutil.cc.
Definition at line 4437 of file kutil.cc.
Definition at line 10282 of file kutil.cc.
Definition at line 291 of file kutil.cc.
Definition at line 1212 of file kutil.cc.
Definition at line 1136 of file kutil.cc.
|
inlinestatic |
Definition at line 4236 of file kutil.cc.
Definition at line 4320 of file kutil.cc.
|
static |
Definition at line 2225 of file kutil.cc.
Definition at line 1943 of file kutil.cc.
Definition at line 1338 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 2437 of file kutil.cc.
|
static |
Definition at line 2694 of file kutil.cc.
Definition at line 3096 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 1542 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 1750 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 4540 of file kutil.cc.
Definition at line 8791 of file kutil.cc.
Definition at line 8891 of file kutil.cc.
Definition at line 1621 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 6563 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 3813 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 3878 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 3938 of file kutil.cc.
Definition at line 4156 of file kutil.cc.
Definition at line 12761 of file kutil.cc.
|
static |
Definition at line 4211 of file kutil.cc.
Definition at line 7587 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 7680 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 6698 of file kutil.cc.
Definition at line 10957 of file kutil.cc.
Definition at line 11050 of file kutil.cc.
Definition at line 1009 of file kutil.cc.
Definition at line 923 of file kutil.cc.
Definition at line 798 of file kutil.cc.
Definition at line 1070 of file kutil.cc.
Definition at line 7505 of file kutil.cc.
Definition at line 7518 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 4667 of file kutil.cc.
Definition at line 4768 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 6837 of file kutil.cc.
Definition at line 6913 of file kutil.cc.
poly redtailBba_NF | ( | poly | p, |
kStrategy | strat | ||
) |
Definition at line 7376 of file kutil.cc.
Definition at line 7270 of file kutil.cc.
Definition at line 7141 of file kutil.cc.
poly redtailBbaBound | ( | LObject * | L, |
int | end_pos, | ||
kStrategy | strat, | ||
int | bound, | ||
BOOLEAN | withT, | ||
BOOLEAN | normalize | ||
) |
Definition at line 7026 of file kutil.cc.
Definition at line 12998 of file kutil.cc.
Definition at line 9049 of file kutil.cc.
Definition at line 1692 of file kutil.cc.
Definition at line 11078 of file kutil.cc.
|
extern |
Definition at line 711 of file misc_ip.cc.
Definition at line 4461 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 4474 of file kutil.cc.
Definition at line 6479 of file kutil.cc.
Definition at line 6514 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 |