![]() |
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) |
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) |
| static int | pLPDivComp (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 | |
| int | kFindInT (poly p, kStrategy strat) |
| int | kFindInTShift (poly p, TSet T, int tlength) |
| int | kFindInTShift (poly p, kStrategy strat) |
| static const char * | kTest_LmEqual (poly p, poly t_p, ring tailRing) |
| BOOLEAN | kTest_T (TObject *T, ring strat_tailRing, int i, char TN) |
| BOOLEAN | kTest_L (LObject *L, ring strat_tailRing, BOOLEAN testp, int lpos, TSet T, int tlength) |
| BOOLEAN | kTest (kStrategy strat) |
| BOOLEAN | kTest_S (kStrategy strat) |
| BOOLEAN | kTest_TS (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 and syzComp==1: ignore component | |
| 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) |
| 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) |
| 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) |
| void | redtailBbaAlsoLC_Z (LObject *L, int end_pos, kStrategy strat) |
| poly | redtailBba_Z (LObject *L, int end_pos, kStrategy strat) |
| poly | redtailBba_Ring (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 | messageSets (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 | enterSBbaShift (LObject &p, int atS, kStrategy strat, int atR) |
| void | enterSSba (LObject &p, int atS, kStrategy strat, int atR) |
| void | replaceInLAndSAndT (LObject &p, int tj, kStrategy strat) |
| 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 | |
| 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 | |
| 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 | |
| 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. | |
| poly | pMove2CurrTail (poly p, kStrategy strat) |
| poly | pMoveCurrTail2poly (poly p, kStrategy strat) |
| poly | pCopyL2p (LObject H, kStrategy strat) |
| static BOOLEAN | enterOneStrongPolyShift (poly q, poly p, int, int, kStrategy strat, int atR, int, int qisFromQ, int shiftcount, int ifromS) |
| static void | enterOnePairRingShift (poly q, poly p, int, int isFromQ, kStrategy strat, int atR, int, int qisFromQ, int shiftcount, int ifromS) |
| static void | enterOneStrongPolyAndEnterOnePairRingShift (poly q, poly p, int ecart, int isFromQ, kStrategy strat, int atR, int ecartq, int qisFromQ, int shiftcount, int ifromS) |
| static void | enterOnePairWithShifts (int q_inS, poly q, poly p, int ecartp, int p_isFromQ, kStrategy strat, int atR, int p_lastVblock, int q_lastVblock) |
| static void | enterOnePairWithoutShifts (int p_inS, poly q, poly p, int ecartq, int q_isFromQ, kStrategy strat, int atR, int p_lastVblock, int q_shift) |
| void | enterOnePairShift (poly q, poly p, int ecart, int isFromQ, kStrategy strat, int atR, int ecartq, int qisFromQ, int shiftcount, int ifromS) |
| void | initenterpairsShift (poly h, int k, int ecart, int isFromQ, kStrategy strat, int atR) |
| void | initenterstrongPairsShift (poly h, int k, int ecart, int isFromQ, kStrategy strat, int atR) |
| void | enterpairsShift (poly h, int k, int ecart, int pos, kStrategy strat, int atR) |
| void | enterTShift (LObject p, kStrategy strat, int atT) |
| poly | redtailBbaShift (LObject *L, int pos, kStrategy strat, BOOLEAN withT, BOOLEAN normalize) |
Variables | |
| VAR denominator_list | DENOMINATOR_LIST =NULL |
| VAR int | HCord |
| VAR int | Kstd1_deg |
| VAR int | Kstd1_mu =32000 |
| STATIC_VAR BOOLEAN | sloppy_max = FALSE |
| BOOLEAN arriRewCriterion | ( | poly | sig, |
| unsigned long | not_sevSig, | ||
| poly | lm, | ||
| kStrategy | strat, | ||
| int | start = 0 |
||
| ) |
Definition at line 6851 of file kutil.cc.
| BOOLEAN arriRewCriterionPre | ( | poly | sig, |
| unsigned long | not_sevSig, | ||
| poly | lm, | ||
| kStrategy | strat, | ||
| int | start | ||
| ) |
Definition at line 6876 of file kutil.cc.
Definition at line 343 of file kutil.cc.
Definition at line 8631 of file kutil.cc.
| void chainCritNormal | ( | poly | p, |
| int | ecart, | ||
| kStrategy | strat | ||
| ) |
Definition at line 3240 of file kutil.cc.
| void chainCritOpt_1 | ( | poly | , |
| int | , | ||
| kStrategy | strat | ||
| ) |
| void chainCritPart | ( | poly | p, |
| int | ecart, | ||
| kStrategy | strat | ||
| ) |
Definition at line 3551 of file kutil.cc.
| void chainCritRing | ( | poly | p, |
| int | , | ||
| kStrategy | strat | ||
| ) |
Definition at line 4027 of file kutil.cc.
| void chainCritSig | ( | poly | p, |
| int | ecart, | ||
| kStrategy | strat | ||
| ) |
Definition at line 3492 of file kutil.cc.
| void cleanT | ( | kStrategy | strat | ) |
Definition at line 545 of file kutil.cc.
| void cleanTSbaRing | ( | kStrategy | strat | ) |
Definition at line 604 of file kutil.cc.
| void clearSbatch | ( | poly | h, |
| int | k, | ||
| int | pos, | ||
| kStrategy | strat | ||
| ) |
Definition at line 4468 of file kutil.cc.
Definition at line 10532 of file kutil.cc.
Definition at line 254 of file kutil.cc.
| void deleteHC | ( | poly * | p, |
| int * | e, | ||
| int * | l, | ||
| kStrategy | strat | ||
| ) |
Definition at line 1244 of file kutil.cc.
| void deleteInS | ( | int | i, |
| kStrategy | strat | ||
| ) |
Definition at line 1137 of file kutil.cc.
| void deleteInSSba | ( | int | i, |
| kStrategy | strat | ||
| ) |
Definition at line 1189 of file kutil.cc.
|
inlinestatic |
| void enterExtendedSpoly | ( | poly | h, |
| kStrategy | strat | ||
| ) |
Definition at line 4267 of file kutil.cc.
| void enterExtendedSpolySig | ( | poly | h, |
| poly | hSig, | ||
| kStrategy | strat | ||
| ) |
Definition at line 4350 of file kutil.cc.
|
static |
Definition at line 2257 of file kutil.cc.
| void enterOnePairNormal | ( | int | i, |
| poly | p, | ||
| int | ecart, | ||
| int | isFromQ, | ||
| kStrategy | strat, | ||
| int | atR = -1 |
||
| ) |
Definition at line 1975 of file kutil.cc.
|
static |
Definition at line 1367 of file kutil.cc.
|
static |
Definition at line 12187 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 | ||
| ) |
Definition at line 12535 of file kutil.cc.
|
static |
Definition at line 2469 of file kutil.cc.
|
static |
Definition at line 2726 of file kutil.cc.
| void enterOnePairSpecial | ( | int | i, |
| poly | p, | ||
| int | ecart, | ||
| kStrategy | strat, | ||
| int | atR = -1 |
||
| ) |
Definition at line 3128 of file kutil.cc.
|
static |
Definition at line 12496 of file kutil.cc.
|
static |
Definition at line 12440 of file kutil.cc.
|
static |
Definition at line 1571 of file kutil.cc.
|
static |
Definition at line 12431 of file kutil.cc.
|
static |
Definition at line 12017 of file kutil.cc.
|
static |
Definition at line 1780 of file kutil.cc.
| void enterpairs | ( | poly | h, |
| int | k, | ||
| int | ecart, | ||
| int | pos, | ||
| kStrategy | strat, | ||
| int | atR | ||
| ) |
| void enterpairsShift | ( | poly | h, |
| int | k, | ||
| int | ecart, | ||
| int | pos, | ||
| kStrategy | strat, | ||
| int | atR | ||
| ) |
Definition at line 13309 of file kutil.cc.
| 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 |
||
| ) |
Definition at line 4574 of file kutil.cc.
Definition at line 9023 of file kutil.cc.
Definition at line 9123 of file kutil.cc.
Definition at line 1606 of file kstd1.cc.
Definition at line 9146 of file kutil.cc.
Definition at line 9574 of file kutil.cc.
Definition at line 9372 of file kutil.cc.
Definition at line 9472 of file kutil.cc.
Definition at line 13339 of file kutil.cc.
| void exitBuchMora | ( | kStrategy | strat | ) |
| void exitSba | ( | kStrategy | strat | ) |
Definition at line 10280 of file kutil.cc.
| BOOLEAN faugereRewCriterion | ( | poly | sig, |
| unsigned long | not_sevSig, | ||
| poly | lm, | ||
| kStrategy | strat, | ||
| int | start = 0 |
||
| ) |
Definition at line 6792 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 11112 of file kutil.cc.
|
inline |
| void HEckeTest | ( | poly | pp, |
| kStrategy | strat | ||
| ) |
Definition at line 475 of file kutil.cc.
| void initBuchMora | ( | ideal | F, |
| ideal | Q, | ||
| kStrategy | strat | ||
| ) |
Definition at line 9995 of file kutil.cc.
| void initBuchMoraCrit | ( | kStrategy | strat | ) |
Definition at line 9670 of file kutil.cc.
| void initBuchMoraPos | ( | kStrategy | strat | ) |
Definition at line 9822 of file kutil.cc.
| void initBuchMoraPosRing | ( | kStrategy | strat | ) |
Definition at line 9908 of file kutil.cc.
| void initEcartBBA | ( | TObject * | h | ) |
| void initEcartNormal | ( | TObject * | h | ) |
| void initEcartPairBba | ( | LObject * | Lp, |
| poly | f, | ||
| poly | g, | ||
| int | ecartF, | ||
| int | ecartG | ||
| ) |
| void initEcartPairMora | ( | LObject * | Lp, |
| poly | f, | ||
| poly | g, | ||
| int | ecartF, | ||
| int | ecartG | ||
| ) |
| void initenterpairs | ( | poly | h, |
| int | k, | ||
| int | ecart, | ||
| int | isFromQ, | ||
| kStrategy | strat, | ||
| int | atR | ||
| ) |
Definition at line 3840 of file kutil.cc.
| void initenterpairsShift | ( | poly | h, |
| int | k, | ||
| int | ecart, | ||
| int | isFromQ, | ||
| kStrategy | strat, | ||
| int | atR | ||
| ) |
Definition at line 12876 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 3905 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 3965 of file kutil.cc.
| void initenterstrongPairs | ( | poly | h, |
| int | k, | ||
| int | ecart, | ||
| int | isFromQ, | ||
| kStrategy | strat, | ||
| int | atR = -1 |
||
| ) |
Definition at line 4185 of file kutil.cc.
| void initenterstrongPairsShift | ( | poly | h, |
| int | k, | ||
| int | ecart, | ||
| int | isFromQ, | ||
| kStrategy | strat, | ||
| int | atR | ||
| ) |
Definition at line 13129 of file kutil.cc.
|
static |
Definition at line 4240 of file kutil.cc.
| void initPairtest | ( | kStrategy | strat | ) |
| void initS | ( | ideal | F, |
| ideal | Q, | ||
| kStrategy | strat | ||
| ) |
Definition at line 7829 of file kutil.cc.
|
inlinestatic |
| void initSbaBuchMora | ( | ideal | F, |
| ideal | Q, | ||
| kStrategy | strat | ||
| ) |
Definition at line 10207 of file kutil.cc.
| void initSbaCrit | ( | kStrategy | strat | ) |
Definition at line 9735 of file kutil.cc.
| void initSbaPos | ( | kStrategy | strat | ) |
Definition at line 10105 of file kutil.cc.
|
inlinestatic |
| void initSL | ( | ideal | F, |
| ideal | Q, | ||
| kStrategy | strat | ||
| ) |
Definition at line 7923 of file kutil.cc.
| void initSLSba | ( | ideal | F, |
| ideal | Q, | ||
| kStrategy | strat | ||
| ) |
Definition at line 8020 of file kutil.cc.
| void initSSpecial | ( | ideal | F, |
| ideal | Q, | ||
| ideal | P, | ||
| kStrategy | strat | ||
| ) |
Definition at line 8325 of file kutil.cc.
| void initSSpecialSba | ( | ideal | F, |
| ideal | Q, | ||
| ideal | P, | ||
| kStrategy | strat | ||
| ) |
Definition at line 8469 of file kutil.cc.
| void initSyzRules | ( | kStrategy | strat | ) |
Definition at line 8170 of file kutil.cc.
Definition at line 10718 of file kutil.cc.
| void kDebugPrint | ( | kStrategy | strat | ) |
Output some debug info about a given strategy.
Definition at line 11753 of file kutil.cc.
| TObject * kFindDivisibleByInS_T | ( | kStrategy | strat, |
| int | end_pos, | ||
| LObject * | L, | ||
| TObject * | T, | ||
| long | ecart | ||
| ) |
Definition at line 6927 of file kutil.cc.
| int kFindInT | ( | poly | p, |
| kStrategy | strat | ||
| ) |
| int kFindInT | ( | poly | p, |
| TSet | T, | ||
| int | tlength | ||
| ) |
| int kFindInTShift | ( | poly | p, |
| kStrategy | strat | ||
| ) |
| int kFindInTShift | ( | poly | p, |
| TSet | T, | ||
| int | tlength | ||
| ) |
| void kMergeBintoL | ( | kStrategy | strat | ) |
| void kMergeBintoLSba | ( | kStrategy | strat | ) |
| BOOLEAN kPosInLDependsOnLength | ( | int(*)(const LSet set, const int length, LObject *L, const kStrategy strat) | pos_in_l | ) |
Definition at line 9806 of file kutil.cc.
Definition at line 11205 of file kutil.cc.
| void kStratInitChangeTailRing | ( | kStrategy | strat | ) |
Definition at line 11305 of file kutil.cc.
Definition at line 1010 of file kutil.cc.
Definition at line 925 of file kutil.cc.
|
static |
Definition at line 801 of file kutil.cc.
Definition at line 1071 of file kutil.cc.
| void message | ( | int | i, |
| int * | reduc, | ||
| int * | olddeg, | ||
| kStrategy | strat, | ||
| int | red_result | ||
| ) |
| void messageSets | ( | kStrategy | strat | ) |
| void messageStat | ( | int | hilbcount, |
| kStrategy | strat | ||
| ) |
Definition at line 7747 of file kutil.cc.
| void messageStatSBA | ( | int | hilbcount, |
| kStrategy | strat | ||
| ) |
Definition at line 7760 of file kutil.cc.
Definition at line 10654 of file kutil.cc.
Definition at line 11922 of file kutil.cc.
|
inlinestatic |
Definition at line 183 of file kutil.cc.
|
inlinestatic |
Definition at line 144 of file kutil.cc.
|
inlinestatic |
Definition at line 232 of file kutil.cc.
| poly pMove2CurrTail | ( | poly | p, |
| kStrategy | strat | ||
| ) |
| poly pMoveCurrTail2poly | ( | poly | p, |
| kStrategy | strat | ||
| ) |
Definition at line 4879 of file kutil.cc.
Definition at line 6284 of file kutil.cc.
Definition at line 6325 of file kutil.cc.
Definition at line 6098 of file kutil.cc.
Definition at line 6483 of file kutil.cc.
Definition at line 6577 of file kutil.cc.
Definition at line 6641 of file kutil.cc.
Definition at line 6527 of file kutil.cc.
Definition at line 5873 of file kutil.cc.
Definition at line 5810 of file kutil.cc.
Definition at line 4701 of file kutil.cc.
Definition at line 4802 of file kutil.cc.
Definition at line 4990 of file kutil.cc.
Definition at line 5143 of file kutil.cc.
Definition at line 5185 of file kutil.cc.
Definition at line 5026 of file kutil.cc.
Definition at line 5299 of file kutil.cc.
Definition at line 5353 of file kutil.cc.
Definition at line 5394 of file kutil.cc.
Definition at line 5501 of file kutil.cc.
Definition at line 5562 of file kutil.cc.
Definition at line 5455 of file kutil.cc.
Definition at line 5628 of file kutil.cc.
Definition at line 11628 of file kutil.cc.
Definition at line 11682 of file kutil.cc.
Definition at line 5067 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 10947 of file kutil.cc.
Definition at line 11023 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 10780 of file kutil.cc.
|
static |
Definition at line 8719 of file kutil.cc.
|
static |
Definition at line 8614 of file kutil.cc.
Definition at line 169 of file kstd1.cc.
Definition at line 786 of file kstd1.cc.
|
static |
Definition at line 7069 of file kutil.cc.
| poly redtail | ( | poly | p, |
| int | end_pos, | ||
| kStrategy | strat | ||
| ) |
Definition at line 7145 of file kutil.cc.
Definition at line 7617 of file kutil.cc.
Definition at line 7503 of file kutil.cc.
Definition at line 7374 of file kutil.cc.
| poly redtailBbaBound | ( | LObject * | L, |
| int | end_pos, | ||
| kStrategy | strat, | ||
| int | bound, | ||
| BOOLEAN | withT, | ||
| BOOLEAN | normalize | ||
| ) |
Definition at line 7258 of file kutil.cc.
Definition at line 13362 of file kutil.cc.
| void reorderS | ( | int * | suc, |
| kStrategy | strat | ||
| ) |
Definition at line 4648 of file kutil.cc.
Definition at line 9281 of file kutil.cc.
Definition at line 1722 of file kutil.cc.
Definition at line 11333 of file kutil.cc.
| char * showOption | ( | ) |
Definition at line 717 of file misc_ip.cc.
|
inlinestatic |
| void superenterpairs | ( | poly | h, |
| int | k, | ||
| int | ecart, | ||
| int | pos, | ||
| kStrategy | strat, | ||
| int | atR | ||
| ) |
Definition at line 4494 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 4507 of file kutil.cc.
Definition at line 6708 of file kutil.cc.
Definition at line 6743 of file kutil.cc.
| void updateResult | ( | ideal | r, |
| ideal | Q, | ||
| kStrategy | strat | ||
| ) |
Definition at line 10320 of file kutil.cc.
Definition at line 8788 of file kutil.cc.
| VAR denominator_list DENOMINATOR_LIST =NULL |
| STATIC_VAR BOOLEAN sloppy_max = FALSE |