![]() |
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 6618 of file kutil.cc.
| BOOLEAN arriRewCriterionPre | ( | poly | sig, |
| unsigned long | not_sevSig, | ||
| poly | lm, | ||
| kStrategy | strat, | ||
| int | start | ||
| ) |
Definition at line 6643 of file kutil.cc.
Definition at line 365 of file kutil.cc.
Definition at line 8397 of file kutil.cc.
Definition at line 3204 of file kutil.cc.
Definition at line 3520 of file kutil.cc.
Definition at line 3996 of file kutil.cc.
Definition at line 3461 of file kutil.cc.
Definition at line 557 of file kutil.cc.
Definition at line 616 of file kutil.cc.
Definition at line 4433 of file kutil.cc.
Definition at line 10280 of file kutil.cc.
Definition at line 286 of file kutil.cc.
Definition at line 1208 of file kutil.cc.
Definition at line 1132 of file kutil.cc.
|
inlinestatic |
Definition at line 4232 of file kutil.cc.
Definition at line 4316 of file kutil.cc.
|
static |
Definition at line 2221 of file kutil.cc.
Definition at line 1939 of file kutil.cc.
Definition at line 1334 of file kutil.cc.
|
static |
Definition at line 11813 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 12166 of file kutil.cc.
|
static |
Definition at line 2433 of file kutil.cc.
|
static |
Definition at line 2690 of file kutil.cc.
Definition at line 3092 of file kutil.cc.
|
static |
Definition at line 12128 of file kutil.cc.
|
static |
Definition at line 12067 of file kutil.cc.
|
static |
Definition at line 1538 of file kutil.cc.
|
static |
Definition at line 12057 of file kutil.cc.
|
static |
Definition at line 11644 of file kutil.cc.
|
static |
Definition at line 1746 of file kutil.cc.
Definition at line 12950 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 4536 of file kutil.cc.
Definition at line 8787 of file kutil.cc.
Definition at line 8887 of file kutil.cc.
Definition at line 8910 of file kutil.cc.
Definition at line 9336 of file kutil.cc.
Definition at line 9136 of file kutil.cc.
Definition at line 9235 of file kutil.cc.
Definition at line 12980 of file kutil.cc.
Definition at line 10034 of file kutil.cc.
| BOOLEAN faugereRewCriterion | ( | poly | sig, |
| unsigned long | not_sevSig, | ||
| poly | lm, | ||
| kStrategy | strat, | ||
| int | start = 0 |
||
| ) |
Definition at line 6559 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 10870 of file kutil.cc.
Definition at line 9744 of file kutil.cc.
Definition at line 9428 of file kutil.cc.
Definition at line 9573 of file kutil.cc.
Definition at line 9658 of file kutil.cc.
Definition at line 3809 of file kutil.cc.
Definition at line 12508 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 3874 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 3934 of file kutil.cc.
Definition at line 4152 of file kutil.cc.
Definition at line 12766 of file kutil.cc.
|
static |
Definition at line 4207 of file kutil.cc.
Definition at line 7583 of file kutil.cc.
Definition at line 9959 of file kutil.cc.
Definition at line 9491 of file kutil.cc.
Definition at line 9857 of file kutil.cc.
Definition at line 7676 of file kutil.cc.
Definition at line 7776 of file kutil.cc.
Definition at line 8083 of file kutil.cc.
Definition at line 8231 of file kutil.cc.
Definition at line 7928 of file kutil.cc.
Definition at line 10482 of file kutil.cc.
Output some debug info about a given strategy.
Definition at line 11501 of file kutil.cc.
| TObject * kFindDivisibleByInS_T | ( | kStrategy | strat, |
| int | end_pos, | ||
| LObject * | L, | ||
| TObject * | T, | ||
| long | ecart | ||
| ) |
Definition at line 6694 of file kutil.cc.
Definition at line 10962 of file kutil.cc.
Definition at line 11059 of file kutil.cc.
Definition at line 1004 of file kutil.cc.
Definition at line 916 of file kutil.cc.
Definition at line 789 of file kutil.cc.
Definition at line 1067 of file kutil.cc.
Definition at line 7501 of file kutil.cc.
Definition at line 7514 of file kutil.cc.
Definition at line 10402 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 4663 of file kutil.cc.
Definition at line 4764 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 10705 of file kutil.cc.
Definition at line 10781 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 10541 of file kutil.cc.
Definition at line 8483 of file kutil.cc.
Definition at line 8380 of file kutil.cc.
Definition at line 6833 of file kutil.cc.
Definition at line 6909 of file kutil.cc.
| poly redtailBba_NF | ( | poly | p, |
| kStrategy | strat | ||
| ) |
Definition at line 7372 of file kutil.cc.
Definition at line 7266 of file kutil.cc.
Definition at line 7137 of file kutil.cc.
| poly redtailBbaBound | ( | LObject * | L, |
| int | end_pos, | ||
| kStrategy | strat, | ||
| int | bound, | ||
| BOOLEAN | withT, | ||
| BOOLEAN | normalize | ||
| ) |
Definition at line 7022 of file kutil.cc.
Definition at line 13003 of file kutil.cc.
Definition at line 9045 of file kutil.cc.
Definition at line 1688 of file kutil.cc.
Definition at line 11087 of file kutil.cc.
|
extern |
Definition at line 711 of file misc_ip.cc.
Definition at line 4457 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 4470 of file kutil.cc.
Definition at line 6475 of file kutil.cc.
Definition at line 6510 of file kutil.cc.
Definition at line 10074 of file kutil.cc.
Definition at line 8552 of file kutil.cc.
| VAR denominator_list DENOMINATOR_LIST =NULL |
| STATIC_VAR BOOLEAN sloppy_max = FALSE |