![]() |
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 6663 of file kutil.cc.
BOOLEAN arriRewCriterionPre | ( | poly | sig, |
unsigned long | not_sevSig, | ||
poly | lm, | ||
kStrategy | strat, | ||
int | start ) |
Definition at line 6688 of file kutil.cc.
Definition at line 372 of file kutil.cc.
Definition at line 8436 of file kutil.cc.
Definition at line 3216 of file kutil.cc.
Definition at line 3532 of file kutil.cc.
Definition at line 4008 of file kutil.cc.
Definition at line 3473 of file kutil.cc.
Definition at line 564 of file kutil.cc.
Definition at line 623 of file kutil.cc.
Definition at line 4451 of file kutil.cc.
Definition at line 10339 of file kutil.cc.
Definition at line 293 of file kutil.cc.
Definition at line 1214 of file kutil.cc.
Definition at line 1138 of file kutil.cc.
|
inlinestatic |
Definition at line 4248 of file kutil.cc.
Definition at line 4332 of file kutil.cc.
|
static |
Definition at line 2233 of file kutil.cc.
Definition at line 1951 of file kutil.cc.
Definition at line 1345 of file kutil.cc.
|
static |
Definition at line 11874 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 12233 of file kutil.cc.
|
static |
Definition at line 2445 of file kutil.cc.
|
static |
Definition at line 2702 of file kutil.cc.
Definition at line 3104 of file kutil.cc.
|
static |
Definition at line 12193 of file kutil.cc.
|
static |
Definition at line 12128 of file kutil.cc.
|
static |
Definition at line 1549 of file kutil.cc.
|
static |
Definition at line 12118 of file kutil.cc.
|
static |
Definition at line 11705 of file kutil.cc.
|
static |
Definition at line 1757 of file kutil.cc.
Definition at line 13027 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 4557 of file kutil.cc.
Definition at line 8828 of file kutil.cc.
Definition at line 8928 of file kutil.cc.
Definition at line 1628 of file kstd1.cc.
Definition at line 8951 of file kutil.cc.
Definition at line 9379 of file kutil.cc.
Definition at line 9177 of file kutil.cc.
Definition at line 9277 of file kutil.cc.
Definition at line 13057 of file kutil.cc.
Definition at line 10087 of file kutil.cc.
BOOLEAN faugereRewCriterion | ( | poly | sig, |
unsigned long | not_sevSig, | ||
poly | lm, | ||
kStrategy | strat, | ||
int | start = 0 ) |
Definition at line 6604 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 10927 of file kutil.cc.
Definition at line 9799 of file kutil.cc.
Definition at line 9475 of file kutil.cc.
Definition at line 9626 of file kutil.cc.
Definition at line 9712 of file kutil.cc.
Definition at line 3821 of file kutil.cc.
Definition at line 12575 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 3886 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 3946 of file kutil.cc.
Definition at line 4166 of file kutil.cc.
Definition at line 12843 of file kutil.cc.
|
static |
Definition at line 4221 of file kutil.cc.
Definition at line 7634 of file kutil.cc.
Definition at line 10012 of file kutil.cc.
Definition at line 9540 of file kutil.cc.
Definition at line 9910 of file kutil.cc.
Definition at line 7728 of file kutil.cc.
Definition at line 7825 of file kutil.cc.
Definition at line 8130 of file kutil.cc.
Definition at line 8274 of file kutil.cc.
Definition at line 7975 of file kutil.cc.
Definition at line 10533 of file kutil.cc.
Output some debug info about a given strategy.
Definition at line 11559 of file kutil.cc.
TObject * kFindDivisibleByInS_T | ( | kStrategy | strat, |
int | end_pos, | ||
LObject * | L, | ||
TObject * | T, | ||
long | ecart ) |
Definition at line 6739 of file kutil.cc.
Definition at line 11020 of file kutil.cc.
Definition at line 11113 of file kutil.cc.
Definition at line 1011 of file kutil.cc.
Definition at line 925 of file kutil.cc.
Definition at line 800 of file kutil.cc.
Definition at line 1072 of file kutil.cc.
Definition at line 7552 of file kutil.cc.
Definition at line 7565 of file kutil.cc.
Definition at line 10461 of file kutil.cc.
Definition at line 183 of file kutil.cc.
Definition at line 232 of file kutil.cc.
int posInLF5CRing | ( | const LSet | set, |
int | start, | ||
const int | length, | ||
LObject * | p, | ||
const kStrategy | strat ) |
Definition at line 4684 of file kutil.cc.
Definition at line 4785 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 10762 of file kutil.cc.
Definition at line 10838 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 10595 of file kutil.cc.
Definition at line 8524 of file kutil.cc.
Definition at line 8419 of file kutil.cc.
Definition at line 169 of file kstd1.cc.
Definition at line 797 of file kstd1.cc.
Definition at line 6882 of file kutil.cc.
Definition at line 6958 of file kutil.cc.
poly redtailBba_NF | ( | poly | p, |
kStrategy | strat ) |
Definition at line 7422 of file kutil.cc.
Definition at line 7316 of file kutil.cc.
Definition at line 7187 of file kutil.cc.
poly redtailBbaBound | ( | LObject * | L, |
int | end_pos, | ||
kStrategy | strat, | ||
int | bound, | ||
BOOLEAN | withT, | ||
BOOLEAN | normalize ) |
Definition at line 7071 of file kutil.cc.
Definition at line 13080 of file kutil.cc.
Definition at line 9086 of file kutil.cc.
Definition at line 1699 of file kutil.cc.
Definition at line 11141 of file kutil.cc.
|
extern |
Definition at line 709 of file misc_ip.cc.
Definition at line 4477 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 4490 of file kutil.cc.
Definition at line 6520 of file kutil.cc.
Definition at line 6555 of file kutil.cc.
Definition at line 10127 of file kutil.cc.
Definition at line 8593 of file kutil.cc.
VAR denominator_list DENOMINATOR_LIST =NULL |
STATIC_VAR BOOLEAN sloppy_max = FALSE |