![]() |
My Project
|
#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"
#include "polys/shiftop.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 | redRiloc_Z (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, bigintmat *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, const ring r) |
long | kHomModDeg (poly p, const ring r) |
ideal | kStd_internal (ideal F, ideal Q, tHomog h, intvec **w, bigintmat *hilb, int syzComp, int newIdeal, intvec *vw, s_poly_proc_t sp) |
pure GB/SB computations | |
ideal | kStd2 (ideal F, ideal Q, tHomog h, intvec **w, bigintmat *hilb, int syzComp, int newIdeal, intvec *vw, s_poly_proc_t sp) |
generic interface to GB/SB computations, large hilbert vectors | |
ideal | kStd (ideal F, ideal Q, tHomog h, intvec **w, intvec *hilb, int syzComp, int newIdeal, intvec *vw, s_poly_proc_t sp) |
generic interface to GB/SB computations | |
ideal | kSba (ideal F, ideal Q, tHomog h, intvec **w, int sbaOrder, int arri, bigintmat *hilb, int syzComp, int newIdeal, intvec *vw) |
ideal | kStdShift (ideal F, ideal Q, tHomog h, intvec **w, bigintmat *hilb, int syzComp, int newIdeal, intvec *vw, BOOLEAN rightGB) |
ideal | kMin_std2 (ideal F, ideal Q, tHomog h, intvec **w, ideal &M, bigintmat *hilb, int syzComp, int reduced) |
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. | |
ideal | kInterRedOld (ideal F, const ideal Q) |
ideal | kInterRedBba (ideal F, ideal Q, int &need_retry) |
ideal | kInterRed (ideal F, const ideal Q) |
Variables | |
VAR BITSET | kOptions |
VAR BITSET | validOpts |
VAR intvec * | kModW |
VAR intvec * | kHomW |
Definition at line 118 of file kstd1.cc.
Definition at line 1620 of file kstd1.cc.
void firstUpdate | ( | kStrategy | strat | ) |
Definition at line 1557 of file kstd1.cc.
Definition at line 1312 of file kstd1.cc.
Definition at line 1343 of file kstd1.cc.
void initBba | ( | kStrategy | strat | ) |
Definition at line 1681 of file kstd1.cc.
void initMora | ( | ideal | F, |
kStrategy | strat ) |
Definition at line 1811 of file kstd1.cc.
void initSba | ( | ideal | F, |
kStrategy | strat ) |
Definition at line 1741 of file kstd1.cc.
poly k_NF | ( | ideal | F, |
ideal | Q, | ||
poly | p, | ||
int | syzComp, | ||
int | lazyReduce, | ||
const ring | _currRing ) |
void kDebugPrint | ( | kStrategy | strat | ) |
Definition at line 11505 of file kutil.cc.
long kHomModDeg | ( | poly | p, |
const ring | r ) |
Definition at line 2417 of file kstd1.cc.
ideal kInterRed | ( | ideal | F, |
const ideal | Q ) |
Definition at line 3797 of file kstd1.cc.
ideal kInterRedBba | ( | ideal | F, |
ideal | Q, | ||
int & | need_retry ) |
Definition at line 3546 of file kstd1.cc.
ideal kInterRedOld | ( | ideal | F, |
const ideal | Q ) |
Definition at line 3451 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 3216 of file kstd1.cc.
ideal kMin_std2 | ( | ideal | F, |
ideal | Q, | ||
tHomog | h, | ||
intvec ** | w, | ||
ideal & | M, | ||
bigintmat * | hilb, | ||
int | syzComp, | ||
int | reduced ) |
Definition at line 3064 of file kstd1.cc.
long kModDeg | ( | poly | p, |
const ring | r ) |
ideal kNF | ( | ideal | F, |
ideal | Q, | ||
ideal | p, | ||
int | syzComp, | ||
int | lazyReduce ) |
Definition at line 3322 of file kstd1.cc.
poly kNF | ( | ideal | F, |
ideal | Q, | ||
poly | p, | ||
int | syzComp, | ||
int | lazyReduce ) |
Definition at line 3224 of file kstd1.cc.
ideal kNF1 | ( | ideal | F, |
ideal | Q, | ||
ideal | q, | ||
kStrategy | strat, | ||
int | lazyReduce ) |
Definition at line 2256 of file kstd1.cc.
poly kNF1 | ( | ideal | F, |
ideal | Q, | ||
poly | q, | ||
kStrategy | strat, | ||
int | lazyReduce ) |
Definition at line 2115 of file kstd1.cc.
ideal kNFBound | ( | ideal | F, |
ideal | Q, | ||
ideal | p, | ||
int | bound, | ||
int | syzComp, | ||
int | lazyReduce ) |
Definition at line 3387 of file kstd1.cc.
poly kNFBound | ( | ideal | F, |
ideal | Q, | ||
poly | p, | ||
int | bound, | ||
int | syzComp, | ||
int | lazyReduce ) |
ideal kSba | ( | ideal | F, |
ideal | Q, | ||
tHomog | h, | ||
intvec ** | w, | ||
int | sbaOrder, | ||
int | arri, | ||
bigintmat * | hilb, | ||
int | syzComp, | ||
int | newIdeal, | ||
intvec * | vw ) |
Definition at line 2663 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 ) |
ideal kStd2 | ( | ideal | F, |
ideal | Q, | ||
tHomog | h, | ||
intvec ** | w, | ||
bigintmat * | hilb, | ||
int | syzComp, | ||
int | newIdeal, | ||
intvec * | vw, | ||
s_poly_proc_t | sp ) |
generic interface to GB/SB computations, large hilbert vectors
rIsLPRing already tested above
Definition at line 2602 of file kstd1.cc.
ideal kStd_internal | ( | ideal | F, |
ideal | Q, | ||
tHomog | h, | ||
intvec ** | w, | ||
bigintmat * | hilb, | ||
int | syzComp, | ||
int | newIdeal, | ||
intvec * | vw, | ||
s_poly_proc_t | sp ) |
pure GB/SB computations
Definition at line 2430 of file kstd1.cc.
ideal kStdShift | ( | ideal | F, |
ideal | Q, | ||
tHomog | h, | ||
intvec ** | w, | ||
bigintmat * | hilb, | ||
int | syzComp, | ||
int | newIdeal, | ||
intvec * | vw, | ||
BOOLEAN | rightGB ) |
Definition at line 2959 of file kstd1.cc.
void missingAxis | ( | int * | last, |
kStrategy | strat ) |
Definition at line 1878 of file kstd1.cc.
Definition at line 168 of file kstd1.cc.
Definition at line 794 of file kstd1.cc.
|
static |
Definition at line 976 of file kstd1.cc.
|
static |
Definition at line 1080 of file kstd1.cc.
Definition at line 385 of file kstd1.cc.
Definition at line 566 of file kstd1.cc.
void reorderL | ( | kStrategy | strat | ) |
void reorderT | ( | kStrategy | strat | ) |
void updateL | ( | kStrategy | strat | ) |
Definition at line 1393 of file kstd1.cc.
void updateLHC | ( | kStrategy | strat | ) |
Definition at line 1465 of file kstd1.cc.
void updateT | ( | kStrategy | strat | ) |