![]() |
My Project
|
Go to the source code of this file.
Macros | |
#define | KSTD_NF_LAZY 1 |
#define | KSTD_NF_ECART 2 |
#define | KSTD_NF_NONORM 4 |
#define | KSTD_NF_CANCELUNIT 8 |
#define | KSTD_NF_NOLF 4096 |
Typedefs | |
typedef BOOLEAN(* | s_poly_proc_t) (kStrategy strat) |
Functions | |
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) |
poly | kNF (ideal F, ideal Q, poly p, int syzComp=0, int lazyReduce=0) |
ideal | kNF (ideal F, ideal Q, ideal p, int syzComp=0, int lazyReduce=0) |
poly | kNFBound (ideal F, ideal Q, poly p, int bound, int syzComp=0, int lazyReduce=0) |
ideal | kNFBound (ideal F, ideal Q, ideal p, int bound, int syzComp=0, int lazyReduce=0) |
ideal | idDivRem (ideal A, const ideal quot, ideal &factor, ideal *unit, int lazyReduce=0) |
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 | kSba (ideal F, ideal Q, tHomog h, intvec **mw, int incremental=0, int arri=0, bigintmat *hilb=NULL, int syzComp=0, int newIdeal=0, intvec *vw=NULL) |
ideal | kStd (ideal F, ideal Q, tHomog h, intvec **mw, intvec *hilb=NULL, int syzComp=0, int newIdeal=0, intvec *vw=NULL, s_poly_proc_t sp=NULL) |
generic interface to GB/SB computations | |
ideal | kStd2 (ideal F, ideal Q, tHomog h, intvec **mw, bigintmat *hilb=NULL, int syzComp=0, int newIdeal=0, intvec *vw=NULL, s_poly_proc_t sp=NULL) |
generic interface to GB/SB computations, large hilbert vectors | |
ideal | kStd_internal (ideal F, ideal Q, tHomog h, intvec **w, bigintmat *hilb=NULL, int syzComp=0, int newIdeal=0, intvec *vw=NULL, s_poly_proc_t sp=NULL) |
pure GB/SB computations | |
ideal | kStdShift (ideal F, ideal Q, tHomog h, intvec **mw, bigintmat *hilb=NULL, int syzComp=0, int newIdeal=0, intvec *vw=NULL, BOOLEAN rightGB=FALSE) |
ideal | kTryHilbstd (ideal F, ideal Q) |
ideal | kTryHilbstd_par (ideal F, ideal Q, tHomog h, intvec **mw) |
poly | kTryHC (ideal F, ideal Q) |
ideal | rightgb (ideal F, const ideal Q) |
void | initMora (ideal F, kStrategy strat) |
ideal | kInterRed (ideal F, const ideal Q=NULL) |
ideal | kInterRedOld (ideal F, const ideal Q=NULL) |
ideal | kInterRedBba (ideal F, ideal Q, int &need_retry) |
long | kModDeg (poly p, const ring r=currRing) |
long | kHomModDeg (poly p, const ring r=currRing) |
ideal | stdred (ideal F, ideal Q, tHomog h, intvec **w) |
ideal | kMin_std2 (ideal F, ideal Q, tHomog h, intvec **w, ideal &M, bigintmat *hilb, int syzComp=0, int reduced=0) |
ideal | kMin_std (ideal F, ideal Q, tHomog h, intvec **w, ideal &M, intvec *hilb, int syzComp=0, int reduced=0) |
BOOLEAN | kVerify (ideal F, ideal Q) |
Variables | |
EXTERN_VAR int | Kstd1_mu |
EXTERN_VAR int | Kstd1_deg |
EXTERN_VAR BITSET | kOptions |
EXTERN_VAR BITSET | validOpts |
EXTERN_VAR intvec * | kModW |
EXTERN_VAR intvec * | kHomW |
ideal idDivRem | ( | ideal | A, |
const ideal | quot, | ||
ideal & | factor, | ||
ideal * | unit, | ||
int | lazyReduce = 0 ) |
Definition at line 347 of file kLiftstd.cc.
void initMora | ( | ideal | F, |
kStrategy | strat ) |
Definition at line 1811 of file kstd1.cc.
poly k_NF | ( | ideal | F, |
ideal | Q, | ||
poly | p, | ||
int | syzComp, | ||
int | lazyReduce, | ||
const ring | _currRing ) |
Definition at line 2417 of file kstd1.cc.
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.
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 = 0, | ||
int | reduced = 0 ) |
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 = 0, | ||
int | reduced = 0 ) |
Definition at line 3064 of file kstd1.cc.
ideal kNF | ( | ideal | F, |
ideal | Q, | ||
ideal | p, | ||
int | syzComp = 0, | ||
int | lazyReduce = 0 ) |
Definition at line 3322 of file kstd1.cc.
poly kNF | ( | ideal | F, |
ideal | Q, | ||
poly | p, | ||
int | syzComp = 0, | ||
int | lazyReduce = 0 ) |
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 = 0, | ||
int | lazyReduce = 0 ) |
Definition at line 3387 of file kstd1.cc.
poly kNFBound | ( | ideal | F, |
ideal | Q, | ||
poly | p, | ||
int | bound, | ||
int | syzComp = 0, | ||
int | lazyReduce = 0 ) |
ideal kSba | ( | ideal | F, |
ideal | Q, | ||
tHomog | h, | ||
intvec ** | mw, | ||
int | incremental = 0, | ||
int | arri = 0, | ||
bigintmat * | hilb = NULL, | ||
int | syzComp = 0, | ||
int | newIdeal = 0, | ||
intvec * | vw = NULL ) |
Definition at line 2663 of file kstd1.cc.
ideal kStd2 | ( | ideal | F, |
ideal | Q, | ||
tHomog | h, | ||
intvec ** | mw, | ||
bigintmat * | hilb = NULL, | ||
int | syzComp = 0, | ||
int | newIdeal = 0, | ||
intvec * | vw = NULL, | ||
s_poly_proc_t | sp = NULL ) |
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 = NULL, | ||
int | syzComp = 0, | ||
int | newIdeal = 0, | ||
intvec * | vw = NULL, | ||
s_poly_proc_t | sp = NULL ) |
pure GB/SB computations
Definition at line 2430 of file kstd1.cc.
ideal kStdShift | ( | ideal | F, |
ideal | Q, | ||
tHomog | h, | ||
intvec ** | mw, | ||
bigintmat * | hilb = NULL, | ||
int | syzComp = 0, | ||
int | newIdeal = 0, | ||
intvec * | vw = NULL, | ||
BOOLEAN | rightGB = FALSE ) |
Definition at line 2959 of file kstd1.cc.
poly kTryHC | ( | ideal | F, |
ideal | Q ) |
Definition at line 33 of file kstdhelper.cc.
ideal kTryHilbstd | ( | ideal | F, |
ideal | Q ) |
Definition at line 270 of file kstdhelper.cc.
Definition at line 281 of file kstdhelper.cc.
BOOLEAN kVerify | ( | ideal | F, |
ideal | Q ) |
Definition at line 1878 of file kstd1.cc.
ideal rightgb | ( | ideal | F, |
const ideal | Q ) |
EXTERN_VAR intvec* kHomW |
EXTERN_VAR intvec* kModW |
EXTERN_VAR BITSET kOptions |
EXTERN_VAR int Kstd1_deg |
EXTERN_VAR int Kstd1_mu |
EXTERN_VAR BITSET validOpts |