![]() |
#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/ideals.h>
#include <kernel/GBEngine/kutil.h>
#include <polys/kbuckets.h>
#include <omalloc/omalloc.h>
#include <coeffs/numbers.h>
#include <kernel/polys.h>
#include <polys/monomials/ring.h>
#include <kernel/combinatorics/stairc.h>
#include <kernel/GBEngine/kstd1.h>
#include <polys/operations/pShallowCopyDelete.h>
#include <kernel/GBEngine/shiftgb.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 | REDTAIL_CANONICALIZE 100 |
Functions | |
static poly | redMora (poly h, int maxIndex, kStrategy strat) |
static poly | redBba (poly h, int maxIndex, kStrategy strat) |
static int | pDivCompRing (poly p, poly q) |
static int | pDivComp (poly p, poly q) |
void | deleteHC (LObject *L, kStrategy strat, BOOLEAN fromNext) |
void | deleteHC (poly *p, int *e, int *l, kStrategy strat) |
void | cancelunit (LObject *L, BOOLEAN inNF) |
void | HEckeTest (poly pp, kStrategy strat) |
static intset | initec (const int maxnr) |
static unsigned long * | initsevS (const int maxnr) |
static int * | initS_2_R (const int maxnr) |
static void | enlargeT (TSet &T, TObject **&R, unsigned long *&sevT, int &length, const int incr) |
void | cleanT (kStrategy strat) |
void | cleanTSbaRing (kStrategy strat) |
static void | enlargeL (LSet *L, int *length, const int incr) |
void | initPairtest (kStrategy strat) |
BOOLEAN | isInPairsetL (int length, poly p1, poly p2, int *k, kStrategy strat) |
BOOLEAN | isInPairsetB (poly q, int *k, kStrategy strat) |
int | kFindInT (poly p, TSet T, int tlength) |
returns index of p in TSet, or -1 if not found More... | |
int | kFindInT (poly p, kStrategy strat) |
void | deleteInS (int i, kStrategy strat) |
void | deleteInSSba (int i, kStrategy strat) |
void | deleteInL (LSet set, int *length, int j, kStrategy strat) |
void | enterL (LSet *set, int *length, int *LSetmax, LObject p, int at) |
void | initEcartNormal (TObject *h) |
void | initEcartBBA (TObject *h) |
void | initEcartPairBba (LObject *Lp, poly, poly, int, int) |
void | initEcartPairMora (LObject *Lp, poly, poly, int ecartF, int ecartG) |
static BOOLEAN | sugarDivisibleBy (int ecart1, int ecart2) |
void | enterOnePairRing (int i, poly p, int ecart, int isFromQ, kStrategy strat, int atR=-1) |
BOOLEAN | enterOneStrongPoly (int i, poly p, int, int, kStrategy strat, int atR, bool enterTstrong) |
BOOLEAN | sbaCheckGcdPair (LObject *h, kStrategy strat) |
BOOLEAN | enterOneStrongPolySig (int i, poly p, poly sig, int, int, kStrategy strat, int atR) |
void | enterOnePairNormal (int i, poly p, int ecart, int isFromQ, kStrategy strat, int atR=-1) |
static BOOLEAN | p_HasNotCF_Lift (poly p1, poly p2, const ring r) |
p_HasNotCF for the IDLIFT case: ignore component More... | |
void | enterOnePairLift (int i, poly p, int ecart, int isFromQ, kStrategy strat, int atR=-1) |
void | enterOnePairSig (int i, poly p, poly pSig, int, int ecart, int isFromQ, kStrategy strat, int atR=-1) |
void | enterOnePairSigRing (int i, poly p, poly pSig, int, int ecart, int isFromQ, kStrategy strat, int atR=-1) |
void | enterOnePairSpecial (int i, poly p, int ecart, kStrategy strat, int atR=-1) |
void | kMergeBintoL (kStrategy strat) |
void | kMergeBintoLSba (kStrategy strat) |
void | chainCritNormal (poly p, int ecart, kStrategy strat) |
void | chainCritOpt_1 (poly, int, kStrategy strat) |
void | chainCritSig (poly p, int, kStrategy strat) |
void | chainCritPart (poly p, int ecart, kStrategy strat) |
void | initenterpairs (poly h, int k, int ecart, int isFromQ, kStrategy strat, int atR=-1) |
void | initenterpairsSig (poly h, poly hSig, int hFrom, int k, int ecart, int isFromQ, kStrategy strat, int atR=-1) |
void | initenterpairsSigRing (poly h, poly hSig, int hFrom, int k, int ecart, int isFromQ, kStrategy strat, int atR=-1) |
void | chainCritRing (poly p, int, kStrategy strat) |
long | ind2 (long arg) |
long | ind_fact_2 (long arg) |
long | twoPow (long arg) |
void | enterOneZeroPairRing (poly f, poly t_p, poly p, int ecart, kStrategy strat, int atR=-1) |
int | nextZeroSimplexExponent (long exp[], long ind[], long cexp[], long cind[], long *cabsind, long step[], long bound, long N) |
poly | kCreateZeroPoly (long exp[], long cabsind, poly *t_p, ring leadRing, ring tailRing) |
void | initenterzeropairsRing (poly p, int ecart, kStrategy strat, int atR) |
ideal | createG0 () |
void | initenterstrongPairs (poly h, int k, int ecart, int isFromQ, kStrategy strat, int atR=-1) |
void | initenterstrongPairsSig (poly h, poly hSig, int hFrom, int k, int ecart, int isFromQ, kStrategy strat, int atR=-1) |
void | enterExtendedSpoly (poly h, kStrategy strat) |
void | enterExtendedSpolySig (poly h, poly hSig, kStrategy strat) |
void | clearSbatch (poly h, int k, int pos, kStrategy strat) |
void | superenterpairs (poly h, int k, int ecart, int pos, kStrategy strat, int atR) |
void | superenterpairsSig (poly h, poly hSig, int hFrom, int k, int ecart, int pos, kStrategy strat, int atR) |
void | enterpairs (poly h, int k, int ecart, int pos, kStrategy strat, int atR) |
void | enterpairsSig (poly h, poly hSig, int hFrom, int k, int ecart, int pos, kStrategy strat, int atR) |
void | enterpairsSpecial (poly h, int k, int ecart, int pos, kStrategy strat, int atR=-1) |
void | reorderS (int *suc, kStrategy strat) |
int | posInS (const kStrategy strat, const int length, const poly p, const int ecart_p) |
int | posInSMonFirst (const kStrategy strat, const int length, const poly p, const int ecart_p) |
int | posInIdealMonFirst (const ideal F, const poly p, int start, int end) |
int | posInT0 (const TSet, const int length, LObject &) |
int | posInT1 (const TSet set, const int length, LObject &p) |
int | posInT2 (const TSet set, const int length, LObject &p) |
int | posInT11 (const TSet set, const int length, LObject &p) |
int | posInT11Ring (const TSet set, const int length, LObject &p) |
int | posInTrg0 (const TSet set, const int length, LObject &p) |
int | posInT110 (const TSet set, const int length, LObject &p) |
int | posInT110Ring (const TSet set, const int length, LObject &p) |
int | posInT13 (const TSet set, const int length, LObject &p) |
int | posInT_EcartpLength (const TSet set, const int length, LObject &p) |
int | posInT15 (const TSet set, const int length, LObject &p) |
int | posInT15Ring (const TSet set, const int length, LObject &p) |
int | posInT17 (const TSet set, const int length, LObject &p) |
int | posInT17Ring (const TSet set, const int length, LObject &p) |
int | posInT17_c (const TSet set, const int length, LObject &p) |
int | posInT17_cRing (const TSet set, const int length, LObject &p) |
int | posInT19 (const TSet set, const int length, LObject &p) |
int | posInLSpecial (const LSet set, const int length, LObject *p, const kStrategy) |
int | posInL0 (const LSet set, const int length, LObject *p, const kStrategy) |
int | posInL0Ring (const LSet set, const int length, LObject *p, const kStrategy) |
int | posInLSig (const LSet set, const int length, LObject *p, const kStrategy) |
int | posInLSigRing (const LSet set, const int length, LObject *p, const kStrategy) |
int | posInLRing (const LSet set, const int length, LObject *p, const kStrategy) |
int | posInSyz (const kStrategy strat, poly sig) |
int | posInLF5C (const LSet, const int, LObject *, const kStrategy strat) |
int | posInL11 (const LSet set, const int length, LObject *p, const kStrategy) |
int | posInL11Ring (const LSet set, const int length, LObject *p, const kStrategy strat) |
int | posInLF5CRing (const LSet set, int start, const int length, LObject *p, const kStrategy strat) |
int | posInL11Ringls (const LSet set, const int length, LObject *p, const kStrategy strat) |
int | getIndexRng (long coeff) |
int | posInLrg0 (const LSet set, const int length, LObject *p, const kStrategy) |
int | posInL110 (const LSet set, const int length, LObject *p, const kStrategy) |
int | posInL110Ring (const LSet set, const int length, LObject *p, const kStrategy) |
int | posInL13 (const LSet set, const int length, LObject *p, const kStrategy) |
int | posInL15 (const LSet set, const int length, LObject *p, const kStrategy) |
int | posInL15Ring (const LSet set, const int length, LObject *p, const kStrategy) |
int | posInL17 (const LSet set, const int length, LObject *p, const kStrategy) |
int | posInL17Ring (const LSet set, const int length, LObject *p, const kStrategy) |
int | posInL17_c (const LSet set, const int length, LObject *p, const kStrategy) |
int | posInL17_cRing (const LSet set, const int length, LObject *p, const kStrategy) |
BOOLEAN | syzCriterion (poly sig, unsigned long not_sevSig, kStrategy strat) |
BOOLEAN | syzCriterionInc (poly sig, unsigned long not_sevSig, kStrategy strat) |
BOOLEAN | faugereRewCriterion (poly sig, unsigned long not_sevSig, poly, kStrategy strat, int start=0) |
BOOLEAN | arriRewCriterion (poly, unsigned long, poly, kStrategy strat, int start=0) |
BOOLEAN | arriRewCriterionPre (poly sig, unsigned long not_sevSig, poly lm, kStrategy strat, int) |
TObject * | kFindDivisibleByInS (kStrategy strat, int pos, LObject *L, TObject *T, long ecart) |
poly | redtail (LObject *L, int pos, kStrategy strat) |
poly | redtail (poly p, int pos, kStrategy strat) |
poly | redtailBba (LObject *L, int pos, kStrategy strat, BOOLEAN withT, BOOLEAN normalize) |
poly | redtailBba_Z (LObject *L, int pos, kStrategy strat) |
void | message (int i, int *reduc, int *olddeg, kStrategy strat, int red_result) |
void | messageStat (int hilbcount, kStrategy strat) |
void | messageStatSBA (int hilbcount, kStrategy strat) |
void | initS (ideal F, ideal Q, kStrategy strat) |
void | initSL (ideal F, ideal Q, kStrategy strat) |
void | initSLSba (ideal F, ideal Q, kStrategy strat) |
void | initSyzRules (kStrategy strat) |
void | initSSpecial (ideal F, ideal Q, ideal P, kStrategy strat) |
void | initSSpecialSba (ideal F, ideal Q, ideal P, kStrategy strat) |
static poly | redBba1 (poly h, int maxIndex, kStrategy strat) |
void | cancelunit1 (LObject *p, int *suc, int index, kStrategy strat) |
void | updateS (BOOLEAN toT, kStrategy strat) |
void | enterSBba (LObject &p, int atS, kStrategy strat, int atR) |
void | enterSSba (LObject &p, int atS, kStrategy strat, int atR) |
void | enterT (LObject &p, kStrategy strat, int atT) |
void | enterT_strong (LObject &p, kStrategy strat, int atT) |
void | enterSyz (LObject &p, kStrategy strat, int atT) |
void | initHilbCrit (ideal, ideal, intvec **hilb, kStrategy strat) |
void | initBuchMoraCrit (kStrategy strat) |
void | initSbaCrit (kStrategy strat) |
BOOLEAN | kPosInLDependsOnLength (int(*pos_in_l)(const LSet set, const int length, LObject *L, const kStrategy strat)) |
void | initBuchMoraPos (kStrategy strat) |
void | initBuchMoraPosRing (kStrategy strat) |
void | initBuchMora (ideal F, ideal Q, kStrategy strat) |
void | exitBuchMora (kStrategy strat) |
void | initSbaPos (kStrategy strat) |
void | initSbaBuchMora (ideal F, ideal Q, kStrategy strat) |
void | exitSba (kStrategy strat) |
void | updateResult (ideal r, ideal Q, kStrategy strat) |
void | completeReduce (kStrategy strat, BOOLEAN withT) |
BOOLEAN | newHEdge (kStrategy strat) |
BOOLEAN | kCheckSpolyCreation (LObject *L, kStrategy strat, poly &m1, poly &m2) |
BOOLEAN | kCheckStrongCreation (int atR, poly m1, int atS, poly m2, kStrategy strat) |
poly | preIntegerCheck (const ideal Forig, const ideal Q) |
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 More... | |
void | postReduceByMon (LObject *h, kStrategy strat) |
used for GB over ZZ: intermediate reduction by monomial elements background: any known constant element of ideal suppresses intermediate coefficient swell More... | |
void | postReduceByMonSig (LObject *h, kStrategy strat) |
void | finalReduceByMon (kStrategy strat) |
used for GB over ZZ: final reduction by constant elements background: any known constant element of ideal suppresses intermediate coefficient swell and beautifies output More... | |
BOOLEAN | kStratChangeTailRing (kStrategy strat, LObject *L, TObject *T, unsigned long expbound) |
void | kStratInitChangeTailRing (kStrategy strat) |
ring | sbaRing (kStrategy strat, const ring r, BOOLEAN, int) |
int | posInT_EcartFDegpLength (const TSet set, const int length, LObject &p) |
int | posInT_FDegpLength (const TSet set, const int length, LObject &p) |
int | posInT_pLength (const TSet set, const int length, LObject &p) |
int | redFirst (LObject *h, kStrategy strat) |
int | redEcart (LObject *h, kStrategy strat) |
void | enterSMora (LObject &p, int atS, kStrategy strat, int atR=-1) |
void | enterSMoraNF (LObject &p, int atS, kStrategy strat, int atR=-1) |
char * | showOption () |
void | kDebugPrint (kStrategy strat) |
Output some debug info about a given strategy. More... | |
poly | pMove2CurrTail (poly p, kStrategy strat) |
poly | pMoveCurrTail2poly (poly p, kStrategy strat) |
poly | pCopyL2p (LObject H, kStrategy strat) |
void | updateSShift (kStrategy strat, int uptodeg, int lV) |
void | initBuchMoraShift (ideal F, ideal Q, kStrategy strat) |
void | enterOnePairManyShifts (int i, poly p, int ecart, int isFromQ, kStrategy strat, int, int uptodeg, int lV) |
void | enterOnePairSelfShifts (poly qq, poly p, int ecart, int isFromQ, kStrategy strat, int, int uptodeg, int lV) |
void | enterOnePairShift (poly q, poly p, int ecart, int isFromQ, kStrategy strat, int atR, int ecartq, int qisFromQ, int shiftcount, int ifromS, int, int lV) |
void | enterpairsShift (poly h, int k, int ecart, int pos, kStrategy strat, int atR, int uptodeg, int lV) |
void | initenterpairsShift (poly h, int k, int ecart, int isFromQ, kStrategy strat, int atR, int uptodeg, int lV) |
void | enterTShift (LObject p, kStrategy strat, int atT, int uptodeg, int lV) |
poly | redtailBbaShift (LObject *L, int pos, kStrategy strat, BOOLEAN withT, BOOLEAN normalize) |
Variables | |
denominator_list | DENOMINATOR_LIST =NULL |
int | HCord |
int | Kstd1_deg |
int | Kstd1_mu =32000 |
#define REDTAIL_CANONICALIZE 100 |
Definition at line 7275 of file kutil.cc.
Definition at line 7306 of file kutil.cc.
Definition at line 332 of file kutil.cc.
Definition at line 8738 of file kutil.cc.
Definition at line 3250 of file kutil.cc.
Definition at line 3538 of file kutil.cc.
Definition at line 4024 of file kutil.cc.
Definition at line 3479 of file kutil.cc.
void cleanT | ( | kStrategy | strat | ) |
Definition at line 552 of file kutil.cc.
void cleanTSbaRing | ( | kStrategy | strat | ) |
Definition at line 603 of file kutil.cc.
Definition at line 4873 of file kutil.cc.
Definition at line 10508 of file kutil.cc.
ideal createG0 | ( | ) |
Definition at line 4545 of file kutil.cc.
Definition at line 243 of file kutil.cc.
Definition at line 318 of file kutil.cc.
Definition at line 1148 of file kutil.cc.
|
inlinestatic |
Definition at line 4660 of file kutil.cc.
Definition at line 4743 of file kutil.cc.
Definition at line 2217 of file kutil.cc.
void enterOnePairManyShifts | ( | int | i, |
poly | p, | ||
int | ecart, | ||
int | isFromQ, | ||
kStrategy | strat, | ||
int | , | ||
int | uptodeg, | ||
int | lV | ||
) |
Definition at line 12059 of file kutil.cc.
Definition at line 1934 of file kutil.cc.
Definition at line 1276 of file kutil.cc.
void enterOnePairSelfShifts | ( | poly | qq, |
poly | p, | ||
int | ecart, | ||
int | isFromQ, | ||
kStrategy | strat, | ||
int | , | ||
int | uptodeg, | ||
int | lV | ||
) |
Definition at line 12134 of file kutil.cc.
void enterOnePairShift | ( | poly | q, |
poly | p, | ||
int | ecart, | ||
int | isFromQ, | ||
kStrategy | strat, | ||
int | atR, | ||
int | ecartq, | ||
int | qisFromQ, | ||
int | shiftcount, | ||
int | ifromS, | ||
int | , | ||
int | lV | ||
) |
Definition at line 12197 of file kutil.cc.
void enterOnePairSig | ( | int | i, |
poly | p, | ||
poly | pSig, | ||
int | , | ||
int | ecart, | ||
int | isFromQ, | ||
kStrategy | strat, | ||
int | atR = -1 |
||
) |
Definition at line 2433 of file kutil.cc.
void enterOnePairSigRing | ( | int | i, |
poly | p, | ||
poly | pSig, | ||
int | , | ||
int | ecart, | ||
int | isFromQ, | ||
kStrategy | strat, | ||
int | atR = -1 |
||
) |
Definition at line 2690 of file kutil.cc.
Definition at line 3136 of file kutil.cc.
BOOLEAN enterOneStrongPoly | ( | int | i, |
poly | p, | ||
int | , | ||
int | , | ||
kStrategy | strat, | ||
int | atR, | ||
bool | enterTstrong | ||
) |
Definition at line 1513 of file kutil.cc.
Definition at line 1708 of file kutil.cc.
Definition at line 4232 of file kutil.cc.
Definition at line 4936 of file kutil.cc.
void enterpairsShift | ( | poly | h, |
int | k, | ||
int | ecart, | ||
int | pos, | ||
kStrategy | strat, | ||
int | atR, | ||
int | uptodeg, | ||
int | lV | ||
) |
Definition at line 12491 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 4962 of file kutil.cc.
Definition at line 4985 of file kutil.cc.
Definition at line 9124 of file kutil.cc.
Definition at line 1362 of file kstd1.cc.
Definition at line 9226 of file kutil.cc.
Definition at line 9561 of file kutil.cc.
Definition at line 9364 of file kutil.cc.
Definition at line 9449 of file kutil.cc.
void exitSba | ( | kStrategy | strat | ) |
Definition at line 10256 of file kutil.cc.
BOOLEAN faugereRewCriterion | ( | poly | sig, |
unsigned long | not_sevSig, | ||
poly | , | ||
kStrategy | strat, | ||
int | start = 0 |
||
) |
Definition at line 7213 of file kutil.cc.
void finalReduceByMon | ( | kStrategy | strat | ) |
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 11080 of file kutil.cc.
|
inline |
Definition at line 482 of file kutil.cc.
void initBuchMora | ( | ideal | F, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 9987 of file kutil.cc.
void initBuchMoraCrit | ( | kStrategy | strat | ) |
Definition at line 9663 of file kutil.cc.
void initBuchMoraPos | ( | kStrategy | strat | ) |
Definition at line 9814 of file kutil.cc.
void initBuchMoraPosRing | ( | kStrategy | strat | ) |
Definition at line 9900 of file kutil.cc.
void initBuchMoraShift | ( | ideal | F, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 11980 of file kutil.cc.
void initEcartBBA | ( | TObject * | h | ) |
void initEcartNormal | ( | TObject * | h | ) |
Definition at line 1256 of file kutil.cc.
Definition at line 3827 of file kutil.cc.
void initenterpairsShift | ( | poly | h, |
int | k, | ||
int | ecart, | ||
int | isFromQ, | ||
kStrategy | strat, | ||
int | atR, | ||
int | uptodeg, | ||
int | lV | ||
) |
Definition at line 12523 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 3897 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 3957 of file kutil.cc.
Definition at line 4611 of file kutil.cc.
void initenterstrongPairsSig | ( | poly | h, |
poly | hSig, | ||
int | hFrom, | ||
int | k, | ||
int | ecart, | ||
int | isFromQ, | ||
kStrategy | strat, | ||
int | atR = -1 |
||
) |
Definition at line 4633 of file kutil.cc.
Definition at line 4479 of file kutil.cc.
Definition at line 9645 of file kutil.cc.
void initS | ( | ideal | F, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 7928 of file kutil.cc.
void initSbaBuchMora | ( | ideal | F, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 10183 of file kutil.cc.
void initSbaCrit | ( | kStrategy | strat | ) |
Definition at line 9727 of file kutil.cc.
void initSbaPos | ( | kStrategy | strat | ) |
Definition at line 10081 of file kutil.cc.
|
inlinestatic |
void initSL | ( | ideal | F, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 8024 of file kutil.cc.
void initSLSba | ( | ideal | F, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 8123 of file kutil.cc.
void initSSpecial | ( | ideal | F, |
ideal | Q, | ||
ideal | P, | ||
kStrategy | strat | ||
) |
Definition at line 8430 of file kutil.cc.
void initSSpecialSba | ( | ideal | F, |
ideal | Q, | ||
ideal | P, | ||
kStrategy | strat | ||
) |
Definition at line 8575 of file kutil.cc.
void initSyzRules | ( | kStrategy | strat | ) |
Definition at line 8275 of file kutil.cc.
Definition at line 10697 of file kutil.cc.
Definition at line 10735 of file kutil.cc.
Definition at line 4416 of file kutil.cc.
void kDebugPrint | ( | kStrategy | strat | ) |
Output some debug info about a given strategy.
Definition at line 11692 of file kutil.cc.
Definition at line 7369 of file kutil.cc.
Definition at line 728 of file kutil.cc.
void kMergeBintoL | ( | kStrategy | strat | ) |
Definition at line 3204 of file kutil.cc.
void kMergeBintoLSba | ( | kStrategy | strat | ) |
Definition at line 3227 of file kutil.cc.
BOOLEAN kPosInLDependsOnLength | ( | int(*)(const LSet set, const int length, LObject *L, const kStrategy strat) | pos_in_l | ) |
Definition at line 9798 of file kutil.cc.
Definition at line 11146 of file kutil.cc.
void kStratInitChangeTailRing | ( | kStrategy | strat | ) |
Definition at line 11245 of file kutil.cc.
void message | ( | int | i, |
int * | reduc, | ||
int * | olddeg, | ||
kStrategy | strat, | ||
int | red_result | ||
) |
Definition at line 10631 of file kutil.cc.
int nextZeroSimplexExponent | ( | long | exp[], |
long | ind[], | ||
long | cexp[], | ||
long | cind[], | ||
long * | cabsind, | ||
long | step[], | ||
long | bound, | ||
long | N | ||
) |
p_HasNotCF for the IDLIFT case: ignore component
Definition at line 2200 of file kutil.cc.
Definition at line 11859 of file kutil.cc.
Definition at line 187 of file kutil.cc.
Definition at line 149 of file kutil.cc.
Definition at line 11828 of file kutil.cc.
Definition at line 11842 of file kutil.cc.
Definition at line 5291 of file kutil.cc.
Definition at line 6143 of file kutil.cc.
Definition at line 6401 of file kutil.cc.
Definition at line 6699 of file kutil.cc.
Definition at line 6513 of file kutil.cc.
Definition at line 6822 of file kutil.cc.
Definition at line 6898 of file kutil.cc.
Definition at line 6992 of file kutil.cc.
Definition at line 7056 of file kutil.cc.
int posInLF5CRing | ( | const LSet | set, |
int | start, | ||
const int | length, | ||
LObject * | p, | ||
const kStrategy | strat | ||
) |
Definition at line 6615 of file kutil.cc.
Definition at line 6201 of file kutil.cc.
Definition at line 6225 of file kutil.cc.
Definition at line 6100 of file kutil.cc.
Definition at line 5112 of file kutil.cc.
Definition at line 5213 of file kutil.cc.
Definition at line 6361 of file kutil.cc.
Definition at line 5346 of file kutil.cc.
Definition at line 5404 of file kutil.cc.
Definition at line 5557 of file kutil.cc.
Definition at line 5714 of file kutil.cc.
Definition at line 5809 of file kutil.cc.
Definition at line 5916 of file kutil.cc.
Definition at line 5977 of file kutil.cc.
Definition at line 5481 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 10926 of file kutil.cc.
Definition at line 10991 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 10758 of file kutil.cc.
Definition at line 8826 of file kutil.cc.
Definition at line 8721 of file kutil.cc.
Definition at line 172 of file kstd1.cc.
Definition at line 601 of file kstd1.cc.
Definition at line 8850 of file kutil.cc.
Definition at line 7507 of file kutil.cc.
Definition at line 7577 of file kutil.cc.
Definition at line 7583 of file kutil.cc.
Definition at line 7692 of file kutil.cc.
Definition at line 12639 of file kutil.cc.
void reorderS | ( | int * | suc, |
kStrategy | strat | ||
) |
Definition at line 5059 of file kutil.cc.
Definition at line 1645 of file kutil.cc.
Definition at line 11272 of file kutil.cc.
char* showOption | ( | ) |
Definition at line 717 of file misc_ip.cc.
|
inlinestatic |
Definition at line 4899 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 4909 of file kutil.cc.
Definition at line 7123 of file kutil.cc.
Definition at line 7161 of file kutil.cc.
long twoPow | ( | long | arg | ) |
void updateResult | ( | ideal | r, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 10296 of file kutil.cc.
Definition at line 8895 of file kutil.cc.
void updateSShift | ( | kStrategy | strat, |
int | uptodeg, | ||
int | lV | ||
) |
Definition at line 11952 of file kutil.cc.
denominator_list DENOMINATOR_LIST =NULL |