![]() |
#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 "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 "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 | 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) |
void | redtailBbaAlsoLC_Z (LObject *L, int end_pos, kStrategy strat) |
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 | 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 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) |
void | initBuchMoraShift (ideal F, ideal Q, kStrategy strat) |
static void | enterOnePairManyShifts (int i, poly p, int ecart, int isFromQ, kStrategy strat, int atR) |
void | enterOnePairSelfShifts (poly qq, poly p, int ecart, int isFromQ, kStrategy strat, int) |
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 | 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 | |
denominator_list | DENOMINATOR_LIST =NULL |
int | HCord |
int | Kstd1_deg |
int | Kstd1_mu =32000 |
#define REDTAIL_CANONICALIZE 100 |
Definition at line 7188 of file kutil.cc.
Definition at line 7213 of file kutil.cc.
Definition at line 333 of file kutil.cc.
Definition at line 8877 of file kutil.cc.
void chainCritNormal | ( | poly | p, |
int | ecart, | ||
kStrategy | strat | ||
) |
Definition at line 3192 of file kutil.cc.
void chainCritPart | ( | poly | p, |
int | ecart, | ||
kStrategy | strat | ||
) |
Definition at line 3480 of file kutil.cc.
void chainCritRing | ( | poly | p, |
int | , | ||
kStrategy | strat | ||
) |
Definition at line 3956 of file kutil.cc.
void chainCritSig | ( | poly | p, |
int | , | ||
kStrategy | strat | ||
) |
Definition at line 3421 of file kutil.cc.
void cleanT | ( | kStrategy | strat | ) |
Definition at line 538 of file kutil.cc.
void cleanTSbaRing | ( | kStrategy | strat | ) |
Definition at line 597 of file kutil.cc.
void clearSbatch | ( | poly | h, |
int | k, | ||
int | pos, | ||
kStrategy | strat | ||
) |
Definition at line 4805 of file kutil.cc.
Definition at line 10719 of file kutil.cc.
ideal createG0 | ( | ) |
Definition at line 4456 of file kutil.cc.
Definition at line 244 of file kutil.cc.
void deleteHC | ( | poly * | p, |
int * | e, | ||
int * | l, | ||
kStrategy | strat | ||
) |
Definition at line 319 of file kutil.cc.
Definition at line 1203 of file kutil.cc.
|
inlinestatic |
void enterExtendedSpoly | ( | poly | h, |
kStrategy | strat | ||
) |
Definition at line 4604 of file kutil.cc.
void enterExtendedSpolySig | ( | poly | h, |
poly | hSig, | ||
kStrategy | strat | ||
) |
Definition at line 4687 of file kutil.cc.
|
static |
Definition at line 2210 of file kutil.cc.
|
static |
Definition at line 12290 of file kutil.cc.
void enterOnePairNormal | ( | int | i, |
poly | p, | ||
int | ecart, | ||
int | isFromQ, | ||
kStrategy | strat, | ||
int | atR = -1 |
||
) |
Definition at line 1929 of file kutil.cc.
|
static |
Definition at line 1326 of file kutil.cc.
void enterOnePairSelfShifts | ( | poly | qq, |
poly | p, | ||
int | ecart, | ||
int | isFromQ, | ||
kStrategy | strat, | ||
int | |||
) |
Definition at line 12337 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 12361 of file kutil.cc.
|
static |
Definition at line 2422 of file kutil.cc.
|
static |
Definition at line 2679 of file kutil.cc.
void enterOnePairSpecial | ( | int | i, |
poly | p, | ||
int | ecart, | ||
kStrategy | strat, | ||
int | atR = -1 |
||
) |
Definition at line 3081 of file kutil.cc.
|
static |
Definition at line 1528 of file kutil.cc.
|
static |
Definition at line 1734 of file kutil.cc.
void enterOneZeroPairRing | ( | poly | f, |
poly | t_p, | ||
poly | p, | ||
int | ecart, | ||
kStrategy | strat, | ||
int | atR = -1 |
||
) |
Definition at line 4146 of file kutil.cc.
void enterpairs | ( | poly | h, |
int | k, | ||
int | ecart, | ||
int | pos, | ||
kStrategy | strat, | ||
int | atR | ||
) |
Definition at line 4859 of file kutil.cc.
void enterpairsShift | ( | poly | h, |
int | k, | ||
int | ecart, | ||
int | pos, | ||
kStrategy | strat, | ||
int | atR | ||
) |
Definition at line 12728 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 4885 of file kutil.cc.
void enterpairsSpecial | ( | poly | h, |
int | k, | ||
int | ecart, | ||
int | pos, | ||
kStrategy | strat, | ||
int | atR = -1 |
||
) |
Definition at line 4908 of file kutil.cc.
Definition at line 9261 of file kutil.cc.
Definition at line 1270 of file kstd1.cc.
Definition at line 9380 of file kutil.cc.
Definition at line 9778 of file kutil.cc.
Definition at line 9576 of file kutil.cc.
Definition at line 9676 of file kutil.cc.
void exitBuchMora | ( | kStrategy | strat | ) |
Definition at line 10274 of file kutil.cc.
void exitSba | ( | kStrategy | strat | ) |
Definition at line 10467 of file kutil.cc.
BOOLEAN faugereRewCriterion | ( | poly | sig, |
unsigned long | not_sevSig, | ||
poly | , | ||
kStrategy | strat, | ||
int | start = 0 |
||
) |
Definition at line 7129 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 11292 of file kutil.cc.
|
inline |
void HEckeTest | ( | poly | pp, |
kStrategy | strat | ||
) |
Definition at line 468 of file kutil.cc.
void initBuchMora | ( | ideal | F, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 10198 of file kutil.cc.
void initBuchMoraCrit | ( | kStrategy | strat | ) |
Definition at line 9874 of file kutil.cc.
void initBuchMoraPos | ( | kStrategy | strat | ) |
Definition at line 10025 of file kutil.cc.
void initBuchMoraPosRing | ( | kStrategy | strat | ) |
Definition at line 10111 of file kutil.cc.
void initBuchMoraShift | ( | ideal | F, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 12211 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 1306 of file kutil.cc.
void initenterpairs | ( | poly | h, |
int | k, | ||
int | ecart, | ||
int | isFromQ, | ||
kStrategy | strat, | ||
int | atR = -1 |
||
) |
Definition at line 3769 of file kutil.cc.
void initenterpairsShift | ( | poly | h, |
int | k, | ||
int | ecart, | ||
int | isFromQ, | ||
kStrategy | strat, | ||
int | atR | ||
) |
Definition at line 12655 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 3834 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 3894 of file kutil.cc.
void initenterstrongPairs | ( | poly | h, |
int | k, | ||
int | ecart, | ||
int | isFromQ, | ||
kStrategy | strat, | ||
int | atR = -1 |
||
) |
Definition at line 4522 of file kutil.cc.
|
static |
Definition at line 4577 of file kutil.cc.
void initenterzeropairsRing | ( | poly | p, |
int | ecart, | ||
kStrategy | strat, | ||
int | atR | ||
) |
Definition at line 4390 of file kutil.cc.
Definition at line 9856 of file kutil.cc.
void initS | ( | ideal | F, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 8075 of file kutil.cc.
void initSbaBuchMora | ( | ideal | F, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 10394 of file kutil.cc.
void initSbaCrit | ( | kStrategy | strat | ) |
Definition at line 9938 of file kutil.cc.
void initSbaPos | ( | kStrategy | strat | ) |
Definition at line 10292 of file kutil.cc.
|
inlinestatic |
void initSL | ( | ideal | F, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 8169 of file kutil.cc.
void initSLSba | ( | ideal | F, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 8266 of file kutil.cc.
void initSSpecial | ( | ideal | F, |
ideal | Q, | ||
ideal | P, | ||
kStrategy | strat | ||
) |
Definition at line 8571 of file kutil.cc.
void initSSpecialSba | ( | ideal | F, |
ideal | Q, | ||
ideal | P, | ||
kStrategy | strat | ||
) |
Definition at line 8715 of file kutil.cc.
void initSyzRules | ( | kStrategy | strat | ) |
Definition at line 8416 of file kutil.cc.
Definition at line 10905 of file kutil.cc.
Definition at line 10945 of file kutil.cc.
poly kCreateZeroPoly | ( | long | exp[], |
long | cabsind, | ||
poly * | t_p, | ||
ring | leadRing, | ||
ring | tailRing | ||
) |
Definition at line 4327 of file kutil.cc.
void kDebugPrint | ( | kStrategy | strat | ) |
Output some debug info about a given strategy.
Definition at line 11923 of file kutil.cc.
TObject* kFindDivisibleByInS_T | ( | kStrategy | strat, |
int | end_pos, | ||
LObject * | L, | ||
TObject * | T, | ||
long | ecart | ||
) |
Definition at line 7263 of file kutil.cc.
int kFindInT | ( | poly | p, |
TSet | T, | ||
int | tlength | ||
) |
int kFindInT | ( | poly | p, |
kStrategy | strat | ||
) |
Definition at line 722 of file kutil.cc.
void kMergeBintoL | ( | kStrategy | strat | ) |
Definition at line 3150 of file kutil.cc.
void kMergeBintoLSba | ( | kStrategy | strat | ) |
Definition at line 3171 of file kutil.cc.
BOOLEAN kPosInLDependsOnLength | ( | int(*)(const LSet set, const int length, LObject *L, const kStrategy strat) | pos_in_l | ) |
Definition at line 10009 of file kutil.cc.
Definition at line 11377 of file kutil.cc.
void kStratInitChangeTailRing | ( | kStrategy | strat | ) |
Definition at line 11476 of file kutil.cc.
void message | ( | int | i, |
int * | reduc, | ||
int * | olddeg, | ||
kStrategy | strat, | ||
int | red_result | ||
) |
Definition at line 10841 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 2193 of file kutil.cc.
Definition at line 12090 of file kutil.cc.
|
inlinestatic |
Definition at line 187 of file kutil.cc.
|
inlinestatic |
Definition at line 148 of file kutil.cc.
poly pMove2CurrTail | ( | poly | p, |
kStrategy | strat | ||
) |
Definition at line 12059 of file kutil.cc.
poly pMoveCurrTail2poly | ( | poly | p, |
kStrategy | strat | ||
) |
Definition at line 12073 of file kutil.cc.
Definition at line 5213 of file kutil.cc.
Definition at line 6065 of file kutil.cc.
Definition at line 6323 of file kutil.cc.
Definition at line 6621 of file kutil.cc.
Definition at line 6435 of file kutil.cc.
Definition at line 6744 of file kutil.cc.
Definition at line 6820 of file kutil.cc.
Definition at line 6914 of file kutil.cc.
Definition at line 6978 of file kutil.cc.
Definition at line 6537 of file kutil.cc.
Definition at line 6123 of file kutil.cc.
Definition at line 6147 of file kutil.cc.
Definition at line 6022 of file kutil.cc.
Definition at line 5035 of file kutil.cc.
Definition at line 5136 of file kutil.cc.
Definition at line 6283 of file kutil.cc.
Definition at line 5268 of file kutil.cc.
Definition at line 5326 of file kutil.cc.
Definition at line 5479 of file kutil.cc.
Definition at line 5636 of file kutil.cc.
Definition at line 5731 of file kutil.cc.
Definition at line 5838 of file kutil.cc.
Definition at line 5899 of file kutil.cc.
Definition at line 5403 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 11135 of file kutil.cc.
Definition at line 11203 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 10968 of file kutil.cc.
|
static |
Definition at line 8965 of file kutil.cc.
|
static |
Definition at line 8860 of file kutil.cc.
Definition at line 166 of file kstd1.cc.
Definition at line 528 of file kstd1.cc.
|
static |
Definition at line 8989 of file kutil.cc.
Definition at line 7405 of file kutil.cc.
poly redtail | ( | poly | p, |
int | end_pos, | ||
kStrategy | strat | ||
) |
Definition at line 7475 of file kutil.cc.
Definition at line 7481 of file kutil.cc.
Definition at line 7836 of file kutil.cc.
Definition at line 7711 of file kutil.cc.
poly redtailBbaBound | ( | LObject * | L, |
int | end_pos, | ||
kStrategy | strat, | ||
int | bound, | ||
BOOLEAN | withT, | ||
BOOLEAN | normalize | ||
) |
Definition at line 7595 of file kutil.cc.
Definition at line 12782 of file kutil.cc.
void reorderS | ( | int * | suc, |
kStrategy | strat | ||
) |
Definition at line 4982 of file kutil.cc.
Definition at line 9515 of file kutil.cc.
Definition at line 1676 of file kutil.cc.
Definition at line 11503 of file kutil.cc.
char* showOption | ( | ) |
Definition at line 723 of file misc_ip.cc.
|
inlinestatic |
void superenterpairs | ( | poly | h, |
int | k, | ||
int | ecart, | ||
int | pos, | ||
kStrategy | strat, | ||
int | atR | ||
) |
Definition at line 4831 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 4841 of file kutil.cc.
Definition at line 7045 of file kutil.cc.
Definition at line 7080 of file kutil.cc.
long twoPow | ( | long | arg | ) |
void updateResult | ( | ideal | r, |
ideal | Q, | ||
kStrategy | strat | ||
) |
Definition at line 10507 of file kutil.cc.
Definition at line 9034 of file kutil.cc.
denominator_list DENOMINATOR_LIST =NULL |