![]() |
My Project
UNKNOWN_GIT_VERSION
|
#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) |
static void | enterOnePairRing (int i, poly p, int, int isFromQ, kStrategy strat, int atR) |
static BOOLEAN | enterOneStrongPoly (int i, poly p, int, int, kStrategy strat, int atR, bool enterTstrong) |
BOOLEAN | sbaCheckGcdPair (LObject *h, kStrategy strat) |
static 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... | |
static void | enterOnePairLift (int i, poly p, int ecart, int isFromQ, kStrategy strat, int atR=-1) |
static void | enterOnePairSig (int i, poly p, poly pSig, int, int ecart, int isFromQ, kStrategy strat, int atR=-1) |
static 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) |
static void | initenterstrongPairsSig (poly h, poly hSig, 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) |
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) |
int | posInLF5CRing (const LSet set, int start, const int length, LObject *p, const kStrategy) |
int | posInL11Ringls (const LSet set, const int length, LObject *p, const kStrategy) |
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_T (kStrategy strat, int end_pos, LObject *L, TObject *T, long ecart) |
poly | redtail (LObject *L, int end_pos, kStrategy strat) |
poly | redtail (poly p, int end_pos, kStrategy strat) |
poly | redtailBba (LObject *L, int end_pos, kStrategy strat, BOOLEAN withT, BOOLEAN normalize) |
poly | redtailBbaBound (LObject *L, int end_pos, kStrategy strat, int bound, BOOLEAN withT, BOOLEAN normalize) |
poly | redtailBba_Z (LObject *L, int end_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) |
static void | enterOnePairManyShifts (int i, poly p, int ecart, int isFromQ, kStrategy strat, int atR, 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 | initenterpairsShift (poly h, int k, int ecart, int isFromQ, kStrategy strat, int atR, int uptodeg, int lV) |
void | enterpairsShift (poly h, int k, int ecart, int pos, 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 7104 of file kutil.cc.
Definition at line 7129 of file kutil.cc.
Definition at line 332 of file kutil.cc.
Definition at line 8666 of file kutil.cc.
void chainCritNormal | ( | poly | p, |
int | ecart, | ||
kStrategy | strat | ||
) |
Definition at line 3140 of file kutil.cc.
void chainCritPart | ( | poly | p, |
int | ecart, | ||
kStrategy | strat | ||
) |
Definition at line 3428 of file kutil.cc.
void chainCritRing | ( | poly | p, |
int | , | ||
kStrategy | strat | ||
) |
Definition at line 3905 of file kutil.cc.
void chainCritSig | ( | poly | p, |
int | , | ||
kStrategy | strat | ||
) |
Definition at line 3369 of file kutil.cc.
void cleanT | ( | kStrategy | strat | ) |
Definition at line 537 of file kutil.cc.
void cleanTSbaRing | ( | kStrategy | strat | ) |
Definition at line 590 of file kutil.cc.
void clearSbatch | ( | poly | h, |
int | k, | ||
int | pos, | ||
kStrategy | strat | ||
) |
Definition at line 4721 of file kutil.cc.
Definition at line 10415 of file kutil.cc.
ideal createG0 | ( | ) |
Definition at line 4405 of file kutil.cc.
Definition at line 243 of file kutil.cc.
void deleteHC | ( | poly * | p, |
int * | e, | ||
int * | l, | ||
kStrategy | strat | ||
) |
Definition at line 318 of file kutil.cc.
Definition at line 1176 of file kutil.cc.
|
inlinestatic |
void enterExtendedSpoly | ( | poly | h, |
kStrategy | strat | ||
) |
Definition at line 4520 of file kutil.cc.
void enterExtendedSpolySig | ( | poly | h, |
poly | hSig, | ||
kStrategy | strat | ||
) |
Definition at line 4603 of file kutil.cc.
|
static |
Definition at line 2158 of file kutil.cc.
|
static |
Definition at line 11986 of file kutil.cc.
void enterOnePairNormal | ( | int | i, |
poly | p, | ||
int | ecart, | ||
int | isFromQ, | ||
kStrategy | strat, | ||
int | atR = -1 |
||
) |
Definition at line 1877 of file kutil.cc.
|
static |
Definition at line 1299 of file kutil.cc.
void enterOnePairSelfShifts | ( | poly | qq, |
poly | p, | ||
int | ecart, | ||
int | isFromQ, | ||
kStrategy | strat, | ||
int | , | ||
int | uptodeg, | ||
int | lV | ||
) |
Definition at line 12062 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 12125 of file kutil.cc.
|
static |
Definition at line 2370 of file kutil.cc.
|
static |
Definition at line 2627 of file kutil.cc.
void enterOnePairSpecial | ( | int | i, |
poly | p, | ||
int | ecart, | ||
kStrategy | strat, | ||
int | atR = -1 |
||
) |
Definition at line 3029 of file kutil.cc.
|
static |
Definition at line 1496 of file kutil.cc.
|
static |
Definition at line 1682 of file kutil.cc.
void enterOneZeroPairRing | ( | poly | f, |
poly | t_p, | ||
poly | p, | ||
int | ecart, | ||
kStrategy | strat, | ||
int | atR = -1 |
||
) |
Definition at line 4095 of file kutil.cc.
void enterpairs | ( | poly | h, |
int | k, | ||
int | ecart, | ||
int | pos, | ||
kStrategy | strat, | ||
int | atR | ||
) |
Definition at line 4775 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 12492 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 4801 of file kutil.cc.
void enterpairsSpecial | ( | poly | h, |
int | k, | ||
int | ecart, | ||
int | pos, | ||
kStrategy | strat, | ||
int | atR = -1 |
||
) |
Definition at line 4824 of file kutil.cc.
Definition at line 9050 of file kutil.cc.
Definition at line 1272 of file kstd1.cc.
Definition at line 9153 of file kutil.cc.
Definition at line 9474 of file kutil.cc.
Definition at line 9291 of file kutil.cc.
Definition at line 9372 of file kutil.cc.
Definition at line 12523 of file kutil.cc.
void exitBuchMora | ( | kStrategy | strat | ) |
Definition at line 9970 of file kutil.cc.
void exitSba | ( | kStrategy | strat | ) |
Definition at line 10163 of file kutil.cc.
BOOLEAN faugereRewCriterion | ( | poly | sig, |
unsigned long | not_sevSig, | ||
poly | , | ||
kStrategy | strat, | ||
int | start = 0 |
||
) |
Definition at line 7045 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 10988 of file kutil.cc.
|
inline |
void HEckeTest | ( | poly | pp, |
kStrategy | strat | ||
) |
Definition at line 467 of file kutil.cc.
long ind2 | ( | long | arg | ) |
void initBuchMora | ( | ideal | F, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 9894 of file kutil.cc.
void initBuchMoraCrit | ( | kStrategy | strat | ) |
Definition at line 9570 of file kutil.cc.
void initBuchMoraPos | ( | kStrategy | strat | ) |
Definition at line 9721 of file kutil.cc.
void initBuchMoraPosRing | ( | kStrategy | strat | ) |
Definition at line 9807 of file kutil.cc.
void initBuchMoraShift | ( | ideal | F, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 11907 of file kutil.cc.
void initEcartBBA | ( | TObject * | h | ) |
void initEcartNormal | ( | TObject * | h | ) |
void initEcartPairBba | ( | LObject * | Lp, |
poly | , | ||
poly | , | ||
int | , | ||
int | |||
) |
void initEcartPairMora | ( | LObject * | Lp, |
poly | , | ||
poly | , | ||
int | ecartF, | ||
int | ecartG | ||
) |
Definition at line 1279 of file kutil.cc.
void initenterpairs | ( | poly | h, |
int | k, | ||
int | ecart, | ||
int | isFromQ, | ||
kStrategy | strat, | ||
int | atR = -1 |
||
) |
Definition at line 3717 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 12419 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 3782 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 3842 of file kutil.cc.
void initenterstrongPairs | ( | poly | h, |
int | k, | ||
int | ecart, | ||
int | isFromQ, | ||
kStrategy | strat, | ||
int | atR = -1 |
||
) |
Definition at line 4471 of file kutil.cc.
|
static |
Definition at line 4493 of file kutil.cc.
void initenterzeropairsRing | ( | poly | p, |
int | ecart, | ||
kStrategy | strat, | ||
int | atR | ||
) |
Definition at line 4339 of file kutil.cc.
Definition at line 9552 of file kutil.cc.
void initS | ( | ideal | F, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 7864 of file kutil.cc.
void initSbaBuchMora | ( | ideal | F, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 10090 of file kutil.cc.
void initSbaCrit | ( | kStrategy | strat | ) |
Definition at line 9634 of file kutil.cc.
void initSbaPos | ( | kStrategy | strat | ) |
Definition at line 9988 of file kutil.cc.
|
inlinestatic |
void initSL | ( | ideal | F, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 7958 of file kutil.cc.
void initSLSba | ( | ideal | F, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 8055 of file kutil.cc.
void initSSpecial | ( | ideal | F, |
ideal | Q, | ||
ideal | P, | ||
kStrategy | strat | ||
) |
Definition at line 8360 of file kutil.cc.
void initSSpecialSba | ( | ideal | F, |
ideal | Q, | ||
ideal | P, | ||
kStrategy | strat | ||
) |
Definition at line 8504 of file kutil.cc.
void initSyzRules | ( | kStrategy | strat | ) |
Definition at line 8205 of file kutil.cc.
Definition at line 10601 of file kutil.cc.
Definition at line 10641 of file kutil.cc.
poly kCreateZeroPoly | ( | long | exp[], |
long | cabsind, | ||
poly * | t_p, | ||
ring | leadRing, | ||
ring | tailRing | ||
) |
Definition at line 4276 of file kutil.cc.
void kDebugPrint | ( | kStrategy | strat | ) |
Output some debug info about a given strategy.
Definition at line 11619 of file kutil.cc.
TObject* kFindDivisibleByInS_T | ( | kStrategy | strat, |
int | end_pos, | ||
LObject * | L, | ||
TObject * | T, | ||
long | ecart | ||
) |
Definition at line 7179 of file kutil.cc.
int kFindInT | ( | poly | p, |
TSet | T, | ||
int | tlength | ||
) |
int kFindInT | ( | poly | p, |
kStrategy | strat | ||
) |
Definition at line 715 of file kutil.cc.
void kMergeBintoL | ( | kStrategy | strat | ) |
Definition at line 3098 of file kutil.cc.
void kMergeBintoLSba | ( | kStrategy | strat | ) |
Definition at line 3119 of file kutil.cc.
BOOLEAN kPosInLDependsOnLength | ( | int(*)(const LSet set, const int length, LObject *L, const kStrategy strat) | pos_in_l | ) |
Definition at line 9705 of file kutil.cc.
Definition at line 11073 of file kutil.cc.
void kStratInitChangeTailRing | ( | kStrategy | strat | ) |
Definition at line 11172 of file kutil.cc.
void message | ( | int | i, |
int * | reduc, | ||
int * | olddeg, | ||
kStrategy | strat, | ||
int | red_result | ||
) |
Definition at line 10537 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 2141 of file kutil.cc.
Definition at line 11786 of file kutil.cc.
|
inlinestatic |
Definition at line 186 of file kutil.cc.
|
inlinestatic |
Definition at line 147 of file kutil.cc.
poly pMove2CurrTail | ( | poly | p, |
kStrategy | strat | ||
) |
Definition at line 11755 of file kutil.cc.
poly pMoveCurrTail2poly | ( | poly | p, |
kStrategy | strat | ||
) |
Definition at line 11769 of file kutil.cc.
Definition at line 5129 of file kutil.cc.
Definition at line 5981 of file kutil.cc.
Definition at line 6239 of file kutil.cc.
Definition at line 6537 of file kutil.cc.
Definition at line 6351 of file kutil.cc.
Definition at line 6660 of file kutil.cc.
Definition at line 6736 of file kutil.cc.
Definition at line 6830 of file kutil.cc.
Definition at line 6894 of file kutil.cc.
Definition at line 6453 of file kutil.cc.
Definition at line 6039 of file kutil.cc.
Definition at line 6063 of file kutil.cc.
Definition at line 5938 of file kutil.cc.
Definition at line 4951 of file kutil.cc.
Definition at line 5052 of file kutil.cc.
Definition at line 6199 of file kutil.cc.
Definition at line 5184 of file kutil.cc.
Definition at line 5242 of file kutil.cc.
Definition at line 5395 of file kutil.cc.
Definition at line 5552 of file kutil.cc.
Definition at line 5647 of file kutil.cc.
Definition at line 5754 of file kutil.cc.
Definition at line 5815 of file kutil.cc.
Definition at line 5319 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 10831 of file kutil.cc.
Definition at line 10899 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 10664 of file kutil.cc.
|
static |
Definition at line 8754 of file kutil.cc.
|
static |
Definition at line 8649 of file kutil.cc.
Definition at line 168 of file kstd1.cc.
Definition at line 530 of file kstd1.cc.
|
static |
Definition at line 8778 of file kutil.cc.
Definition at line 7321 of file kutil.cc.
poly redtail | ( | poly | p, |
int | end_pos, | ||
kStrategy | strat | ||
) |
Definition at line 7391 of file kutil.cc.
Definition at line 7397 of file kutil.cc.
Definition at line 7627 of file kutil.cc.
poly redtailBbaBound | ( | LObject * | L, |
int | end_pos, | ||
kStrategy | strat, | ||
int | bound, | ||
BOOLEAN | withT, | ||
BOOLEAN | normalize | ||
) |
Definition at line 7511 of file kutil.cc.
Definition at line 12570 of file kutil.cc.
void reorderS | ( | int * | suc, |
kStrategy | strat | ||
) |
Definition at line 4898 of file kutil.cc.
Definition at line 1624 of file kutil.cc.
Definition at line 11199 of file kutil.cc.
char* showOption | ( | ) |
Definition at line 728 of file misc_ip.cc.
|
inlinestatic |
void superenterpairs | ( | poly | h, |
int | k, | ||
int | ecart, | ||
int | pos, | ||
kStrategy | strat, | ||
int | atR | ||
) |
Definition at line 4747 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 4757 of file kutil.cc.
Definition at line 6961 of file kutil.cc.
Definition at line 6996 of file kutil.cc.
long twoPow | ( | long | arg | ) |
void updateResult | ( | ideal | r, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 10203 of file kutil.cc.
Definition at line 8823 of file kutil.cc.
void updateSShift | ( | kStrategy | strat, |
int | uptodeg, | ||
int | lV | ||
) |
Definition at line 11879 of file kutil.cc.
denominator_list DENOMINATOR_LIST =NULL |