![]() |
Go to the source code of this file.
Macros | |
#define | KSTD_NF_LAZY 1 |
#define | KSTD_NF_ECART 2 |
#define | KSTD_NF_NONORM 4 |
Typedefs | |
typedef BOOLEAN(* | s_poly_proc_t) (kStrategy strat) |
Functions | |
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) |
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) |
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 | kSba (ideal F, ideal Q, tHomog h, intvec **mw, int incremental=0, int arri=0, intvec *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) |
ideal | kStdShift (ideal F, ideal Q, tHomog h, intvec **w, intvec *hilb, int syzComp, int newIdeal, intvec *vw, int uptodeg, int lVblock) |
void | initMora (ideal F, kStrategy strat) |
ideal | kInterRed (ideal F, ideal Q=NULL) |
ideal | kInterRedOld (ideal F, ideal Q=NULL) |
long | kModDeg (poly p, ring r=currRing) |
long | kHomModDeg (poly p, ring r=currRing) |
ideal | stdred (ideal F, ideal Q, tHomog h, intvec **w) |
ideal | kMin_std (ideal F, ideal Q, tHomog h, intvec **w, ideal &M, intvec *hilb=NULL, int syzComp=0, int reduced=0) |
Variables | |
int | LazyPass |
int | LazyDegree |
int | Kstd1_mu |
int | Kstd1_deg |
BITSET | kOptions |
BITSET | validOpts |
intvec * | kModW |
intvec * | kHomW |
void initMora | ( | ideal | F, |
kStrategy | strat | ||
) |
Definition at line 1549 of file kstd1.cc.
NOTE: this is just a wrapper which sets currRing for the actual kNF call.
Definition at line 3164 of file kstd1.cc.
Definition at line 2218 of file kstd1.cc.
ideal kInterRed | ( | ideal | F, |
ideal | Q = NULL |
||
) |
Definition at line 3542 of file kstd1.cc.
ideal kInterRedOld | ( | ideal | F, |
ideal | Q = NULL |
||
) |
Definition at line 3177 of file kstd1.cc.
ideal kMin_std | ( | ideal | F, |
ideal | Q, | ||
tHomog | h, | ||
intvec ** | w, | ||
ideal & | M, | ||
intvec * | hilb = NULL , |
||
int | syzComp = 0 , |
||
int | reduced = 0 |
||
) |
Definition at line 2822 of file kstd1.cc.
Definition at line 2971 of file kstd1.cc.
ideal kNF | ( | ideal | F, |
ideal | Q, | ||
ideal | p, | ||
int | syzComp = 0 , |
||
int | lazyReduce = 0 |
||
) |
Definition at line 3059 of file kstd1.cc.
Definition at line 1909 of file kstd1.cc.
ideal kNF1 | ( | ideal | F, |
ideal | Q, | ||
ideal | q, | ||
kStrategy | strat, | ||
int | lazyReduce | ||
) |
Definition at line 2053 of file kstd1.cc.
Definition at line 3017 of file kstd1.cc.
ideal kNFBound | ( | ideal | F, |
ideal | Q, | ||
ideal | p, | ||
int | bound, | ||
int | syzComp = 0 , |
||
int | lazyReduce = 0 |
||
) |
Definition at line 3113 of file kstd1.cc.
ideal kSba | ( | ideal | F, |
ideal | Q, | ||
tHomog | h, | ||
intvec ** | mw, | ||
int | incremental = 0 , |
||
int | arri = 0 , |
||
intvec * | hilb = NULL , |
||
int | syzComp = 0 , |
||
int | newIdeal = 0 , |
||
intvec * | vw = NULL |
||
) |
Definition at line 2416 of file kstd1.cc.
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 |
||
) |
Definition at line 2231 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 | lVblock | ||
) |
Definition at line 2722 of file kstd1.cc.
Definition at line 1606 of file kstd1.cc.
int LazyDegree |
int LazyPass |