![]() |
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) |
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) |
| static void | deleteHCBucket (LObject *L, kStrategy strat) |
| 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) |
| 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, kStrategy strat, int i, char TN) |
| BOOLEAN | kTest_L (LObject *L, kStrategy strat, 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) |
| static BOOLEAN | is_shifted_p1 (const 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 | 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 | posInSyz (const kStrategy strat, poly sig) |
| 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 | 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_NF (poly p, kStrategy strat) |
| poly | redtailBba_Ring (LObject *L, int end_pos, kStrategy strat) |
| void | message (int i, int *olddeg, int *reduc, 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 | 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, bigintmat **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) |
| char * | showOption () |
| void | kDebugPrint (kStrategy strat) |
| Output some debug info about a given strategy. | |
| static BOOLEAN | enterOneStrongPolyShift (poly q, poly p, int, int, kStrategy strat, int atR, int, int, 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 BOOLEAN | enterOneStrongPolyAndEnterOnePairRingShift (poly q, poly p, int ecart, int isFromQ, kStrategy strat, int atR, int ecartq, int qisFromQ, int shiftcount, int ifromS) |
| static BOOLEAN | enterOnePairWithShifts (int q_inS, poly q, poly p, int ecartp, int p_isFromQ, kStrategy strat, int, int p_lastVblock, int q_lastVblock) |
| static BOOLEAN | enterOnePairWithoutShifts (int p_inS, poly q, poly p, int ecartq, int q_isFromQ, kStrategy strat, int, int p_lastVblock, int q_shift) |
| BOOLEAN | 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 =INT_MAX |
| STATIC_VAR BOOLEAN | sloppy_max = FALSE |
| #define kFalseReturn | ( | x | ) |
| BOOLEAN arriRewCriterion | ( | poly | sig, |
| unsigned long | not_sevSig, | ||
| poly | lm, | ||
| kStrategy | strat, | ||
| int | start = 0 ) |
Definition at line 6621 of file kutil.cc.
| BOOLEAN arriRewCriterionPre | ( | poly | sig, |
| unsigned long | not_sevSig, | ||
| poly | lm, | ||
| kStrategy | strat, | ||
| int | start ) |
Definition at line 6646 of file kutil.cc.
Definition at line 365 of file kutil.cc.
Definition at line 8402 of file kutil.cc.
| void chainCritNormal | ( | poly | p, |
| int | ecart, | ||
| kStrategy | strat ) |
Definition at line 3204 of file kutil.cc.
| void chainCritOpt_1 | ( | poly | , |
| int | , | ||
| kStrategy | strat ) |
| void chainCritPart | ( | poly | p, |
| int | ecart, | ||
| kStrategy | strat ) |
Definition at line 3520 of file kutil.cc.
| void chainCritRing | ( | poly | p, |
| int | , | ||
| kStrategy | strat ) |
Definition at line 3996 of file kutil.cc.
| void chainCritSig | ( | poly | p, |
| int | ecart, | ||
| kStrategy | strat ) |
Definition at line 3461 of file kutil.cc.
| void cleanT | ( | kStrategy | strat | ) |
Definition at line 557 of file kutil.cc.
| void cleanTSbaRing | ( | kStrategy | strat | ) |
Definition at line 616 of file kutil.cc.
| void clearSbatch | ( | poly | h, |
| int | k, | ||
| int | pos, | ||
| kStrategy | strat ) |
Definition at line 4433 of file kutil.cc.
Definition at line 10257 of file kutil.cc.
Definition at line 286 of file kutil.cc.
| void deleteHC | ( | poly * | p, |
| int * | e, | ||
| int * | l, | ||
| kStrategy | strat ) |
Definition at line 1208 of file kutil.cc.
| void deleteInS | ( | int | i, |
| kStrategy | strat ) |
Definition at line 1132 of file kutil.cc.
|
inlinestatic |
| void enterExtendedSpoly | ( | poly | h, |
| kStrategy | strat ) |
Definition at line 4232 of file kutil.cc.
| void enterExtendedSpolySig | ( | poly | h, |
| poly | hSig, | ||
| kStrategy | strat ) |
Definition at line 4316 of file kutil.cc.
|
static |
Definition at line 2221 of file kutil.cc.
| void enterOnePairNormal | ( | int | i, |
| poly | p, | ||
| int | ecart, | ||
| int | isFromQ, | ||
| kStrategy | strat, | ||
| int | atR = -1 ) |
Definition at line 1939 of file kutil.cc.
|
static |
Definition at line 1334 of file kutil.cc.
|
static |
Definition at line 11790 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 12143 of file kutil.cc.
|
static |
Definition at line 2433 of file kutil.cc.
|
static |
Definition at line 2690 of file kutil.cc.
| void enterOnePairSpecial | ( | int | i, |
| poly | p, | ||
| int | ecart, | ||
| kStrategy | strat, | ||
| int | atR = -1 ) |
Definition at line 3092 of file kutil.cc.
|
static |
Definition at line 12105 of file kutil.cc.
|
static |
Definition at line 12044 of file kutil.cc.
|
static |
Definition at line 1538 of file kutil.cc.
|
static |
Definition at line 12034 of file kutil.cc.
|
static |
Definition at line 11621 of file kutil.cc.
|
static |
Definition at line 1746 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 12927 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 4536 of file kutil.cc.
Definition at line 8792 of file kutil.cc.
Definition at line 8892 of file kutil.cc.
Definition at line 8915 of file kutil.cc.
Definition at line 9343 of file kutil.cc.
Definition at line 9143 of file kutil.cc.
Definition at line 9242 of file kutil.cc.
Definition at line 12957 of file kutil.cc.
| void exitBuchMora | ( | kStrategy | strat | ) |
| void exitSba | ( | kStrategy | strat | ) |
Definition at line 10011 of file kutil.cc.
| BOOLEAN faugereRewCriterion | ( | poly | sig, |
| unsigned long | not_sevSig, | ||
| poly | lm, | ||
| kStrategy | strat, | ||
| int | start = 0 ) |
Definition at line 6562 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 10847 of file kutil.cc.
|
inline |
| void HEckeTest | ( | poly | pp, |
| kStrategy | strat ) |
| void initBuchMora | ( | ideal | F, |
| ideal | Q, | ||
| kStrategy | strat ) |
Definition at line 9749 of file kutil.cc.
| void initBuchMoraCrit | ( | kStrategy | strat | ) |
Definition at line 9435 of file kutil.cc.
| void initBuchMoraPos | ( | kStrategy | strat | ) |
Definition at line 9580 of file kutil.cc.
| void initBuchMoraPosRing | ( | kStrategy | strat | ) |
Definition at line 9664 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 3809 of file kutil.cc.
| void initenterpairsShift | ( | poly | h, |
| int | k, | ||
| int | ecart, | ||
| int | isFromQ, | ||
| kStrategy | strat, | ||
| int | atR ) |
Definition at line 12485 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.
| void initenterstrongPairs | ( | poly | h, |
| int | k, | ||
| int | ecart, | ||
| int | isFromQ, | ||
| kStrategy | strat, | ||
| int | atR = -1 ) |
Definition at line 4152 of file kutil.cc.
| void initenterstrongPairsShift | ( | poly | h, |
| int | k, | ||
| int | ecart, | ||
| int | isFromQ, | ||
| kStrategy | strat, | ||
| int | atR ) |
Definition at line 12743 of file kutil.cc.
|
static |
Definition at line 4207 of file kutil.cc.
| void initPairtest | ( | kStrategy | strat | ) |
| void initS | ( | ideal | F, |
| ideal | Q, | ||
| kStrategy | strat ) |
Definition at line 7586 of file kutil.cc.
|
inlinestatic |
| void initSbaBuchMora | ( | ideal | F, |
| ideal | Q, | ||
| kStrategy | strat ) |
Definition at line 9936 of file kutil.cc.
| void initSbaCrit | ( | kStrategy | strat | ) |
Definition at line 9498 of file kutil.cc.
| void initSbaPos | ( | kStrategy | strat | ) |
Definition at line 9863 of file kutil.cc.
|
inlinestatic |
| void initSL | ( | ideal | F, |
| ideal | Q, | ||
| kStrategy | strat ) |
Definition at line 7679 of file kutil.cc.
| void initSLSba | ( | ideal | F, |
| ideal | Q, | ||
| kStrategy | strat ) |
Definition at line 7781 of file kutil.cc.
| void initSSpecial | ( | ideal | F, |
| ideal | Q, | ||
| ideal | P, | ||
| kStrategy | strat ) |
Definition at line 8088 of file kutil.cc.
| void initSSpecialSba | ( | ideal | F, |
| ideal | Q, | ||
| ideal | P, | ||
| kStrategy | strat ) |
Definition at line 8236 of file kutil.cc.
| void initSyzRules | ( | kStrategy | strat | ) |
Definition at line 7933 of file kutil.cc.
Definition at line 10459 of file kutil.cc.
| void kDebugPrint | ( | kStrategy | strat | ) |
Output some debug info about a given strategy.
Definition at line 11478 of file kutil.cc.
| TObject * kFindDivisibleByInS_T | ( | kStrategy | strat, |
| int | end_pos, | ||
| LObject * | L, | ||
| TObject * | T, | ||
| long | ecart ) |
Definition at line 6697 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 | ) |
Definition at line 10939 of file kutil.cc.
| void kStratInitChangeTailRing | ( | kStrategy | strat | ) |
Definition at line 11036 of file kutil.cc.
Definition at line 1004 of file kutil.cc.
Definition at line 916 of file kutil.cc.
|
static |
Definition at line 789 of file kutil.cc.
Definition at line 1067 of file kutil.cc.
| void message | ( | int | i, |
| int * | olddeg, | ||
| int * | reduc, | ||
| kStrategy | strat, | ||
| int | red_result ) |
| void messageSets | ( | kStrategy | strat | ) |
| void messageStat | ( | int | hilbcount, |
| kStrategy | strat ) |
Definition at line 7504 of file kutil.cc.
| void messageStatSBA | ( | int | hilbcount, |
| kStrategy | strat ) |
Definition at line 7517 of file kutil.cc.
Definition at line 10379 of file kutil.cc.
|
inlinestatic |
Definition at line 176 of file kutil.cc.
|
inlinestatic |
Definition at line 138 of file kutil.cc.
|
inlinestatic |
Definition at line 225 of file kutil.cc.
Definition at line 4841 of file kutil.cc.
Definition at line 6058 of file kutil.cc.
Definition at line 6099 of file kutil.cc.
Definition at line 5912 of file kutil.cc.
Definition at line 6255 of file kutil.cc.
Definition at line 6348 of file kutil.cc.
Definition at line 6412 of file kutil.cc.
Definition at line 6299 of file kutil.cc.
| int posInLF5CRing | ( | const LSet | set, |
| int | start, | ||
| const int | length, | ||
| LObject * | p, | ||
| const kStrategy | strat ) |
Definition at line 5694 of file kutil.cc.
Definition at line 5567 of file kutil.cc.
Definition at line 4663 of file kutil.cc.
Definition at line 4764 of file kutil.cc.
Definition at line 4953 of file kutil.cc.
Definition at line 5029 of file kutil.cc.
Definition at line 5071 of file kutil.cc.
Definition at line 4989 of file kutil.cc.
Definition at line 5184 of file kutil.cc.
Definition at line 5238 of file kutil.cc.
Definition at line 5278 of file kutil.cc.
Definition at line 5384 of file kutil.cc.
Definition at line 5445 of file kutil.cc.
Definition at line 5339 of file kutil.cc.
Definition at line 5510 of file kutil.cc.
Definition at line 11358 of file kutil.cc.
Definition at line 11412 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 10682 of file kutil.cc.
Definition at line 10758 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 10518 of file kutil.cc.
|
static |
Definition at line 8488 of file kutil.cc.
|
static |
Definition at line 8385 of file kutil.cc.
|
static |
Definition at line 6836 of file kutil.cc.
| poly redtail | ( | poly | p, |
| int | end_pos, | ||
| kStrategy | strat ) |
Definition at line 6912 of file kutil.cc.
| poly redtailBba_NF | ( | poly | p, |
| kStrategy | strat ) |
Definition at line 7375 of file kutil.cc.
Definition at line 7269 of file kutil.cc.
Definition at line 7140 of file kutil.cc.
| poly redtailBbaBound | ( | LObject * | L, |
| int | end_pos, | ||
| kStrategy | strat, | ||
| int | bound, | ||
| BOOLEAN | withT, | ||
| BOOLEAN | normalize ) |
Definition at line 7025 of file kutil.cc.
Definition at line 12980 of file kutil.cc.
| void reorderS | ( | int * | suc, |
| kStrategy | strat ) |
Definition at line 4610 of file kutil.cc.
Definition at line 1688 of file kutil.cc.
Definition at line 11064 of file kutil.cc.
|
extern |
Definition at line 713 of file misc_ip.cc.
|
inlinestatic |
| void superenterpairs | ( | poly | h, |
| int | k, | ||
| int | ecart, | ||
| int | pos, | ||
| kStrategy | strat, | ||
| int | atR ) |
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 6478 of file kutil.cc.
Definition at line 6513 of file kutil.cc.
| void updateResult | ( | ideal | r, |
| ideal | Q, | ||
| kStrategy | strat ) |
Definition at line 10051 of file kutil.cc.
Definition at line 8557 of file kutil.cc.
| VAR denominator_list DENOMINATOR_LIST =NULL |
| STATIC_VAR BOOLEAN sloppy_max = FALSE |