![]() |
#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 | ADIDEBUG 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) |
| 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) |
| 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 | 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 | 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 | enterExtendedSpoly (poly h, 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 | 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 | 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 | posInTrg0 (const TSet set, const int length, LObject &p) |
| int | posInT110 (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 | posInT17 (const TSet set, const int length, LObject &p) |
| int | posInT17_c (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 | posInLSig (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 | 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 | posInL13 (const LSet set, const int length, LObject *p, const kStrategy) |
| int | posInL15 (const LSet set, const int length, LObject *p, const kStrategy) |
| int | posInL17 (const LSet set, const int length, LObject *p, const kStrategy) |
| int | posInL17_c (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 | 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 | 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 (ideal FOrig, 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 | 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 5806 of file kutil.cc.
Definition: polys.h:105
Definition at line 5829 of file kutil.cc.
Definition: polys.h:105
Definition at line 324 of file kutil.cc.
Definition at line 7193 of file kutil.cc.
Definition at line 2451 of file kutil.cc.
Definition at line 2741 of file kutil.cc.
Definition at line 3166 of file kutil.cc.
Definition at line 2682 of file kutil.cc.
| void cleanT | ( | kStrategy | strat | ) |
Definition at line 505 of file kutil.cc.
Definition at line 3878 of file kutil.cc.
Definition at line 8801 of file kutil.cc.
| ideal createG0 | ( | ) |
Definition at line 3687 of file kutil.cc.
Definition at line 235 of file kutil.cc.
Definition at line 310 of file kutil.cc.
Definition at line 1053 of file kutil.cc.
|
inlinestatic |
Definition at line 3784 of file kutil.cc.
Definition at line 1841 of file kutil.cc.
| void enterOnePairManyShifts | ( | int | i, |
| poly | p, | ||
| int | ecart, | ||
| int | isFromQ, | ||
| kStrategy | strat, | ||
| int | , | ||
| int | uptodeg, | ||
| int | lV | ||
| ) |
Definition at line 10264 of file kutil.cc.
Definition at line 1536 of file kutil.cc.
Definition at line 1181 of file kutil.cc.
| void enterOnePairSelfShifts | ( | poly | qq, |
| poly | p, | ||
| int | ecart, | ||
| int | isFromQ, | ||
| kStrategy | strat, | ||
| int | , | ||
| int | uptodeg, | ||
| int | lV | ||
| ) |
Definition at line 10339 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 10402 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 2057 of file kutil.cc.
Definition: polys.h:105
Definition at line 2337 of file kutil.cc.
| BOOLEAN enterOneStrongPoly | ( | int | i, |
| poly | p, | ||
| int | , | ||
| int | , | ||
| kStrategy | strat, | ||
| int | atR, | ||
| bool | enterTstrong | ||
| ) |
Definition at line 1399 of file kutil.cc.
Definition at line 3374 of file kutil.cc.
Definition at line 3988 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 10696 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 4044 of file kutil.cc.
Definition at line 4074 of file kutil.cc.
Definition at line 7577 of file kutil.cc.
Definition at line 1324 of file kstd1.cc.
Definition at line 7680 of file kutil.cc.
Definition at line 8007 of file kutil.cc.
Definition at line 7811 of file kutil.cc.
Definition at line 7895 of file kutil.cc.
| BOOLEAN faugereRewCriterion | ( | poly | sig, |
| unsigned long | not_sevSig, | ||
| poly | , | ||
| kStrategy | strat, | ||
| int | start = 0 |
||
| ) |
Definition at line 5750 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 9294 of file kutil.cc.
|
inline |
Definition at line 436 of file kutil.cc.
| void initBuchMora | ( | ideal | F, |
| ideal | Q, | ||
| kStrategy | strat | ||
| ) |
Definition at line 8338 of file kutil.cc.
| void initBuchMoraCrit | ( | kStrategy | strat | ) |
Definition at line 8092 of file kutil.cc.
| void initBuchMoraPos | ( | kStrategy | strat | ) |
Definition at line 8244 of file kutil.cc.
| void initBuchMoraShift | ( | ideal | F, |
| ideal | Q, | ||
| kStrategy | strat | ||
| ) |
Definition at line 10180 of file kutil.cc.
| void initEcartBBA | ( | TObject * | h | ) |
| void initEcartNormal | ( | TObject * | h | ) |
Definition at line 1161 of file kutil.cc.
Definition at line 3032 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 10730 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 3101 of file kutil.cc.
Definition at line 3753 of file kutil.cc.
Definition at line 3621 of file kutil.cc.
Definition at line 8072 of file kutil.cc.
| void initS | ( | ideal | F, |
| ideal | Q, | ||
| kStrategy | strat | ||
| ) |
Definition at line 6383 of file kutil.cc.
| void initSbaBuchMora | ( | ideal | F, |
| ideal | Q, | ||
| kStrategy | strat | ||
| ) |
Definition at line 8535 of file kutil.cc.
| void initSbaCrit | ( | kStrategy | strat | ) |
Definition at line 8159 of file kutil.cc.
| void initSbaPos | ( | kStrategy | strat | ) |
Definition at line 8437 of file kutil.cc.
|
inlinestatic |
| void initSL | ( | ideal | F, |
| ideal | Q, | ||
| kStrategy | strat | ||
| ) |
Definition at line 6486 of file kutil.cc.
| void initSLSba | ( | ideal | F, |
| ideal | Q, | ||
| kStrategy | strat | ||
| ) |
Definition at line 6585 of file kutil.cc.
| void initSSpecial | ( | ideal | F, |
| ideal | Q, | ||
| ideal | P, | ||
| kStrategy | strat | ||
| ) |
Definition at line 6886 of file kutil.cc.
| void initSSpecialSba | ( | ideal | F, |
| ideal | Q, | ||
| ideal | P, | ||
| kStrategy | strat | ||
| ) |
Definition at line 7031 of file kutil.cc.
| void initSyzRules | ( | kStrategy | strat | ) |
Definition at line 6737 of file kutil.cc.
Definition at line 8994 of file kutil.cc.
Definition at line 9032 of file kutil.cc.
Definition at line 3558 of file kutil.cc.
| void kDebugPrint | ( | kStrategy | strat | ) |
Output some debug info about a given strategy.
Definition at line 9907 of file kutil.cc.
Definition at line 5872 of file kutil.cc.
Definition at line 628 of file kutil.cc.
| void kMergeBintoL | ( | kStrategy | strat | ) |
Definition at line 2405 of file kutil.cc.
| void kMergeBintoLSba | ( | kStrategy | strat | ) |
Definition at line 2428 of file kutil.cc.
| BOOLEAN kPosInLDependsOnLength | ( | int(*)(const LSet set, const int length, LObject *L, const kStrategy strat) | pos_in_l | ) |
Definition at line 8232 of file kutil.cc.
Definition at line 9361 of file kutil.cc.
| void kStratInitChangeTailRing | ( | kStrategy | strat | ) |
Definition at line 9464 of file kutil.cc.
| void message | ( | int | i, |
| int * | reduc, | ||
| int * | olddeg, | ||
| kStrategy | strat, | ||
| int | red_result | ||
| ) |
Definition at line 8924 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 1824 of file kutil.cc.
Definition at line 10059 of file kutil.cc.
Definition at line 179 of file kutil.cc.
Definition: polys.h:105
Definition at line 141 of file kutil.cc.
Definition at line 10028 of file kutil.cc.
Definition at line 10042 of file kutil.cc.
Definition at line 4909 of file kutil.cc.
Definition: polys.h:105
Definition at line 5085 of file kutil.cc.
Definition: polys.h:105
Definition at line 5423 of file kutil.cc.
Definition: polys.h:105
Definition at line 5143 of file kutil.cc.
Definition: polys.h:105
Definition at line 5231 of file kutil.cc.
Definition at line 5504 of file kutil.cc.
Definition: polys.h:105
Definition at line 5562 of file kutil.cc.
Definition: polys.h:105
Definition at line 5610 of file kutil.cc.
Definition: polys.h:105
Definition at line 5339 of file kutil.cc.
Definition: polys.h:105
Definition at line 4940 of file kutil.cc.
Definition: polys.h:105
Definition at line 4866 of file kutil.cc.
Definition: polys.h:105
Definition at line 4201 of file kutil.cc.
Definition: polys.h:105
Definition at line 5045 of file kutil.cc.
Definition: polys.h:105
Definition at line 4317 of file kutil.cc.
Definition: polys.h:105
Definition at line 4375 of file kutil.cc.
Definition: polys.h:105
Definition at line 4508 of file kutil.cc.
Definition: polys.h:105
Definition at line 4622 of file kutil.cc.
Definition: polys.h:105
Definition at line 4680 of file kutil.cc.
Definition: polys.h:105
Definition at line 4744 of file kutil.cc.
Definition: polys.h:105
Definition at line 4432 of file kutil.cc.
Definition: polys.h:105
used for GB over ZZ: intermediate reduction by monomial elements background: any known constant element of ideal suppresses intermediate coefficient swell
Definition at line 9225 of file kutil.cc.
| poly preIntegerCheck | ( | ideal | FOrig, |
| 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
Definition at line 9052 of file kutil.cc.
Definition at line 7281 of file kutil.cc.
Definition at line 7176 of file kutil.cc.
Definition at line 179 of file kstd1.cc.
Definition at line 613 of file kstd1.cc.
Definition at line 7304 of file kutil.cc.
Definition at line 5975 of file kutil.cc.
Definition at line 6045 of file kutil.cc.
Definition at line 6051 of file kutil.cc.
Definition at line 6160 of file kutil.cc.
Definition at line 10846 of file kutil.cc.
| void reorderS | ( | int * | suc, |
| kStrategy | strat | ||
| ) |
Definition at line 4148 of file kutil.cc.
Definition at line 9491 of file kutil.cc.
| char* showOption | ( | ) |
Definition at line 726 of file misc_ip.cc.
|
inlinestatic |
Definition at line 3904 of file kutil.cc.
Definition at line 5676 of file kutil.cc.
Definition at line 5708 of file kutil.cc.
| long twoPow | ( | long | arg | ) |
| void updateResult | ( | ideal | r, |
| ideal | Q, | ||
| kStrategy | strat | ||
| ) |
Definition at line 8648 of file kutil.cc.
Definition at line 7345 of file kutil.cc.
| void updateSShift | ( | kStrategy | strat, |
| int | uptodeg, | ||
| int | lV | ||
| ) |
Definition at line 10152 of file kutil.cc.
| denominator_list DENOMINATOR_LIST =NULL |