![]() |
#include "kernel/mod2.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 | PRE_INTEGER_CHECK 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) |
static poly | redMoraNFRing (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 (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, BOOLEAN rightGB) |
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) |
poly | kNFBound (ideal F, ideal Q, poly p, int bound, int syzComp, int lazyReduce) |
ideal | kNF (ideal F, ideal Q, ideal p, int syzComp, int lazyReduce) |
ideal | kNFBound (ideal F, ideal Q, ideal p, int bound, 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 | |
VAR BITSET | kOptions |
VAR BITSET | validOpts |
VAR intvec * | kModW |
VAR intvec * | kHomW |
|
static |
Definition at line 116 of file kstd1.cc.
Definition at line 1270 of file kstd1.cc.
void firstUpdate | ( | kStrategy | strat | ) |
Definition at line 1203 of file kstd1.cc.
Definition at line 958 of file kstd1.cc.
Definition at line 989 of file kstd1.cc.
void initBba | ( | kStrategy | strat | ) |
Definition at line 1334 of file kstd1.cc.
void initMora | ( | ideal | F, |
kStrategy | strat | ||
) |
Definition at line 1460 of file kstd1.cc.
void initSba | ( | ideal | F, |
kStrategy | strat | ||
) |
Definition at line 1390 of file kstd1.cc.
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.
Definition at line 3035 of file kstd1.cc.
void kDebugPrint | ( | kStrategy | strat | ) |
Definition at line 11949 of file kutil.cc.
long kHomModDeg | ( | poly | p, |
ring | r | ||
) |
Definition at line 2075 of file kstd1.cc.
ideal kInterRed | ( | ideal | F, |
ideal | Q | ||
) |
Definition at line 3400 of file kstd1.cc.
ideal kInterRedBba | ( | ideal | F, |
ideal | Q, | ||
int & | need_retry | ||
) |
Definition at line 3140 of file kstd1.cc.
ideal kInterRedOld | ( | ideal | F, |
ideal | Q | ||
) |
Definition at line 3048 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 2675 of file kstd1.cc.
poly kNF | ( | ideal | F, |
ideal | Q, | ||
poly | p, | ||
int | syzComp, | ||
int | lazyReduce | ||
) |
Definition at line 2824 of file kstd1.cc.
ideal kNF | ( | ideal | F, |
ideal | Q, | ||
ideal | p, | ||
int | syzComp, | ||
int | lazyReduce | ||
) |
Definition at line 2921 of file kstd1.cc.
poly kNF1 | ( | ideal | F, |
ideal | Q, | ||
poly | q, | ||
kStrategy | strat, | ||
int | lazyReduce | ||
) |
Definition at line 1766 of file kstd1.cc.
ideal kNF1 | ( | ideal | F, |
ideal | Q, | ||
ideal | q, | ||
kStrategy | strat, | ||
int | lazyReduce | ||
) |
Definition at line 1910 of file kstd1.cc.
poly kNFBound | ( | ideal | F, |
ideal | Q, | ||
poly | p, | ||
int | bound, | ||
int | syzComp, | ||
int | lazyReduce | ||
) |
Definition at line 2879 of file kstd1.cc.
ideal kNFBound | ( | ideal | F, |
ideal | Q, | ||
ideal | p, | ||
int | bound, | ||
int | syzComp, | ||
int | lazyReduce | ||
) |
Definition at line 2984 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 2273 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 2088 of file kstd1.cc.
ideal kStdShift | ( | ideal | F, |
ideal | Q, | ||
tHomog | h, | ||
intvec ** | w, | ||
intvec * | hilb, | ||
int | syzComp, | ||
int | newIdeal, | ||
intvec * | vw, | ||
BOOLEAN | rightGB | ||
) |
Definition at line 2569 of file kstd1.cc.
void missingAxis | ( | int * | last, |
kStrategy | strat | ||
) |
Definition at line 925 of file kstd1.cc.
Definition at line 1517 of file kstd1.cc.
Definition at line 1006 of file kstd1.cc.
Definition at line 166 of file kstd1.cc.
Definition at line 528 of file kstd1.cc.
|
static |
Definition at line 662 of file kstd1.cc.
|
static |
Definition at line 762 of file kstd1.cc.
Definition at line 342 of file kstd1.cc.
void reorderL | ( | kStrategy | strat | ) |
Definition at line 867 of file kstd1.cc.
void updateL | ( | kStrategy | strat | ) |
Definition at line 1039 of file kstd1.cc.
void updateLHC | ( | kStrategy | strat | ) |
Definition at line 1110 of file kstd1.cc.
void updateT | ( | kStrategy | strat | ) |
Definition at line 1177 of file kstd1.cc.