![]() |
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 |