![]() |
#include <kernel/mod2.h>
#include <omalloc/omalloc.h>
#include <misc/options.h>
#include <misc/intvec.h>
#include <polys/weight.h>
#include <kernel/polys.h>
#include <kernel/GBEngine/kutil.h>
#include <kernel/GBEngine/kstd1.h>
#include <kernel/GBEngine/khstd.h>
#include <kernel/combinatorics/stairc.h>
#include <kernel/ideals.h>
#include <polys/nc/nc.h>
#include <polys/nc/sca.h>
#include <kernel/GBEngine/nc.h>
#include <kernel/GBEngine/kInline.h>
Go to the source code of this file.
Macros | |
#define | MORA_USE_BUCKETS |
#define | MYTEST 0 |
#define | ADIDEBUG 0 |
#define | ADIDEBUG_NF 0 |
Functions | |
static BOOLEAN | kMoraUseBucket (kStrategy strat) |
static void | kOptimizeLDeg (pLDegProc ldeg, kStrategy strat) |
static int | doRed (LObject *h, TObject *with, BOOLEAN intoT, kStrategy strat, bool redMoraNF) |
int | redEcart (LObject *h, kStrategy strat) |
int | redRiloc (LObject *h, kStrategy strat) |
int | redFirst (LObject *h, kStrategy strat) |
static poly | redMoraNF (poly h, kStrategy strat, int flag) |
void | reorderL (kStrategy strat) |
void | reorderT (kStrategy strat) |
void | missingAxis (int *last, kStrategy strat) |
BOOLEAN | hasPurePower (const poly p, int last, int *length, kStrategy strat) |
BOOLEAN | hasPurePower (LObject *L, int last, int *length, kStrategy strat) |
int | posInL10 (const LSet set, const int length, LObject *p, const kStrategy strat) |
void | updateL (kStrategy strat) |
void | updateLHC (kStrategy strat) |
void | updateT (kStrategy strat) |
void | firstUpdate (kStrategy strat) |
void | enterSMora (LObject &p, int atS, kStrategy strat, int atR=-1) |
void | enterSMoraNF (LObject &p, int atS, kStrategy strat, int atR=-1) |
void | initBba (ideal, kStrategy strat) |
void | initSba (ideal F, kStrategy strat) |
void | initMora (ideal F, kStrategy strat) |
void | kDebugPrint (kStrategy strat) |
ideal | mora (ideal F, ideal Q, intvec *w, intvec *hilb, kStrategy strat) |
poly | kNF1 (ideal F, ideal Q, poly q, kStrategy strat, int lazyReduce) |
ideal | kNF1 (ideal F, ideal Q, ideal q, kStrategy strat, int lazyReduce) |
long | kModDeg (poly p, ring r) |
long | kHomModDeg (poly p, ring r) |
ideal | kStd (ideal F, ideal Q, tHomog h, intvec **w, intvec *hilb, int syzComp, int newIdeal, intvec *vw, s_poly_proc_t sp) |
ideal | kSba (ideal F, ideal Q, tHomog h, intvec **w, int sbaOrder, int arri, intvec *hilb, int syzComp, int newIdeal, intvec *vw) |
ideal | kStdShift (ideal F, ideal Q, tHomog h, intvec **w, intvec *hilb, int syzComp, int newIdeal, intvec *vw, int uptodeg, int lV) |
ideal | kMin_std (ideal F, ideal Q, tHomog h, intvec **w, ideal &M, intvec *hilb, int syzComp, int reduced) |
poly | kNF (ideal F, ideal Q, poly p, int syzComp, int lazyReduce) |
ideal | kNF (ideal F, ideal Q, ideal p, int syzComp, int lazyReduce) |
poly | k_NF (ideal F, ideal Q, poly p, int syzComp, int lazyReduce, const ring _currRing) |
NOTE: this is just a wrapper which sets currRing for the actual kNF call. More... | |
ideal | kInterRedOld (ideal F, ideal Q) |
ideal | kInterRedBba (ideal F, ideal Q, int &need_retry) |
ideal | kInterRed (ideal F, ideal Q) |
Variables | |
BITSET | kOptions |
BITSET | validOpts |
intvec * | kModW |
intvec * | kHomW |
|
static |
Definition at line 129 of file kstd1.cc.
Definition at line 1324 of file kstd1.cc.
void firstUpdate | ( | kStrategy | strat | ) |
Definition at line 1247 of file kstd1.cc.
Definition at line 998 of file kstd1.cc.
Definition at line 1027 of file kstd1.cc.
void initBba | ( | ideal | , |
kStrategy | strat | ||
) |
Definition at line 1388 of file kstd1.cc.
void initMora | ( | ideal | F, |
kStrategy | strat | ||
) |
Definition at line 1512 of file kstd1.cc.
void initSba | ( | ideal | F, |
kStrategy | strat | ||
) |
Definition at line 1443 of file kstd1.cc.
NOTE: this is just a wrapper which sets currRing for the actual kNF call.
Definition at line 2915 of file kstd1.cc.
void kDebugPrint | ( | kStrategy | strat | ) |
Definition at line 9907 of file kutil.cc.
long kHomModDeg | ( | poly | p, |
ring | r | ||
) |
Definition at line 2208 of file kstd1.cc.
ideal kInterRed | ( | ideal | F, |
ideal | Q | ||
) |
Definition at line 3277 of file kstd1.cc.
ideal kInterRedBba | ( | ideal | F, |
ideal | Q, | ||
int & | need_retry | ||
) |
Definition at line 3019 of file kstd1.cc.
ideal kInterRedOld | ( | ideal | F, |
ideal | Q | ||
) |
Definition at line 2928 of file kstd1.cc.
ideal kMin_std | ( | ideal | F, |
ideal | Q, | ||
tHomog | h, | ||
intvec ** | w, | ||
ideal & | M, | ||
intvec * | hilb, | ||
int | syzComp, | ||
int | reduced | ||
) |
Definition at line 2664 of file kstd1.cc.
Definition at line 2815 of file kstd1.cc.
ideal kNF | ( | ideal | F, |
ideal | Q, | ||
ideal | p, | ||
int | syzComp, | ||
int | lazyReduce | ||
) |
Definition at line 2861 of file kstd1.cc.
Definition at line 1915 of file kstd1.cc.
ideal kNF1 | ( | ideal | F, |
ideal | Q, | ||
ideal | q, | ||
kStrategy | strat, | ||
int | lazyReduce | ||
) |
Definition at line 2049 of file kstd1.cc.
ideal kSba | ( | ideal | F, |
ideal | Q, | ||
tHomog | h, | ||
intvec ** | w, | ||
int | sbaOrder, | ||
int | arri, | ||
intvec * | hilb, | ||
int | syzComp, | ||
int | newIdeal, | ||
intvec * | vw | ||
) |
Definition at line 2418 of file kstd1.cc.
ideal kStd | ( | ideal | F, |
ideal | Q, | ||
tHomog | h, | ||
intvec ** | w, | ||
intvec * | hilb, | ||
int | syzComp, | ||
int | newIdeal, | ||
intvec * | vw, | ||
s_poly_proc_t | sp | ||
) |
Definition at line 2221 of file kstd1.cc.
ideal kStdShift | ( | ideal | F, |
ideal | Q, | ||
tHomog | h, | ||
intvec ** | w, | ||
intvec * | hilb, | ||
int | syzComp, | ||
int | newIdeal, | ||
intvec * | vw, | ||
int | uptodeg, | ||
int | lV | ||
) |
Definition at line 2562 of file kstd1.cc.
void missingAxis | ( | int * | last, |
kStrategy | strat | ||
) |
Definition at line 965 of file kstd1.cc.
Definition at line 1571 of file kstd1.cc.
Definition at line 1046 of file kstd1.cc.
Definition at line 179 of file kstd1.cc.
Definition at line 613 of file kstd1.cc.
Definition at line 747 of file kstd1.cc.
Definition at line 355 of file kstd1.cc.
Definition: polys.h:105
void reorderL | ( | kStrategy | strat | ) |
Definition at line 907 of file kstd1.cc.
void updateL | ( | kStrategy | strat | ) |
Definition at line 1079 of file kstd1.cc.
void updateLHC | ( | kStrategy | strat | ) |
Definition at line 1153 of file kstd1.cc.
Definition: polys.h:105
void updateT | ( | kStrategy | strat | ) |
Definition at line 1223 of file kstd1.cc.
BITSET kOptions |